| 2014 | VEE | A fast abstract syntax tree interpreter for R. | Tomas Kalibera, Petr Maj, Floral Morandat, Jan Vitek |
| 2012 | OOPSLA | A black-box approach to understanding concurrency in DaCapo. | Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek |
| 2011 | EMSOFT | Repeatability, reproducibility, and rigor in systems research. | Jan Vitek, Tomas Kalibera |
| 2010 | TACAS | Efficient Detection of Errors in Java Components Using Random Environment and Restarts. | Pavel Parzek, Tomas Kalibera |
| 2009 | FMICS | Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. | Pavel Parzek, Tomas Kalibera |
| 2009 | RTSS | Scheduling Hard Real-Time Garbage Collection. | Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek |
| 2005 | MASCOTS | Automated Detection of Performance Regressions: The Mono Experience. | Tomas Kalibera, Lubomr Bulej, Petr Tuma |
| 2004 | IPCCC | Regression benchmarking with simple middleware benchmarks. | Lubomr Bulej, Tomas Kalibera, Petr Tuma |
| 2002 | CoopIS | Distributed Component System Based on Architecture Description: The SOFA Experience. | Tomas Kalibera, Petr Tuma |