David Leopoldseder CV

Engineering

Selected projects

Implementation scope, personal contributions and source links for three compiler and runtime projects.

Compiler & runtime work

Graal compiler optimizations

Graph and loop transformations in a production optimizing compiler, informed by research into code duplication and loop unrolling.

Role & contributions

  • Algorithm and intermediate-representation design, profitability analysis and compiler-phase integration.
  • Control-flow-graph construction, profile propagation and counted-loop analysis.
  • Correctness, benchmarking and maintenance across production compiler changes.

Implementation & project links

Related research

Native Image

Ahead-of-time compilation, performance-oriented compilation modes and integration with the Java runtime.

Role & contributions

  • Introduced the -O3 compilation mode and contributed across -O2, -O3 and -Os.
  • Implemented support for shared arenas in the Java Foreign Function and Memory API.
  • Target-specific lowering and code-generation work for AMD64 and AArch64.

Implementation & project links

Related research

Ristretto

The Native Image JIT for Java classes loaded at run time through Crema. This work is under active development.

Role & contributions

  • Principal architect and main author of the compiler/runtime boundary and runtime bytecode-to-Graal-IR path.
  • Work across profiling, scheduling, code installation, optimization, deoptimization and on-stack replacement.

Implementation & project links

Related research