Exploring cutting-edge research in the field of compiler construction, optimization, and verification.
The goal of this seminar series is to get to know the latest research in compiler construction, optimizations, and verification. Topics of interest include, but are not limited to: Automated Compiler Construction, High-level Synthesis, Compilers for Hardware, Performance Prediction, ML/Compilers, Compiler Verification, Domain-Specific Languages, and Domain-Specific Optimizations. The seminar series will feature both student presentations on their work-in-progress or completed projects, as well as invited external presentations on research already published in top conferences and journals.
Note for enrolled students: Each student who enrolls in the seminar must present at least once. You may choose to present either a published paper from a journal related to compilers (such as PLDI, PPOPP, ASPLOS, etc.), or present original work.
Faculty Organizers: Charith Mendis, Vikram Adve, Sasa Misailovic, Gagandeep Singh, Lawrence Rauchwerger
Student Organizers: Vimarsh Sathia, Benjamin Darnell
Time: Mondays 4:30–5:30 pm (Central Time)
Location: 2124 Siebel Center for Computer Science (hybrid, alternately via zoom)
Interested in presenting your work? Send an email to the organizers with a link to your paper/slides.
Date | Discussion Lead | Paper/Topic | Recording |
---|---|---|---|
Jan 30 | Yufeng Wang | TGOpt: Redundancy-Aware Optimizations for Temporal Graph Attention Networks (original work) | Video |
Feb 6 | Vimarsh Sathia | Understanding and Exploiting Optimal Function Inlining | Slides |
Benjamin Darnell | egg: Fast and extensible equality saturation | Slides | |
Feb 13 | Xingyao Wang | Code4Struct: Code Generation for Few-Shot Structured Prediction from Natural Language (original work) | Video |
Feb 20 | Pavlo Pastaryev | Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode | Video |
Srinjoy Das | Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning | ||
Mar 2* | Albert Cohen (Google) | Machine Learning Compilers: There and Back Again | Video |
Mar 6 | No class | ||
Mar 13 | Spring Break (no class) | ||
Mar 20 | Jiawei Liu | NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers (original work) | |
Mar 27 | Kun Wu | PIGEON: Optimizing CUDA Code Generator for End-to-End Training and Inference of Relational Graph Neural Networks (original work) | Video |
Apr 3 | Shubham Ugare | Incremental Verification of Neural Networks (original work) | Video |
Ashitabh Misra | Applying Deep Learning to the Cache Replacement Problem | ||
Apr 10 | No class | ||
Apr 17 | Stefanos Baziotis | Dias: Dynamic Rewriting of Pandas Code (original work) | Video |
Apr 10 | No class | ||
May 1 | Zachary Tatlock (UW) | Relational Equality Saturation in egg | Video |
May 7 | Finals Week (no class) |
*Thursday March 2nd, 12:30–1:30 pm in Room 1302 (SC)