David Leopoldseder CV (PDF)

Research community

Service &
distinctions

Professional service

  • 2020

    VMIL — Program Committee

  • 2020

    ICOOOLPS — Program Committee

  • 2019

    ECOOP — Artifact Evaluation Committee

  • 2019

    Graal Workshop at CGO — Program Committee

  • 2018

    Virtual Machine Meetup — Program Committee

  • 2018

    ACM Transactions on Architecture and Code Optimization — Sub-reviewer

  • Renaissance benchmark-suite committee

    Contributor and committee member.

  • Journal of Computer Languages — Reviewer

Distinctions

  • 2021

    JKU Young Researchers’ Award

    Award for my doctoral research on simulation-based code duplication.

  • 2017

    ACM Student Research Competition

    First place in the Graduate Category at SPLASH 2017.

  • 2018

    CGO Best Paper Finalist

    Dominance-Based Duplication Simulation (DBDS).

Patents

  • Granted · 2019-07-02

    Simulation-based code duplication

    David Leopoldseder, Thomas Würthinger, Lukas Stadler

    US10338903B2

  • Granted · 2020-08-04

    Simulation-based code duplication

    David Leopoldseder, Thomas Würthinger, Lukas Stadler

    US10732946B2

  • Granted · 2022-07-19

    Online machine learning based compilation

    David Leopoldseder, Raphael Mosaner, Lukas Stadler

    US11392356B1

  • Published application · 2023-03-09

    Compiler generation for partial evaluation

    David Leopoldseder, Christian Wimmer, Florian Latifi

    US20230071160A1