- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Faculty of Mathematics and Physics
- Diagnosing Compiler Performance by Comparing Optimization Decisions2023 | Faculty of Mathematics and Physics
- A programming model and framework for comprehensive dynamic analysis on Android2015 | Faculty of Mathematics and Physics
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Faculty of Mathematics and Physics
- Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)2023 | Faculty of Mathematics and Physics
- Remote Just-in-Time Compilation for Dynamic Languages2023 | Faculty of Mathematics and Physics
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Faculty of Mathematics and Physics
- Introduction to dynamic program analysis with DiSL +12013 | Faculty of Mathematics and Physics
- JOLT: Java Object Lifetime TracerPublication without faculty affiliation
- A Family of Real-time Java Benchmarks2011 | Faculty of Mathematics and Physics
- SOFA for LeJOSPublication without faculty affiliation
- CzEng 1.6: Enlarged Czech-English Parallel Corpus with Processing Tools Dockered2016 | Faculty of Mathematics and Physics
- Real-Time Java in Space: Potential Benefits and Open Challenges2009 | Faculty of Mathematics and Physics
- DiSL ShadowVM preview-1Publication without faculty affiliation
- Evaluation of XPath Fragments Using Lambda Calculi2008 | Faculty of Mathematics and Physics
- The JVM is not observable enough (and what to do about it)2012 | Faculty of Mathematics and Physics
- LSDN - Manage complex (virtual) networks in cloud environment with Linux kernel facilities2018 | Faculty of Mathematics and Physics
- XML Query Evaluation Using a Lambda-Calculus Based Framework2009 | Faculty of Mathematics and Physics
- jPapaBenchPublication without faculty affiliation
- Characteristics of Dynamic JVM Languages2013 | Faculty of Mathematics and Physics
- DOs and DON'Ts of Conducting Performance Measurements in Java2015 | Faculty of Mathematics and Physics
- Estimating the Impact of Code Additions on Garbage Collection Overhead2015 | Faculty of Mathematics and Physics
- An Empirical Study on Deoptimization in the Graal Compiler2017 | Faculty of Mathematics and Physics
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Faculty of Mathematics and Physics
- Information Systems Development via Model Transformations2018 | Faculty of Mathematics and Physics
- Developing safety critical Java applications with oSCJ/L02010 | Faculty of Mathematics and Physics
- Accurate Garbage Collection in Uncooperative Environments Revisited2009 | Faculty of Mathematics and Physics
- Showstopper: The Partial CPU Load Tool2014 | Faculty of Mathematics and Physics