This program is tentative and subject to change.

Thu 5 Jun 2025 11:30 - 12:00 at S 9 - Programming Language Implementation

Virtual Machines~(VMs) combine interpreters and just-in-time (JIT) compiled code to achieve good performance. However, implementing different execution engines increases the cost of developing and maintaining such solutions. JIT compilers based on meta-compilation cope with these issues by automatically generating optimizing JIT compilers. This leaves open the question of how meta-compilation applies to baseline JIT compilers, which improve warmup times by trading off optimizations.

In this paper, we present Druid, an ahead-of-time automatic approach to generate baseline JIT compiler frontends from interpreters. Language developers guide meta-compilation by annotating interpreter code and using Druid’s intrinsics. Druid targets the meta-compilation to an existing JIT compiler infrastructure to achieve good warm-up performance.

We applied Druid in the context of the Pharo programming language and evaluated it by comparing an autogenerated JIT compiler frontend against the one in production for more than 10 years. Our generated JIT compiler frontend is 2x faster on average than the interpreter and achieves on average 0.7x the performance of the handwritten JIT compiler. Our experiment only required changes in 60 call sites in the interpreter, showing that our solution makes language VMs \textbf{easier to maintain and evolve in the long run}.

This program is tentative and subject to change.

Thu 5 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:30 - 12:00
Programming Language ImplementationResearch Papers at S 9
10:30
30m
Talk
An attempt to catch up with JIT compilers: the false lead of optimizing inline caches
Research Papers
Aurore Poirier University of Rennes - Inria - CNRS - IRISA, Erven Rohou Université de Rennes - Inria - CNRS - IRISA, Manuel Serrano Inria; Université Côte d’Azur
11:00
30m
Talk
Automated Profile-guided Replacement of Data Structures to Reduce Memory Allocation
Research Papers
Lukas Makor JKU Linz, Sebastian Kloibhofer Johannes Kepler University Linz, Peter Hofer Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
11:30
30m
Talk
Meta-compilation of Baseline JIT Compilers with Druid
Research Papers
Nahuel Palumbo Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium