My research uses ideas from programming languages to solve problems in networking, databases, and security. Some specific topics of interest include language design, semantics, type systems, and mechanized proof. Recently I’ve been spending most of my time thinking about how to design better languages and tools for computer networks.
- [5/2022] Research Excellence Award from Cornell Bowers CIS.
- [4/2022] Forwarding and Routing with Packet Subscriptions accepted to ACM/IEEE ToN.
- [2/2022] Leapfrog: Certified Equivalence for Protocol Parsers accepted to PLDI 22.
- [2/2022] Award for Praveen Kumar's thesis Toward Predictable Networks from ACM SIGCOMM.
- [12/2021] Concurrent NetKAT accepted to ESOP 22.
- [10/2021] Dependent P4 accepted to POPL 2022.
- [08/2021] Most Influential Paper Award for Frenetic: A Network Programming Language from ACM SIGPLAN ICFP.
- [12/2020] Avenir accepted to NSDI 2021.
- [10/2020] Petr4 accepted to POPL 2021.
Flexibility, Performance, Consistency for Heterogeneous Packet-Processing Architectures