Skip to content
Past Event
Alan Ritter (Georgia Tech)- Towards Cost Efficient Use of Pre-trained Models
Nov 03, 2023
Past Event
Three-Minute Madness!
Oct 12, 2022
Past Event
DSI Summer Lab: Final Symposium
Aug 19, 2022
Past Event
Fraser Brown (Stanford) – Eliminating Bugs in Real Systems
Apr 12, 2021
Past Event
Greg Nelson (Washington) – Learning Technology for Formal Systems
Mar 11, 2021
Past Event
Ravi Chugh (UChicago) – Reimagining the User Interfaces for Programming
Oct 02, 2020
Past Event
Robert Rand (Maryland) – How to Program Your Quantum Computer – and Get It Right
Feb 24, 2020
Past Event
Dominik Moritz (Washington) – Visualization for People + Systems
Apr 15, 2019
Past Event
Ranjit Jhala (UCSD) – Language-Integrated Verification
Jan 22, 2019
Past Event
Brian Hempel’s MS Presentation
Dec 05, 2018
