POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Tue 13 Jan 2026 12:15 - 12:30 at Salle 19 - Semantics and applications Chair(s): Meng Wang

This extended abstract proposes a novel use of partial evaluation to enable troubleshooting of modern networks. Our key insight is that partial evaluation provides a systematic approach to pre-process the complexity in modern networks, such as compressing large network configurations or compiling away layers of network semantics that hinder analysis. Furthermore, we introduce the concept of a dual partial evaluation process that, based on troubleshooting feedback, seeks to uncover the relevant or faulty parts in the original network.

Tue 13 Jan

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

11:00 - 12:30
Semantics and applicationsPEPM at Salle 19
Chair(s): Meng Wang University of Bristol
11:00
30m
Research paper
Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations
PEPM
Sean Kristian Remond Harbo Aalborg University, Hans Hüttel Aalborg University
DOI
11:30
30m
Research paper
Towards Lightweight and Efficient Choreographic Cloud Services
PEPM
Alex Ionescu Chalmers University of Technology; University of Gothenburg, Alejandro Russo Chalmers University of Technology; University of Gothenburg
DOI
12:00
15m
Short-paper
Incrementalizing Haskell implementation of Putback-based Bidirectional Transformation Language BiGUL (Short Paper)
PEPM
Masaki Toyoda Hosei University, Soichiro Hidaka Hosei University
File Attached
12:15
15m
Talk
Partial Evaluation as a primitive in modern network troubleshooting (Talk Proposal)
PEPM
Anduo Wang Temple University, USA