Systems Seminar
PhD Thesis Defense: Mohammad Hajiesmaili, Learning-Augmented Online Algorithms for Energy Optimization
For competitive analysis of online algorithms, an online algorithm only knows current and past inputs and must make decisions sequentially as inputs arrive.
Seminar: Stefan Leue (University of Konstanz, Germany), (Some) Formal Guarantees for Deep Neural Networks
In this talk, Stefan Leue (University of Konstanz, Germany) will introduce two techniques that provide some formal guarantees for deep neural networks.
Teaching Seminar: Heather Conboy, Making a List Abstract Data Type
Heather Conboy earned her Ph.D. in Computer Science from UMass Amherst in 2017. Join her on Tuesday, Feb. 11 for "Making a List Abstract Data Type."
Systems Lunch: Sushmita Mitra (Indian Statistical Institute, Kolkata), Harnessing Artificial Intelligence for Healthcare
With the inherent boom in availability of large volumes of multimodal healthcare data over the internet, their automated processing is becoming all the more...
Systems Lunch: Nico Christianson (California Institute of Technology), End-to-End Learning for Reliable Decision-Making in Energy and Sustainability
Systems Lunch: Nico Christianson (California Institute of Technology), End-to-End Learning for Reliable Decision-Making in Energy and Sustainability
UMass AI&Sec SP'25 Seminar: Milad Nasr, Rethinking Exploitation in the Age of Large Language Models
We provide proof-of-concept implementations demonstrating these capabilities, including an instance where an LLM autonomously identified sensitive personal...