Dipl.-Ing. Dr. David Leopoldseder, BSc. Oracle Labs Altenberger Straße 69 4040 Linz, Austria Building: Computer Science Building (Science Park 3) room: 203 Phone: + 43-732-2468-4356 Fax: + 43-732-2468-4345 Email:

This website is not longer actively maintained, please visit http://www.davidleopoldseder.com/ for up to date information

Research

Research Interests

• Compilers: code duplication, instruction scheduling, cross-compilation, decompilation, control flow analysis, data flow analysis, code generation, optimizations
• Benchmarking
• ISAs
• Virtual machines: interpreters, JITs

Projects

• GraalVM
  • Working on the Graal JIT Compiler

Publications

• 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
• 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
• 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
• 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
  (Best paper candidate CGO'18.)
• 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
  (This paper participated in both SPLASH SRC and Doctoral Symposium tracks. Winner SPLASH'17 Student Research Competition Graduate Category)
• 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
• 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
• Graal AOT JS: A Java to JavaScript Compiler
  David Leopoldseder
  Master's Thesis, Johannes Kepler University Linz, 2015
  
  

Posters

• Simulate & Duplicate @ SPLASH'17
• Fast Path Loop Unrolling @ Manlang'18

Awards

• ACM SRC @ SPLASH'17: 1. Place Graduate Category
• CGO'18 Best Paper Finalist

Teaching

• 2018W

  • Übersetzerbau Übung (Compiler Construction Exercise)

• 2018S

  • Praktische Informatik 2 Übung (Mechatronik)
  • Praktikum aus Softwareentwicklung 2
  • Dynamic Compilation and Run-time Optimization in Virtual Machines

• 2017W

  • Übersetzerbau Übung (Compiler Construction Exercise)

• 2017S

  • Praktische Informatik 2 Übung (Mechatronik)

Professional Activites

• ECOOP'19 AE Committee Member Program Committee Member
• Graal Workshop @ CGO'19: PC Member Program Committee Member
• VMM'18: Program Committee Member
• TACO 2018: Sub-Reviewer

Bachelor Thesis Advisor

• Truffle Python Subprocess Module (In Progress)
• Truffle CUDA (In Progress)
• Graal Collections (Finished)

Master Thesis Adivsor

• Truffle CIL (In Progress)

Event Organization

• Lange Nacht der Forschung 2018: Wie wird aus 0 und 1 ein Computerprogramm?"
• Frauen in die Technik 2018 (FIT): Workshop for prospective students: Turbobeschleunigung von Computerprogrammen

Personal

Social Media & Online Appearances

• Twitter: @davleopo
• Github: davleopo
• LinkedIn
• Xing

Curriculum Vitae