The Networked Systems Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. We are part of the IC School at EPFL in Lausanne, Switzerland.
C'est quoi ça ?
The acronym LASeR comes from the official name of the lab in French: Laboratoire d’abstractions de systèmes en réseau. In English, the name is Networked Systems Abstractions Lab. Either way, we are laser focused on inventing the future of networked systems!
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
Research Focus
Networks are the invisible infrastructure that connects the modern world. Yet programming and reasoning about networks remains surprisingly difficult. Our research addresses this challenge by:
- Designing expressive languages for specifying network behavior
- Developing verification techniques for establishing correctness with respect to formal specifications
- Engineering efficient implementations that make high-level abstractions practical
Our lab's research has contributed to NetKAT and GKAT (algebraic frameworks for network specification and verification), P4 (a domain-specific language for programmable data planes), consistent network updates (techniques for making network-wide changes), and more...
Interested in joining us? See our open positions.