- Slicito: Using Computational Notebooks for Program Comprehension2023 | Matematicko-fyzikální fakulta
- Towards Efficient Software Comprehension with Code Analysis2022 | Matematicko-fyzikální fakulta
- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Matematicko-fyzikální fakulta
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Matematicko-fyzikální fakulta
- Introduction to dynamic program analysis with DiSL2015 | Matematicko-fyzikální fakulta
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Matematicko-fyzikální fakulta