Researcher

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

Malostranské náměstí 25
118 00 Praha 1
Czech Republic

E-mail: horky@d3s.mff.cuni.cz
Phone: +420 951 55 4457
Office: S205

Teaching

Research

Publications

L. Bulej, V. Horký, P. Tůma:
Tracking Performance of Graal on Public Benchmarks, presented at Science, Art, Magic: Using and Developing The Graal Compiler, 2021
L. Bulej, F. Farquet, V. Horký, P. Tůma:
Tracking Performance of Graal on Public Benchmarks, presented at International Workshop on Load Testing and Benchmarking of Software Systems (LTB) 2021, 2021
L. Bulej, V. Horký, P. Tůma, F. Farquet, A. Prokopec:
Duet Benchmarking: Improving Measurement Accuracy in the Cloud, in Proceedings of the ACM/SPEC International Conference on Performance Engineering, pp. 100–107, 2020
ISBN: 978-1-4503-6991-6, DOI: 10.1145/3358960.3379132
L. Bulej, V. Horký, P. Tůma:
Initial Experiments with Duet Benchmarking: Performance Testing Interference in the Cloud, in Proc. 27th IEEE Intl. Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 249-255, 2019
DOI: 10.1109/MASCOTS.2019.00035
I. Gerostathopoulos, C. Prehofer, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results, in 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), pp. 72-75, 2018
DOI: 10.1109/ICSA-C.2018.00027
P. Kubát, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation, in Companion Proc. 9th ACM/SPEC Intl. Conf. on Performance Engineering (ICPE), pp. 195-198, 2018
ISBN: 978-1-4503-5629-9, DOI: 10.1145/3185768.3186406
L. Bulej, V. Horký, P. Tůma:
Do We Teach Useful Statistics for Performance Evaluation?, in Companion Proc. 8th ACM/SPEC on Intl. Conf. on Performance Engineering, pp. 185–189, 2017
ISBN: 978-1-4503-4899-7, DOI: 10.1145/3053600.3053638
L. Bulej, T. Bureš, V. Horký, J. Kotrč, L. Marek, T. Trojánek, P. Tůma:
Unit testing performance with Stochastic Performance Logic, in Automated Software Engineering 24(1), pp. 139-187, 2017
DOI: 10.1007/s10515-015-0188-0
P. Stefan, V. Horký, L. Bulej, P. Tůma:
Unit Testing Performance in Java Projects: Are We There Yet?, in Proc. 8th ACM/SPEC Intl. Conf. on Performance Engineering (ICPE), pp. 401–412, 2017
ISBN: 978-1-4503-4404-3, DOI: 10.1145/3030207.3030226
V. Horký, J. Kotrč, P. Libič, P. Tůma:
Analysis of Overhead in Dynamic Java Performance Monitoring, in Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering, pp. 275–286, 2016
ISBN: 978-1-4503-4080-9, DOI: 10.1145/2851553.2851569
I. Gerostathopoulos, T. Bureš, S. Schmid, V. Horký, C. Prehofer, P. Tůma:
Towards Systematic Live Experimentation in Software-intensive Systems of Systems, in Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, pp. 7:1–7:7, 2016
ISBN: 978-1-4503-6399-0, DOI: 10.1145/3175731.3176175
V. Horký, P. Libič, L. Marek, A. Steinhauser, P. Tůma:
Utilizing Performance Unit Tests To Increase Performance Awareness, in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 289–300, 2015
ISBN: 978-1-4503-3248-4, DOI: 10.1145/2668930.2688051
V. Horký, P. Libič, A. Steinhauser, P. Tůma:
DOs and DON'Ts of Conducting Performance Measurements in Java (Tutorial Paper), in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 337–340, 2015
ISBN: 978-1-4503-3248-4, DOI: 10.1145/2668930.2688820
D. Abeywickrama, J. Combaz, V. Horký, J. Keznikl, J. Kofroň, A. Lafuente, M. Loreti, A. Margheri, P. Mayer, V. Monreale, U. Montanari, C. Pinciroli, P. Tůma, A. Vandin, E. Vassev:
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, pp. 429-448, 2015
ISBN: 978-3-319-16309-3 978-3-319-16310-9
P. Libič, L. Bulej, V. Horký, P. Tůma:
Estimating the Impact of Code Additions on Garbage Collection Overhead, in Computer Performance Engineering: Proc. 12th European Performance Engineering Workshop (EPEW), pp. 130-145, 2015
ISBN: 978-3-319-23266-9 978-3-319-23267-6
L. Bulej, T. Bureš, I. Gerostathopoulos, V. Horký, J. Keznikl, L. Marek, M. Tschaikowski, M. Tribastone, P. Tůma:
Supporting Performance Awareness in Autonomous Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 291–322, 2015
ISBN: 978-3-319-16310-9
L. Bulej, T. Bureš, V. Horký, J. Kotrc, L. Marek, T. Trojanek, P. Tůma:
SPL: Unit Testing Performance, Technical report no. No. D3S-TR-2014-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
P. Libič, L. Bulej, V. Horký, P. Tůma:
On the Limits of Modeling Generational Garbage Collector Performance, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 15–26, 2014
ISBN: 978-1-4503-2733-6, DOI: 10.1145/2568088.2568097
T. Bureš, V. Horký, M. Kit, L. Marek, P. Tůma:
Towards Performance-Aware Engineering of Autonomic Component Ensembles, in Technologies for Mastering Change: Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), pp. 131-146, 2014
ISBN: 978-3-662-45233-2 978-3-662-45234-9
L. Bulej, T. Bureš, V. Horký, J. Keznikl:
Adaptive Deployment in Ad-hoc Systems Using Emergent Component Ensembles: Vision Paper, in Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering, pp. 343–346, 2013
ISBN: 978-1-4503-1636-1, DOI: 10.1145/2479871.2479922
V. Horký, F. Haas, J. Kotrč, M. Lacina, P. Tůma:
Performance Regression Unit Testing: A Case Study, in Computer Performance Engineering: Proc. 10th European Performance Engineering Workshop (EPEW), pp. 149-163, 2013
ISBN: 978-3-642-40724-6 978-3-642-40725-3
L. Bulej, T. Bureš, V. Horký, J. Keznikl, P. Tůma:
Performance Awareness in Component Systems (Vision Paper), in Proc. 36th IEEE Annual Computer Software and Applications Conference (COMPSAC) CORCS Workshop, pp. 514-519, 2012
DOI: 10.1109/COMPSACW.2012.96