ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium

This program is tentative and subject to change.

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 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

14:00 - 15:30
Collaborative Languages and Structured Programming EnvironmentsPLF+PLAID at I.1.04
14:00
30m
Talk
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
30m
Talk
Automatic Generation of Local-First and Collaborative Domain-Specific Modeling Languages
PLF+PLAID
15:00
30m
Talk
Beyond Character Convergence: Structure-Aware Replication for Collaborative Programming
PLF+PLAID
Leon Freudenthaler Hochschule Campus Wien/TU Wien