Compiling to an Intermediate Representation with Definitional Abstract Interpreters
Intermediate Representations (IR) are omnipresent in the design of compilers. High-level source languages are designed to help programmers with various complex abstractions, while low-level code is tied to the hardware of the machine. In contrast, IRs are designed to suit compilers’ needs, with a minimal and unambiguous instruction sets to simplify the implementation of analysis and code transformation. Additionally, by having code transformation operate on IR, they can be reused for multiple high-level languages. However, this design requires the implementation of a compiler from each high-level source language to the IR. Instead, we investigate the potential of using a family of static analyser, Definitional Abstract Interpreters (DAIs), to perform compilation, and explore the impact of this choice on the design of the IR. Future work will explore the potential of this IR for optimization, code transformation and transpilation.
Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:45 - 12:30 | |||
10:45 20mTalk | Compiling to an Intermediate Representation with Definitional Abstract Interpreters Doctoral Symposium Armand Lego Johannes Gutenberg University Mainz | ||
11:05 20mTalk | Expressive Equivalence of React's and Signals' Reactivity Doctoral Symposium Kirill Golubev University of Turku | ||
11:25 20mTalk | Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques Doctoral Symposium Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa | ||
11:45 45mIndustry talk | What after Ph.D.? Doctoral Symposium Mai Tran InterBe AS | ||