ECOOP 2026 (series) / PLF+PLAID 2026 (series) / PLF+PLAID 2026 /
Enforcing Session Protocols at the Network Level Using NEST
This program is tentative and subject to change.
Tue 30 Jun 2026 14:00 - 14:30 at I.1.04 - Collaborative Languages and Structured Programming Environments
This demo-oriented talk showcases the capabilities and functionality of NEST (Network Enforced Session Types): a tool for generating and deploying network-level runtime monitors that enforce application-level protocols based on session type specifications. NEST monitors can be deployed in networks where hosts cannot trust each other: its network-level enforcement can block faulty traffic before it reaches the destination host. We show that NEST monitors can accurately enforce non-trivial protocols while operating within the limitations of network devices supporting the P4 standard for software-defined networking (e.g. limited expressiveness and memory).
This program is tentative and subject to change.
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
14:00 - 15:30 | |||
14:00 30mTalk | Enforcing Session Protocols at the Network Level Using NEST PLF+PLAID Jens Kanstrup Larsen DTU, Alceste Scalas Technical University of Denmark, Guy Amir Hebrew University, Jules Jacobs Cornell University, Jana Wagemaker , Nate Foster EPFL; Jane Street | ||
14:30 30mTalk | Automatic Generation of Local-First and Collaborative Domain-Specific Modeling Languages PLF+PLAID | ||
15:00 30mTalk | Beyond Character Convergence: Structure-Aware Replication for Collaborative Programming PLF+PLAID Leon Freudenthaler Hochschule Campus Wien/TU Wien | ||