POPL 2026 (series) / PEPM 2026 (series) / PEPM 2026 /
Retargeting an Abstract Interpreter for a New Language by Partial Evaluation (Short Paper)
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 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 DOI | ||
16:30 15mTalk | Holey: Staged Execution from Python to SMT (Talk Proposal) PEPM Nada Amin Harvard University Pre-print | ||
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 DOI | ||
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 10mDay closing | Closing PEPM | ||