1.4 KiB
1.4 KiB
- 05/2026
\lambda_{\lambda}: A Programming Language for Photonic Switches will appear at SIGCOMM 2026. Congrats Vaibhav and Arjun! - 04/2026 Synthesizing Backward Error Bounds, Backward will appear at PLDI 2026. Congrats Laura!
- 08/2025 I'm back to Ithaca after a year on sabbatical! This fall, I'll be teaching Category Theory for Computer Scientists (CS 6117).
- 08/2025 SafeTree: Expressive Tree Policies for Microservices and A Hoare Logic for Symmetry Properties will appear at OOPSLA 2025. Congrats Karuna and Vaibhav!
- 07/2025 I gave two lectures at the Cornell, Maryland, Max Planck Pre-doctoral Research School in Computer Science (CMMRS 2025) on Type Systems: Between Theory and Practice. A lot of fun, thanks for the highly engaged students!
- 07/2025 My (first!) PhD student Jialu Bao has successfully defended her thesis, and will be starting a postdoc at Northeastern with Steven Holtzen. Huge congratulations Jialu!!
- 07/2025 Towards an Axiomatisation of the Neighborhood Monad will appear at BMQL 2025. Congrats to a fantastic group of students and TAs from the Adjoint School 2025: Max, Chase, Jonas, Jón, and Jessica!