This program is tentative and subject to change.

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

Context: Just-in-Time (JIT) compilers are able to specialize the code they generate according to a continuous profiling of the running programs. This gives them an advantage when compared to Ahead-of-Time (AoT) compilers that must choose the code to generate once for all.

Inquiry: Is it possible to improve the performance of AoT compilers by adding Dynamic Binary Modification (DBM) to the executions?

Approach: We added to the Hopc AoT JavaScript compiler a new optimization based on DBM to the inline cache (IC), a classical optimization dynamic languages use to implement object property accesses efficiently.

Knowledge: Reducing the number of memory accesses as the new optimization does, does not shorten execution times on contemporary architectures.

Grounding: The DBM optimization we have implemented is fully operational on x86_64 architectures. We have conducted several experiments to evaluate its impact on performance and to study the reasons of the lack of acceleration.

Importance: The (negative) result we present in this paper sheds new light on the best strategy to be used to implement dynamic languages. It tells that the old days were removing instructions or removing memory reads always yielded to speed up is over. Nowadays, implementing sophisticated compiler optimizations is only worth the effort if the processor is not able by itself to accelerate the code. This result applies to AoT compilers as well as JIT compilers.

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