- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Matematicko-fyzikální fakulta
- Accurate Profiling in the Presence of Dynamic Compilation +12015 | Matematicko-fyzikální fakulta
- The JVM is not observable enough (and what to do about it)2012 | Matematicko-fyzikální fakulta
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublikace bez příslušnosti k fakultě
- Introduction to dynamic program analysis with DiSL +12013 | Matematicko-fyzikální fakulta
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Matematicko-fyzikální fakulta
- A comprehensive toolchain for workload characterization across JVM languages2013 | Matematicko-fyzikální fakulta
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Matematicko-fyzikální fakulta
- A programming model and framework for comprehensive dynamic analysis on Android2015 | Matematicko-fyzikální fakulta