POPL 2026 (series) / PEPM 2026 (series) / PEPM 2026 /
Retargeting an Abstract Interpreter for a New Language by Partial Evaluation (Short Paper)
This program is tentative and subject to change.
Tue 13 Jan 2026 17:00 - 17:15 at Salle 19 - Staging and effect handlers
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) | 692KiB |
This program is tentative and subject to change.
Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
16:00 - 17:30 | |||
16:00 30mResearch paper | Staging Effect Handlers for Modular Search PEPM | ||
16:30 15mTalk | Holey: Staged Execution from Python to SMT (Talk Proposal) PEPM Nada Amin Harvard University | ||
16:45 15mShort-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 | ||
17:00 15mShort-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 5mDay closing | Closing PEPM | ||