POPL 2026 (series) / PEPM 2026 (series) / PEPM 2026 /
Partial Evaluation as a primitive in modern network troubleshooting (Talk Proposal)
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 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 30mResearch paper | Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations PEPM DOI | ||
11:30 30mResearch 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 15mShort-paper | Incrementalizing Haskell implementation of Putback-based Bidirectional Transformation Language BiGUL (Short Paper) PEPM File Attached | ||
12:15 15mTalk | Partial Evaluation as a primitive in modern network troubleshooting (Talk Proposal) PEPM Anduo Wang Temple University, USA | ||
