28 lines
1.8 KiB
Markdown
28 lines
1.8 KiB
Markdown
+ **07/2026** **Verifying $\varepsilon$-Differential Privacy Bit by Bit** will
|
|
appear at **SAS 2026**. Congratulations Zach!
|
|
+ **06/2026** My PhD student [**Zach Susag**](https://www.zacharysusag.net/)
|
|
has successfully defended his thesis, and will be starting as an assistant
|
|
professor at Grinnell College in the fall. Huge congratulations Zach!!
|
|
+ **05/2026** **$\lambda_{\lambda}$: A Programming Language for Photonic
|
|
Switches** will appear at **SIGCOMM 2026**. Congrats Vaibhav and Arjun!
|
|
+ **05/2026** **Synthesizing Backward Error Bounds, Backward** will appear at
|
|
**PLDI 2026**, and has been selected for a **Distinguished Paper Award**.
|
|
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)**](https://www.cs.cornell.edu/courses/cs6117/2025fa/).
|
|
+ **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)**](https://cmmrs.mpi-sws.org/) 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**](https://baojia.lu/about/)
|
|
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**](https://adjointschool.com/2025.html): Max, Chase,
|
|
Jonas, Jón, and Jessica!
|