The Zoom link for this lecture will be posted here on the day of the event, as well as sent to the CS 201 email [...]

"Evaluating, Understanding, and Building Autonomous Agents For Real-World Software Engineering and Analysis" Programming agents are becoming increasingly prevalent. Yet, how well do we understand their [...]

The Zoom link for this lecture will be posted here on the day of the event, as well as sent to the CS 201 email [...]

"Tractable Problems at the Intersection of Constraint Optimization and Query Optimization" Many fundamental data management problems involve solving a constraint optimization problem over the results [...]

"Towards Trustworthy AI: Automated Interpretability, Adversarial Robustness, and AI Safety" Deep learning models have become remarkably powerful – but often operate as black boxes. In [...]