T. Kalibera

Most-cited papers

Rigorous benchmarking in reasonable time
T. Kalibera, Richard E. Jones
2013International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing128 citations Open access
Semantic Scholar
CDx: a family of real-time Java benchmarks
T. Kalibera, J. Hagelberg, F. Pizlo, Ales Plsek +2 more
2009Java Technologies for Real-time and Embedded Systems88 citations
Semantic Scholar
Repeatability, reproducibility and rigor in systems research
J. Vitek, T. Kalibera
2011International Conference on Embedded Software78 citations
Semantic Scholar
Benchmark Precision and Random Initial State
T. Kalibera, L. Bulej, P. Tůma
200557 citations
Semantic Scholar
A fast abstract syntax tree interpreter for R
T. Kalibera, Petr Maj, Floréal Morandat, J. Vitek
2014International Conference on Virtual Execution Environments46 citations
Semantic Scholar
A Hardware Abstraction Layer in Java
Martin Schoeberl, Stephan Korsholm, T. Kalibera, A. Ravn
2011TECS43 citations Open access
Semantic Scholar
A black-box approach to understanding concurrency in DaCapo
T. Kalibera, Matthew Mole, Richard E. Jones, J. Vitek
2012Conference on Object-Oriented Programming Systems, Languages, and Applications41 citations Open access
Semantic Scholar
Repeated results analysis for middleware regression benchmarking
L. Bulej, T. Kalibera, P. Tůma
2005Performance evaluation (Print)41 citations
Semantic Scholar
Exhaustive testing of safety critical Java
T. Kalibera, P. Parízek, M. Malohlava, Martin Schoeberl
2010Java Technologies for Real-time and Embedded Systems39 citations
Semantic Scholar
Quantifying Performance Changes with Effect Size Confidence Intervals
T. Kalibera, Richard E. Jones
2012arXiv.org38 citations
Semantic Scholar
Developing safety critical Java applications with oSCJ/L0
Ales Plsek, Lei Zhao, V. Şahin, Daniel Tang +2 more
2010Java Technologies for Real-time and Embedded Systems37 citations
Semantic Scholar
Automated detection of performance regressions: the mono experience
T. Kalibera, L. Bulej, P. Tůma
200513th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems37 citations
Semantic Scholar
R3: repeatability, reproducibility and rigor
J. Vitek, T. Kalibera
2012SIGP31 citations
Semantic Scholar
Accurate garbage collection in uncooperative environments revisited
J. Baker, Antonio Cunei, T. Kalibera, F. Pizlo +1 more
2009Concurrency and Computation27 citations Open access
Semantic Scholar
Distributed Component System Based on Architecture Description: The SOFA Experience
T. Kalibera, P. Tůma
2002OTM Conferences / Workshops27 citations
Semantic Scholar
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results
T. Kalibera, P. Tůma
2006European Performance Engineering Workshop26 citations
Semantic Scholar
Replicating real‐time garbage collector
T. Kalibera
2009Java Technologies for Real-time and Embedded Systems22 citations Open access
Semantic Scholar
The Truth, The Whole Truth, and Nothing But the Truth
S. Blackburn, A. Diwan, M. Hauswirth, P. Sweeney +15 more
2016ACM Transactions on Programming Languages and Systems21 citations Open access
Semantic Scholar
Automated benchmarking and analysis tool
T. Kalibera, J. Lehotský, D. Majda, Branislav Repcek +4 more
2006ValueTools18 citations
Semantic Scholar
Reducing performance non-determinism via cache-aware page allocation strategies
Michael Hocko, T. Kalibera
2010WOSP/SIPEW '1017 citations
Semantic Scholar
Scheduling real-time garbage collection on uniprocessors
T. Kalibera, F. Pizlo, Antony Hosking, J. Vitek
2011TOCS15 citations Open access
Semantic Scholar
Regression benchmarking with simple middleware benchmarks
L. Bulej, T. Kalibera, P. Tůma
2004IEEE International Conference on Performance, Computing, and Communications, 200415 citations
Semantic Scholar
Generic Environment for Full Automation of Benchmarking
T. Kalibera, L. Bulej, P. Tůma
2004SOQUA/TECOS12 citations
Semantic Scholar
Challenge benchmarks for verification of real-time programs
T. Kalibera, P. Parízek, Ghaith Haddad, G. Leavens +1 more
2010Programming Languages meets Program Verification11 citations Open access
Semantic Scholar
Changes in R
T. Kalibera, S. Meyer, K. Hornik, G. Starostin +1 more
202210 citations
Semantic Scholar
Handles revisited: optimising performance and memory costs in a real-time collector
T. Kalibera, Richard E. Jones
2011International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing9 citations
Semantic Scholar
Scheduling Hard Real-Time Garbage Collection
T. Kalibera, F. Pizlo, Antony Hosking, J. Vitek
2009IEEE Real-Time Systems Symposium9 citations Open access
Semantic Scholar
Real-Time Java in Space: Potential Benefits and Open Challenges
T. Kalibera, M. Prochazka, F. Pizlo, J. Vitek +2 more
20098 citations
Semantic Scholar
Quality Assurance in Performance: Evaluating Mono Benchmark Results
T. Kalibera, L. Bulej, P. Tůma
2005QoSA/SOQUA8 citations
Semantic Scholar
Automated Construction of Reasonable Environment for Java Components
P. Parízek, J. Adámek, T. Kalibera
2009FESCA@ETAPS6 citations Open access
Semantic Scholar
A Robust Algorithm to Detecting Wind Turbine Blade Health Using Vibro-Acoustic Modulation and Sideband Spectral Analysis
Noah J. Myrent, D. Adams, Gustavo Rodriguez-Rivera, D. Ulybyshev +3 more
20155 citations
Semantic Scholar
Mono Regression Benchmarking
T. Kalibera, L. Bulej, P. Tůma
20055 citations
Semantic Scholar
A study of sharing definitions in thread-local heaps (Position Paper)
Matthew Mole, Richard E. Jones, T. Kalibera
20123 citations
Semantic Scholar
Model Checking Real-time Java
P. Parízek, T. Kalibera, J. Vitek
20103 citations
Semantic Scholar
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
P. Parízek, T. Kalibera
2010International Conference on Tools and Algorithms for Construction and Analysis of Systems3 citations Open access
Semantic Scholar
Performance in Software Development Cycle: Regression Benchmarking
T. Kalibera
20062 citations
Semantic Scholar
Regression Benchmarking Environment
T. Kalibera
20042 citations
Semantic Scholar
The R Journal: Changes in R 4.0–4.1
T. Kalibera, S. Meyer, K. Hornik
20211 citations
Semantic Scholar
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
P. Parízek, T. Kalibera
2009International Workshop on Formal Methods for Industrial Critical Systems1 citations
Semantic Scholar
Evaluating the Impact of Page Coloring and Bin Hopping on Performance Nondeterminism of Linux Applications
Michael Hocko, T. Kalibera
20071 citations
Semantic Scholar
Introduction to the Special Issue on Java Technologies for Real‐Time and Embedded Systems
J. Vitek, T. Kalibera
2012Concurrency and Computation0 citations
Semantic Scholar
A Scheduling Real-time Garbage Collection on Uni-Processors
T. Kalibera
20110 citations
Semantic Scholar
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
T. Kalibera, J. Vitek
20100 citations
Semantic Scholar
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010
T. Kalibera, J. Vitek
2010Java Technologies for Real-time and Embedded Systems0 citations
Semantic Scholar
Challenge benchmarks for verification of real-time programs: (abstract only)
T. Kalibera, P. Parízek, Ghaith Haddad, G. Leavens +1 more
2010SIGP0 citations
Semantic Scholar
Addressing State Explosion in Discovery of Concurrency Errors in Component Java Code
P. Parízek, T. Kalibera
20070 citations
Semantic Scholar