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 |
Oct 09 | Daniel Kroening (Amazon) | AI Accelerators 101 | Video | Oct 14 | Muchen Xu | EVT: Accelerating Deep Learning Training with Epilogue Visitor Tree | Video |
Oct 21 | Aaron Councilman | Formal Methods for Low-Code/No-Code | Video |
Oct 28 | Wanyu Zhao | TGLite: A Lightweight Programming Framework for Continuous-Time Temporal Graph Neural Networks | Video |
Nov 4 | Chenyuan Yang | WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models | Video |
Nov 11 | Ajay Brahmakshatriya | Democratizing High-Performance DSL development with BuildIt | Video |
Dec 02 | Yifan Zhao | Felix: Optimizing Tensor Programs with Gradient Descent | Video |
Dec 09 | Shubham Ugare | SynCode: LLM Generation with Grammar Augmentation | Video |
See the archive for previous iterations.