Spring 2026 Schedule
Wednesdays 12:30–1:30pm in Molecular Sciences and Engineering 1224
Organizer: Suguman Bansal
Student Organizers: Emily Tucker, Akshat Oke
More info on specific talks will be posted in Upcoming Talks: Spring 2026 as they approach.
The talk sign-up sheet can be found here.
| Date | Presenter | Topic |
|---|---|---|
| 01/14/26 | Semester Introduction (Richard Hamming: You and Your Research) | |
| 01/21/26 | Camille Bossut | Composable Image-Processing Pipelines for FPGAs |
| 01/28/26 | Will Morris | Abstract Interpretation for PDE Solvers |
| 02/04/26 | Jiong Yang | Efficient, Trusted, and Practical Automated Reasoning |
| 02/11/26 | David Hua | Profile-Guided Optimization for the GraalVM Compiler |
| 02/18/26 | Jacob Laurel | Automated Program Analysis for Scientific Software |
| 02/25/26 | Vignesh Subramanian | Decoupled Behavioral Cloning for Scalable Inductive Generalization in Reinforcement Learning from Specifications |
| 03/04/26 | Michael Church | Using Graph Neural Networks to Improve SAT Solving Heuristics |
| 03/11/26 | Emily Tucker | Towards the Ultimate Parser |
| 03/18/26 | Ruikai Huang | Binary Rewriting Without Control Flow Recovery |
| 03/25/26 | Spring Break | |
| 04/01/26 | Uddalok Sarkar | Assessing the Quality of Samplers: A Statistical Distance Framework |
| 04/08/26 | ||
| 04/15/26 | Vickrant Sreekanth | Compilation for High-Dimensional Tensors |
| 04/22/26 | Adrian Gushin | Sparse Array Programming |
| 04/29/26 | Arijit Shaw | Scaling Statistical Model Checking using Model Counting |