- Diagnosing Compiler Performance by Comparing Optimization Decisions2023 | Faculty of Mathematics and Physics
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Faculty of Mathematics and Physics
- Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)2023 | Faculty of Mathematics and Physics
- Renaissance: benchmarking suite for parallel applications on the JVM2019 | Faculty of Mathematics and Physics
- Summarization of branching loops2022 | Faculty of Mathematics and Physics
- Transformation of Pipeline Stage Algorithms to Event-Driven Code2014 | Faculty of Mathematics and Physics
- A comprehensive toolchain for workload characterization across JVM languages2013 | Faculty of Mathematics and Physics