Concepedia

David Leopoldseder

DL

7

Publications

218

Citations

7

H-Index

2017

Active since

Affiliations

Johannes Kepler University of Linz(Current)

David Leopoldseder is an author at Johannes Kepler University of Linz specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringCompilersSoftware AnalysisParallel ComputingParallel ProgrammingComputer ArchitectureFormal Methods

Publications per year

2017–2020

7

Publications

7

Renaissance: benchmarking suite for parallel applications on the JVM

Aleksandar Prokopec, Andrea Rosà, David Leopoldseder et al. · 2019 · 100 citations

Engineering, Benchmarking Suite, Compiler Technology +20

Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations

David Leopoldseder, Lukas Stadler, Thomas Würthinger et al. · 2018 · 36 citations

Engineering, Compiler Technology, Computer Architecture +18

An Optimization-Driven Incremental Inline Substitution Algorithm for Just-in-Time Compilers

Aleksandar Prokopec, Gilles Duboscq, David Leopoldseder et al. · 2019 · 22 citations

Engineering, Compiler Technology, Software Systems +20

Making collection operations optimal with aggressive JIT compilation

Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq et al. · 2017 · 19 citations

Cluster Computing, Engineering, Compiler Technology +20

An Analysis of x86-64 Inline Assembly in C Programs

Manuel Rigger, Stefan Marr, Stephen Kell et al. · 2018 · 14 citations

Engineering, Compiler Technology, Computer Architecture +22

Rows per page

1–5 of 7