1022 B
1022 B
- 08/2026 This fall, I'll be teaching Category Theory for Computer Scientists (CS 6117).
- 08/2026
\lambda_{\lambda}: A Programming Language for Photonic Switches will appear at SIGCOMM 2026, and has been selected for a Best Paper Award. Congrats Vaibhav and Arjun!! - 07/2026 Verifying $\varepsilon$-Differential Privacy Bit by Bit will appear at SAS 2026. Congratulations Zach!
- 07/2026 Autonomy Without Anarchy in Decentralized WAN Traffic Engineering will appear at NSDI 2027. Congrats Arjun and Karuna!
- 06/2026 My PhD student Zach Susag has successfully defended his thesis, and will be starting as an assistant professor at Grinnell College in the fall. Huge congratulations Zach!!
- 05/2026 Synthesizing Backward Error Bounds, Backward will appear at PLDI 2026, and has been selected for a Distinguished Paper Award. Congrats Laura!!