Dr. David Leopoldseder bio photo

Dr. David Leopoldseder

Principal Researcher @Oracle Labs & Lecturer @ JKU, Linz, Austria

Email Twitter LinkedIn XING Github ResearchGate ORCID

Publications

Patents

Publications

2022

  • Mosaner, R.; Leopoldseder, D.; Kisling, W.; Stadler, L.; Mössenböck, H.:
    Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks. The Programming Journal, vol. 7, issue 1, June 2022 (accepted for publication)

2021

  • Latifi, F.; Leopoldseder, D.; Wimmer, C.; Mössenböck, H.:
    CompGen: Generation of Fast JIT Compilers in a Multi-Language VM. 17th Dynamic Languages Symposium (DLS'21) at SPLASH'21, Oct. 17-22, 2021, Chicago, IL, USA, pp.34-47
  • Kreindl, J.; Bonetta, D.; Stadler, L.; Leopoldseder, D.; Mössenböck, H.:
    Low-Overhead Multi-Language Dynamic Taint Analysis on Managed Runtimes through Speculative Optimization. 18th Intl. Conf. on Managed Programming Languages and Runtimes (MPLR'21), Sept. 29-30, 2021, Münster, Germany, pp.70-87.
  • Mosaner, R.; Leopoldseder, D.; Stadler, L.; Mössenböck, H.:
    Using Machine Learning to Predict the Code Size Impact of Duplication Heuristics in a Dynamic Compiler. WIP paper, 18th Intl. Conf. on Managed Programming Languages and Runtimes (MPLR'21), Sept. 29-30, 2021, Münster, Germany, pp.127-135.

2020

  • Kreindl J.; Bonetta D.; Stadler L.; Leopoldseder D.; Mössenböck H.:
    Multi-language Dynamic Taint Analysisin a Polyglot Virtual Machine Accepted for publication at MPLR'2020
  • Kloibhofer S.; Pointhuber T.; Heisinger M.; Mössenböck H.; Stadler L.; Leopoldseder D.:
    SymJEx: Symbolic Execution on the GraalVM Accepted for publication at MPLR'2020

2019

  • Mosaner, R.; Leopoldseder, D.; Rigger, M.; Schatz, R.; Mössenböck, H.: Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction. Intl.Conf. on Managed Programming Languages and Runtimes (MPLR'19), 20-25 October, 2019, Athens, Greece.
    Preprint
  • Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomir Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Wuerthinger, Walter Binder: Renaissance: Benchmarking Suite for Parallel Applications on the JVM. Programming Language Design and Implementation (PLDI 2019) Phoenix, Arizona, USA, June 2019
    Preprint
  • Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomir Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Wuerthinger, Walter Binder On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity. arXiv Tech Report, 2019
    Link
  • Aleksandar Prokopec, Gilles Duboscq, David Leopoldseder, Thomas Würthinger: An Optimization-Driven Incremental Inline Substitution Algorithm for Just-In-Time Compilers. International Symposium on Code Generation and Optimization (CGO 2019) Washington DC, USA, February 2019
    Preprint

2018

  • A cost model for a graph-based intermediate-representation in a dynamic compiler David Leopoldseder, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck VMIL 2018 Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018
  • Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck ManLang '18 Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018 Preprint
  • Parallel trace register allocation Josef Eisl, David Leopoldseder, Hanspeter Mössenböck ManLang '18 Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018 Preprint
  • An Analysis of x86-64 Inline Assembly in C Programs Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck VEE '18 Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2018 Preprint
  • Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations David Leopoldseder, Lukas Stadler, Thomas Würthinger, Josef Eisl, Doug Simon, Hanspeter Mössenböck CGO 2018 Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018 Preprint

2017

  • Simulation-based code duplication for enhancing compiler optimizations David Leopoldseder SPLASH Companion 2017 Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2017 Preprint
  • Making collection operations optimal with aggressive JIT compilation Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger SCALA 2017 Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017 Preprint

2015

  • Java-to-JavaScript translation via structured control flow reconstruction of compiler IR David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck DLS 2015 Proceedings of the 11th Symposium on Dynamic Languages, 2015 Preprint

2013

Theses

  • Simulation-Based Code Duplication in a Dynamic Compiler
    Dissertation, Johannes Kepler University Linz, 2019 Link
  • Graal AOT JS: A Java to JavaScript Compiler
    Master's Thesis, Johannes Kepler University Linz, 2015 Link
  • Integration of a Fingerprint Swipe Sensor into the AT91SAM9G20
    Bachelor's Thesis, Johannes Kepler University Linz, 2013

Talks

Posters

Awards