David Leopoldseder CV

Background

About

I am a compiler researcher and engineer at Oracle, working on Graal and Native Image. I design compiler transformations and carry them through implementation, correctness checks and production maintenance.

My work spans graph and loop optimizations, compilation costs and the boundary between compilers and runtimes.

Download the full CV (PDF)

Experience

Research and engineering roles, with earlier assistantships and an internship below.

  1. Feb 2024 – Present

    Consulting Member of Technical Staff

    Oracle

    Compiler optimization, Native Image and production delivery; current work includes Ristretto.

  2. Oct 2020 – Jan 2024

    Principal Researcher

    Oracle

    Research and engineering across GraalVM and Native Image.

  3. Oct 2019 – Sep 2020

    Senior Researcher

    Oracle

    Research and engineering on GraalVM.

  4. 2017 – 2025

    External Lecturer and Academic Collaborator

    Johannes Kepler University Linz

    Compiler construction, dynamic compilation and runtime optimization; supervision of compiler and runtime research.

  5. Mar 2017 – Sep 2019

    Researcher / Doctoral Candidate

    Institute for System Software, JKU Linz

    Research on simulation-based code duplication and other aggressive optimizations in the Graal JIT compiler.

  6. Apr 2016 – Feb 2017

    Member of Technical Staff

    Oracle

    Worked on the Graal JIT compiler for Java.

  7. Mar 2014 – Mar 2016

    Student Researcher

    Institute for System Software, JKU Linz

    Worked on Graal AOT JS, a Java bytecode-to-JavaScript compiler built on Graal.

Earlier assistantships & internship (2012–2014)

  1. Feb 2014 – Jul 2014

    Teaching Assistant

    Institute for Microprocessor Technology, JKU Linz

    Tutor for Applied Operating Systems.

  2. Oct 2013 – Feb 2014

    Teaching Assistant

    Institute for Pervasive Computing, JKU Linz

    Tutor for Software Development 1.

  3. Jul 2013 – Oct 2013

    Intern

    ekey biometric systems

    Microprocessor programming and a bare-metal driver for a fingerprint swipe sensor, forming the basis of my bachelor’s thesis.

  4. Feb 2013 – Jul 2013

    Teaching Assistant

    Institute for Microprocessor Technology, JKU Linz

    Tutor for Applied Operating Systems.

  5. Feb 2013 – Jul 2013

    Teaching Assistant

    Institute for Pervasive Computing, JKU Linz

    Tutor for Algorithms and Data Structures 1.

  6. Oct 2012 – Feb 2013

    Teaching Assistant

    Institute for Pervasive Computing, JKU Linz

    Tutor for Software Development 1.

Education

  1. Mar 2017 – Sep 2019

    Dr. techn., Computer Science — Software Engineering

    Johannes Kepler University Linz

    Simulation-Based Code Duplication in a Dynamic Compiler

    Passed with distinction

  2. Oct 2014 – Mar 2016

    MSc, Computer Science — Software Engineering

    Johannes Kepler University Linz

    Graal AOT JS: A Java Bytecode-to-JavaScript Compiler

    Passed with distinction

  3. 2011 – 2014

    BSc, Computer Science

    Johannes Kepler University Linz

    Driver Development for a Fingerprint Swipe Sensor: Incorporating Upek’s TCS4H into the AT91SAM9G20

Earlier education (1998–2010)

  1. 2002 – 2010

    Grammar school; general qualification for university entrance

    BG/BRG Freistadt

  2. 1998 – 2002

    Primary school

    Weitersfelden

Languages

  • German — Native
  • English — Proficient

Teaching & supervision · Service & distinctions