Talks

• Weighted NetKAT: A Programming Language for Quantitative Network Verification. PLDI 2026.
• Effects and Coeffects in Call-By-Push-Value. OOPSLA 2024.
• Strictly Associative Sigmas. HoTT MURI 2024 meeting.