ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
Thu 3 Jul 2025 10:45 - 11:05 at M125 - Session 1 Chair(s): Mikhail Barash

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 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30
Session 1Doctoral Symposium at M125
Chair(s): Mikhail Barash University of Bergen
10:45
20m
Talk
Compiling to an Intermediate Representation with Definitional Abstract Interpreters
Doctoral Symposium
Armand Lego Johannes Gutenberg University Mainz
11:05
20m
Talk
Expressive Equivalence of React's and Signals' Reactivity
Doctoral Symposium
Kirill Golubev University of Turku
11:25
20m
Talk
Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques
Doctoral Symposium
Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa
11:45
45m
Industry talk
What after Ph.D.?
Doctoral Symposium
Mai Tran InterBe AS