- Remote Just-in-Time Compilation for Dynamic Languages2023 | Matematicko-fyzikální fakulta
- Diagnosing Compiler Performance by Comparing Optimization Decisions2023 | Matematicko-fyzikální fakulta
- Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)2023 | Matematicko-fyzikální fakulta
- Workload Characterization of JVM Languages2016 | Matematicko-fyzikální fakulta
- DOs and DON'Ts of Conducting Performance Measurements in Java2015 | Matematicko-fyzikální fakulta
- Compiling SL representations of Boolean functions into OBDDs2020 | Matematicko-fyzikální fakulta
- Highly-parallelized simulation of a pixelated LArTPC on a GPU2023 | Matematicko-fyzikální fakulta
- Properties of Switch-List Representations of Boolean Functions2020 | Matematicko-fyzikální fakulta