Towards Cumulative Abstract Semantics via Handlers (Short Paper)
This program is tentative and subject to change.
We consider the problem of modularizing control flow in a generic abstract interpretation framework. A generic abstract interpretation framework is not truly flexible if it does not allow interpreting with different path- and flow-sensitivities, by going forwards or backwards, and over- or under-approximately. Most interpreters inherently intertwine syntax and semantics, making the implementation antagonistic to modularity. Current approaches to modular designs require the use of complex data structures (e.g., monad transformers), providing modularity but often proving unwieldy (e.g., lifts). We observe that leveraging scoped effects within an interpreter facilitates the accumulation of semantic fragments against a fixed syntax. In this paper, we define \emph{cumulative abstract semantics}, illustrating the potential for creating multiple dynamic evaluators and static analyses from one interpreter. This modularity is achieved by grouping effects into two categories: syntax \emph{elimination} and domain-semantic \emph{introduction} handlers. Our contribution shows the benefits of using effects as an instrument for designing a clean, elegant, and modular abstract interpretation framework.
This program is tentative and subject to change.
Tue 13 JanDisplayed 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 | ||