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.


Current Projects

Petr4 logo
Formal Foundations for Programmable Data Planes
POPL '21 Code
Pronto logo
Verifiable Closed-Loop Control for Next-Generation Networks
CCR '20 NSDI '21
NetKAT logo
(Co)-Algebraic Foundations for Programmable Networks
PLDI '19 POPL '20
Neptune logo
Flexibility, Performance, Consistency for Heterogeneous Packet-Processing Architectures
Littleton logo
A Programming Language for Future Interests
Webpage Onward! '19