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.

Recent News [all]

• [07/2025] The Design and Implementation of a Virtual Firmware Monitor accepted to SOSP.
• [06/2025] P4 and Tofino selected as a winner of the 2025 ACM SIGCOMM Networking Systems Award.
• [04/2025] Putting the Hardware Burger on a Diet accepted to HotOS XX.
• [04/2025] StacKAT andNetKAT Automata Learning accepted to PLDI.
• [01/2025] Named an ACM Fellow.
• [05/2025] Lecturing at the SRI Summer School on Formal Techniques.
• [01/2025] Presented at NUS Computer Science Research Week in Singapore.

Current Projects

Reinforcement Learning for Network Security
Chronicle article

Formal Foundations for Programmable Data Planes
SIGCOMM '24a SIGCOMM '24b CPP '23 PLDI '22
POPL '21 Code

(Co)-Algebraic Foundations for Programmable Networks
Project webpage PLDI '24 PLDI '19 POPL '20

A Programming Language for Future Interests
Webpage YJoLT '22
Onward! '19