News
-
Thalia will be speaking about "UNIX V4 and the Utah Teapot" at SIGGRAPH'26 on July 23, 2026.
-
Ashton will be at PLDI'26 talking about "Bushwacking towards event-driven Chorex" at the Choreographic Programming Workshop.
-
Dr. An Qi Zhang will be at PLDI'26 presenting his accepted paper "A Formally Verified Foundation for Compositional Heterogeneous Coherence".
-
Prof. Mary Hall will be at PLDI'26 giving a keynote titled "Tiles, Bricks, and Layouts: How Aggregate Data Abstractions Aid in Optimizing Data Movement" at the ARRAYS workshop.
-
Congratulations to Dr. Marisa Kirisame for defending his thesis! He will be joining Amazon Web Services as a Research Scientist.
-
Congratulations to Dr. Yuyou Fan for defending his thesis! He will be joining Apple as a Compiler Engineer.
-
Thalia will be speaking on retrocomputing and the recovery of UNIX V4, with interactive demos of vintage '70s and '80s computers.
-
If-T: A Benchmark for Type Narrowing won a Editors' Choice Award at Programming 2026. Congratulations, Hanwen and Ben!
-
Ashton will be at Programming 2026 presenting his paper Chorex: Restartable, Language-Integrated Choreographies.
-
MegaLibm was selected for the SIGPLAN Research Highlights. Congratulations, Ian, Yash, and Pavel!
-
Dominic will be at POPL '26 along with his collaborator Xuanyu from UCSD presenting their paper Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers.