News
-
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.