- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Faculty of Mathematics and Physics
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublication without faculty affiliation
- Introduction to dynamic program analysis with DiSL +12013 | Faculty of Mathematics and Physics
- Challenges for Refinement and Composition of Instrumentations: Position Paper2012 | Faculty of Mathematics and Physics
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Faculty of Mathematics and Physics
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Faculty of Mathematics and Physics