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

This program is tentative and subject to change.

Thu 2 Jul 2026 12:07 - 12:30 at I.2.03 - Programming Languages & Type Systems Chair(s): Peter Müller

This paper introduces NEST (Network-Enforced Session Types), a runtime verification framework that moves application-level protocol monitoring into the network fabric. Unlike prior work that instruments or wraps application code, we synthesize packet-level monitors that enforce protocols directly in the data plane. We develop algorithms to generate network-level monitors from session types and extend them to handle packet loss and reordering. We implement NEST in P4 and evaluate it on applications including microservice and network-function models, showing that network-level monitors can enforce realistic non-trivial protocols.

This program is tentative and subject to change.

Thu 2 Jul

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

11:00 - 12:30
Programming Languages & Type SystemsTechnical Papers at I.2.03
Chair(s): Peter Müller ETH Zurich
11:00
22m
Talk
A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference
Technical Papers
Andreas Stadelmeier DHBW Baden-Wuerttemberg Cooperative State University, Peter Thiemann University of Freiburg, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany
11:22
22m
Talk
Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
Technical Papers
Takashi Suwa Kyoto University and Imiron, Atsushi Igarashi Kyoto University
11:45
22m
Talk
Language-Integrated Recursive Queries
Technical Papers
Anna Herlihy EPFL, Amir Shaikhha University of Edinburgh, Anastasia Ailamaki EPFL, Martin Odersky EPFL
12:07
22m
Talk
NEST: Network Enforced Session Types
Technical Papers
Jens Kanstrup Larsen DTU, Alceste Scalas Technical University of Denmark, Guy Amir Hebrew University, Jules Jacobs Cornell University, Jana Wagemaker Radboud University, Nate Foster EPFL; Jane Street