Exploring cutting-edge research in the field of compiler construction, optimization, and verification.
We are looking to fill several presentation slots, so please reach out if you are interested!
| When: | Mondays 4:30–5:30pm (CST) |
| Where: | Thomas M. Siebel Center for Computer Science, Room 2406 |
| Faculty: | Charith Mendis, Vikram Adve, Sasa Misailovic, Gagandeep Singh, Lawrence Rauchwerger, Billy Moses |
| Organizers: | Dhruv Baronia, Vidhi Rambhia |
Topics of interest include, but are not limited to:
This seminar features student presentations on in-progress or published research, as well as invited external academic and industry speakers. Students enrolled in the seminar for credit are required to present at least once, and may choose to either present their own work or a published paper from a related journal or conference (e.g., PLDI, PPOPP, ASPLOS).
Interested in sharing your work? Send an email to the organizers with the title of your presentation and a link to your paper (if applicable).
| Date | Discussion Lead | Paper/Topic | Recording |
|---|---|---|---|
| Sept 9 | Vikram Adve, Elsa Gunter, Charith Mendis, Sasa Misailovic | Faculty Discussion Panel | Video |
| Sept 16 | Dhruv Baronia | Equality Saturation Theory Exploration à la Carte | Video |
| Sept 23 | Billy Moses | Polyhedral and Parallel Optimization through High-Level Constructs in MLIR | Video |
| Sept 30 | Lukas Döllerer | Performant Bounds Checking for 64-Bit WebAssembly | Video |
See the archive for previous iterations.