News

March 26, 2026
Thalia will be speaking on retrocomputing and the recovery of UNIX V4, with interactive demos of vintage '70s and '80s computers.
March 19, 2026
If-T: A Benchmark for Type Narrowing won a Editors' Choice Award at Programming 2026. Congratulations, Hanwen and Ben!
March 18, 2026
Ashton will be at Programming 2026 presenting his paper Chorex: Restartable, Language-Integrated Choreographies.
March 15, 2026
MegaLibm was selected for the SIGPLAN Research Highlights. Congratulations, Ian, Yash, and Pavel!
January 11, 2026
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.