News
- 2026.04 Paper accepted at CAV: The Simulator's Blueprint: Automata Learning from Cybersecurity Logs
- 2026.04 Paper accepted at ECOOP: NEST: Network Enforced Session Types
- 2026.04 Paper accepted at PLDI: Weighted NetKAT: A Programming Language For Quantitative Network Verification
- 2025.09 The lab will move to EPFL in January 2026
- 2025.07 Paper accepted at SOSP: The Design and Implementation of a Virtual Firmware Monitor
- 2025.06 P4 and Tofino selected as a winner of the 2025 ACM SIGCOMM Networking Systems Award
- 2025.04 Paper accepted at HotOS XX: Putting the Hardware Burger on a Diet
- 2025.04 Paper accepted at PLDI: StacKAT and NetKAT Automata Learning
- 2025.01 Named an ACM Fellow
- 2025.05 Lecturing at the SRI Summer School on Formal Techniques
- 2025.01 Presented at NUS Computer Science Research Week in Singapore
- 2024.12 Received a gift from the VMware University Research Fund
- 2024.12 Paper accepted at CACM: It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
- 2024.11 Appointed Associate Dean for Research for Bowers CIS
- 2024.09 Paper accepted at HotNets: Network Design Considerations for Trading Systems
- 2024.08 Appointed Vice Chair of DARPA ISAT
- 2024.08 Paper accepted at OOPSLA: Computing Precise Control Interface Specifications
- 2024.06 Served as PC Co-chair of HotNets with Behnaz Arzani (MSR)
- 2024.05 LANCER placed 2nd in TTCP CAGE-4 Challenge
- 2024.04 Paper accepted at PLDI: KATch: A Fast Symbolic Verifier for NetKAT
- 2023.10 Served as Chair of 2023 ACM Doctoral Dissertation Award Commitee
- 2023.10 Distinguished Paper Award for Formal Abstractions for Packet Scheduling
- 2023.09 LeArning Network CybER agents (LANCER) grant
- 2023.08 On sabbatical at EPFL, hosted by the Data Center Systems Lab (DSCL)
- 2023.06 Robin Milner Young Researcher Award
- 2023.06 Paper accepted at OOPSLA: Formal Abstractions for Packet Scheduling