POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Tue 13 Jan 2026 17:00 - 17:15 at Salle 19 - Staging and effect handlers Chair(s): Sam Lindley

Implementing sound static analyzers for new languages requires significant time and effort. We show that it is possible by partial evaluation to automatically retarget existing abstract interpreters for new languages. Given an existing abstract interpreter for a source language and a definitional interpreter for a new target language, we can derive a correct abstract interpreter for the target language by partially evaluating the abstract interpreter with respect to the definitional interpreter. We demonstrate our method on mini-languages and show that it is possible to mechanize the process with MetaOCaml. Our approach suggests a promising direction to reduce the burden of building new analyzers from scratch.

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation (Short Paper) (pepm26-system_pearl.pdf)694KiB

Tue 13 Jan

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

16:00 - 17:30
Staging and effect handlersPEPM at Salle 19
Chair(s): Sam Lindley University of Edinburgh
16:00
30m
Research paper
Staging Effect Handlers for Modular Search
PEPM
Alexandru Trifanov Independent, Tom Schrijvers KU Leuven
DOI
16:30
15m
Talk
Holey: Staged Execution from Python to SMT (Talk Proposal)
PEPM
Nada Amin Harvard University
Pre-print
16:45
15m
Short-paper
Towards Cumulative Abstract Semantics via Handlers (Short Paper)
PEPM
Cade Lueker University of Colorado Boulder, Andrew Fox University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon
DOI
17:00
15m
Short-paper
Retargeting an Abstract Interpreter for a New Language by Partial Evaluation (Short Paper)
PEPM
Jay Lee Seoul National University, Joongwon Ahn Seoul National University, Kwangkeun Yi Seoul National University
File Attached
17:15
10m
Day closing
Closing
PEPM
Yukiyoshi Kameyama University of Tsukuba, Ningning Xie University of Toronto