- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Matematicko-fyzikální fakulta
- Introduction to dynamic program analysis with DiSL +12013 | Matematicko-fyzikální fakulta
- Činnosti žáků během geovědních táborů, analýza programů +12018 | Pedagogická fakulta
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Matematicko-fyzikální fakulta
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublikace bez příslušnosti k fakultě
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Matematicko-fyzikální fakulta
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Matematicko-fyzikální fakulta
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Matematicko-fyzikální fakulta
- Řízení kvality studijních programů - analýza současného stavu pregraduálních kvalifikačních forem vzdělávání nelékařských profesí regulovaných EU2003 | Publikace bez příslušnosti k fakultě
- Source Code Assertion Verification Using Backward Symbolic Execution2019 | Matematicko-fyzikální fakulta
- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta
- Reducibility bounds of objective functions over the integers2023 | Matematicko-fyzikální fakulta
- Effective Datalog-like representation of procedural programs2012 | Matematicko-fyzikální fakulta
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Matematicko-fyzikální fakulta
- A comprehensive toolchain for workload characterization across JVM languages2013 | Matematicko-fyzikální fakulta
- Workload Characterization of JVM Languages2016 | Matematicko-fyzikální fakulta
- Evaluating and Tuning n-fold Integer Programming +12018 | Matematicko-fyzikální fakulta
- Modelling Z -> tau tau processes in ATLAS with tau-embedded Z -> mu mu data2015 | Matematicko-fyzikální fakulta
- Challenges for Refinement and Composition of Instrumentations: Position Paper2012 | Matematicko-fyzikální fakulta
- DiSL rev 488Publikace bez příslušnosti k fakultě
- A programming model and framework for comprehensive dynamic analysis on Android2015 | Matematicko-fyzikální fakulta
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta