This program is tentative and subject to change.
Thu 5 Sep 2024 14:24 - 14:42 - Memory Models / Memory Management / Low-Level Languages
Bahr and Hutton recently developed an approach to compiler calculation that allows a wide range of compilers to be derived from specifications of their correctness. However, a limitation of the approach is that it results in compilers that produce tree-structured code. By contrast, realistic compilers produce code that is essentially graph-structured, where the edges in the graph represent jumps that transfer the flow of control to other locations in the code. In this article, we show how their approach can naturally be adapted to calculate compilers that produce graph-structured code, without changing the underlying calculational methodology, by using a higher-order abstract syntax representation of graphs.
This program is tentative and subject to change.
Thu 5 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 5 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | Memory Models / Memory Management / Low-Level LanguagesICFP Papers and Events | ||
13:30 18mTalk | Oxidizing OCaml with Modal Memory Management ICFP Papers and Events Anton Lorenzen University of Edinburgh, Leo White Jane Street, Stephen Dolan Jane Street, Richard A. Eisenberg Jane Street, Sam Lindley University of Edinburgh DOI Pre-print | ||
13:48 18mTalk | A Two-Phase Infinite/Finite Low-Level Memory Model ICFP Papers and Events Calvin Beck University of Pennsylvania, Steve Zdancewic University of Pennsylvania, Irene Yoon INRIA Paris, Hanxi Chen University of Pennsylvania, Yannick Zakowski Inria | ||
14:06 18mTalk | Double-Ended Bit-Stealing for Algebraic Data Types ICFP Papers and Events Martin Elsman University of Copenhagen, Denmark Link to publication DOI | ||
14:24 18mTalk | Beyond Trees: Calculating Graph-Based Compilers ICFP Papers and Events Pre-print | ||
14:42 18mTalk | Sound Borrow-Checking for Rust via Symbolic Semantics ICFP Papers and Events |