Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 22.
2016
| Blackburn, Stephen M and Diwan, Amer and Hauswirth, Mattias and Sweeney, Peter F and Amaral, Jose Nelson and Brecht, Tim and Bulej, Lubomr and Click, Cliff and Eeckhout, Lieven and Fischmeister, Sebastian and Frampton, Daniel and Hendren, Laurie J and Hind, Michael and Hosking, Antony L and Jones, Richard E. and Kalibera, Tomas and Keynes, Nathan and Nystrom, Nathaniel and Zeller, Andreas (2016) The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. Transactions on Programming Languages and Systems, 38 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:https://doi.org/10.1145/2983574) (Full text available) |
|
2013
| Kalibera, Tomas and Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013). ACM, New York pp. 63-74. (doi:https://doi.org/10.1145/2464157.2464160) (Full text available) |
|
2012
| Kalibera, Tomas and Mole, Matthew and Jones, Richard E. and Vitek, Jan (2012) A Black-box Approach to Understanding Concurrency in DaCapo. In: Dwyer, Matthew and Leavens, Gary T., eds. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, Tucson, AZ, USA (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Jones, Richard E. (2012) Quantifying Performance Changes with Effect Size Confidence Intervals. Technical report. University of Kent, Kent 4--12. (doi:4--12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2011
| Schoeberl, Martin and Korsholm, Stephan and Kalibera, Tomas and Ravn, Anders P. (2011) A Hardware Abstraction Layer in Java. ACM Transactions on Embedded Computing Systems, 10 (4). pp. 182-196. (doi:https://doi.org/10.1145/2043662.2043666) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Vitek, Jan and Kalibera, Tomas (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. ISBN 978-1-4503-0714-7. (doi:https://doi.org/10.1145/2038642.2038650) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas (2011) Replicating Real-time Garbage Collector. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (doi:https://doi.org/10.1002/cpe.1669) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Hagelberg, Jeff and Maj, Petr and Pizlo, Filip and Titzer, Ben and Vitek, Jan (2011) A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (doi:https://doi.org/10.1002/cpe.1677) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2011) Scheduling real-time garbage collection on uniprocessors. ACM Transactions on Computer Systems, 29 (3). pp. 182-196. (doi:https://doi.org/10.1145/2003690.2003692) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Jones, Richard E. (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. ISBN 978-1-4503-0263-0. (doi:https://doi.org/10.1145/1993478.1993492) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2010
| Plsek, Ales and Zhao, Lei and Sahin, Veysel H. and Tang, Daniel and Kalibera, Tomas and Vitek, Jan (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. ISBN 978-1-4503-0122-0. (doi:https://doi.org/10.1145/1850771.1850786) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Parizek, Pavel and Malohlava, Michal and Schoeberl, Martin (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. ISBN 978-1-4503-0122-0. (doi:https://doi.org/10.1145/1850771.1850794) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Parizek, Pavel and Kalibera, Tomas (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. ISBN 978-3-642-12001-5. (doi:https://doi.org/10.1007/978-3-642-12002-2â??) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan (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. ISBN 978-1-60558-890-2. (doi:https://doi.org/10.1145/1707790.1707800) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Hocko, Michal and Kalibera, Tomas (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. ISBN 978-1-60558-563-5. (doi:https://doi.org/10.1145/1712605.1712640) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2009
| Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2009) Scheduling Hard Real-Time Garbage Collection. In: Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS). IEEE pp. 182-196. ISBN 978-0-7695-3875-4. (doi:https://doi.org/10.1109/RTSS.2009.40) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Parizek, Pavel and Kalibera, Tomas (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. ISBN 978-3-642-04569-1. (doi:https://doi.org/10.1007/978-3-642-04570-7â??) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Hagelberg, Jeff and Pizlo, Filip and Plsek, Ales and Titzer, Ben and Vitek, Jan (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. ISBN 978-1-60558-732-5. (doi:https://doi.org/10.1145/1620405.1620412) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas (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. ISBN 978-1-60558-732-5. (doi:https://doi.org/10.1145/1620405.1620420) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Baker, Jason and Cunei, Antonio and Kalibera, Tomas and Pizlo, Filip and Vitek, Jan (2009) Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience, 21 (12). pp. 182-196. (doi:https://doi.org/10.1002/cpe.1391) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalibera, Tomas and Prochazka, Marek and Pizlo, Filip and Decky, Martin and Vitek, Jan and Zulianello, Marco (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. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Parizek, Pavel and Adamek, Jiri and Kalibera, Tomas (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). Electronic Notes in Theoretical Computer Science, 253 (1). Elsevier pp. 182-196. (doi:https://doi.org/10.1016/j.entcs.2009.09.033) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
