School of Computing

Publications by Dr Tomas Kalibera

Also view these in the Kent Academic Repository

Article
Blackburn, S. et al. (2016). The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. Transactions on Programming Languages and Systems (TOPLAS) 38.
Kalibera, T. et al. (2011). Scheduling real-time garbage collection on uniprocessors. ACM Transactions on Computer Systems [Online] 29:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3161.
Kalibera, T. et al. (2011). A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience [Online] 23:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3160.
Schoeberl, M. et al. (2011). A Hardware Abstraction Layer in Java. ACM Transactions on Embedded Computing Systems [Online] 10:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3189.
Kalibera, T. (2011). Replicating Real-time Garbage Collector. Concurrency and Computation: Practice and Experience [Online] 23:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3159.
Baker, J. et al. (2009). Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience [Online] 21:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/3128.
Monograph
Kalibera, T. and Jones, R. (2012). Quantifying Performance Changes with Effect Size Confidence Intervals. University of Kent. Available at: http://www.cs.kent.ac.uk/pubs/2012/3233.
Conference or workshop item
Kalibera, T. and Jones, R. (2013). Rigorous Benchmarking in Reasonable Time. in: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013). New York: ACM, pp. 63-74.
Kalibera, T. et al. (2012). A Black-box Approach to Understanding Concurrency in DaCapo. in: Dwyer, M. and Leavens, G. T. eds. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). Tucson, AZ, USA: ACM. Available at: http://www.cs.kent.ac.uk/pubs/2012/3246.
Kalibera, T. and Jones, R. (2011). Handles revisited: optimising performance and memory costs in a real-time collector. in: Proceedings of the 10th International Symposium on Memory Management (ISMM). ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3122.
Vitek, J. and Kalibera, T. (2011). Repeatability, Reproducibility and Rigor in Systems Research (Invited Paper). in: Proceedings of the 11th International Conference on Embedded Software (EMSOFT). ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3174.
Kalibera, T. et al. (2010). Challenge benchmarks for verification of real-time programs. in: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV). ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3125.
Hocko, M. and Kalibera, T. (2010). Reducing performance non-determinism via cache-aware page allocation strategies. in: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering. ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3127.
Parizek, P. and Kalibera, T. (2010). Efficient Detection of Errors in Java Components Using Random Environment and Restarts. in: Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3126.
Plsek, A. et al. (2010). Developing safety critical Java applications with oSCJ/L0. in: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3124.
Kalibera, T. et al. (2010). Exhaustive testing of safety critical Java. in: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3123.
Kalibera, T. (2009). Replicating real-time garbage collector for Java. in: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/3130.
Kalibera, T. et al. (2009). Real-Time Java in Space: Potential Benefits and Open Challenges. in: Proceedings of the International Space System Engineering Conference, Data Systems in Aerospace (DASIA). ESA, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/3139.
Kalibera, T. et al. (2009). CDx: a family of real-time Java benchmarks. in: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). ACM, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/3129.
Parizek, P. and Kalibera, T. (2009). Platform-specific restrictions on concurrency in model checking of Java programs. in: Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS). Springer, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/3132.
Parizek, P., Adamek, J. and Kalibera, T. (2009). Automated Construction of Reasonable Environment for Java Components. in: Proceedings of the 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA). Elsevier, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/3138.
Kalibera, T. et al. (2009). Scheduling Hard Real-Time Garbage Collection. in: Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS). IEEE, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/3131.
Total publications in KAR: 22 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 26/09/2017