- Putování za Svatým Grálem (překlad)2006 | Matematicko-fyzikální fakulta
- An Empirical Study on Deoptimization in the Graal Compiler2017 | Matematicko-fyzikální fakulta
- Reducing Experiment Costs in Automated Software Performance Regression Detection2022 | Matematicko-fyzikální fakulta
- Renaissance: benchmarking suite for parallel applications on the JVM2019 | Matematicko-fyzikální fakulta
- Initial Experiments with Duet Benchmarking: Performance Testing Interference in the Cloud2019 | Matematicko-fyzikální fakulta
- Diagnosing Compiler Performance by Comparing Optimization Decisions2023 | Matematicko-fyzikální fakulta