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]

• [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.
• [12/2024] Received a gift from the VMware University Research Fund.
• [12/2024] It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols accepted to CACM.

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
PLDI '24 PLDI '19 POPL '20

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