Contact information:

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: petr.tuma@d3s.mff.cuni.cz
Phone: +420 951 554 267

Teaching

About software performance and systems internals: NSWI131 Performance Evaluation

About operating systems architecture and implementation: NSWI004 Operating Systems and NSWI161 Advanced Operating Systems

About distributed systems and middleware: NSWI163 Introduction to Middleware and NSWI080 Middleware

Publications

Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder:
Renaissance: Benchmarking Suite for Parallel Applications on the JVM, in Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),  pp. 17
DOI: 10.1145/3314221.3314637, 2019
Petr Kubát, Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, Petr Tůma:
Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation, in Companion Proceedings of ICPE 2018, Berlin, Germany,  ISBN: 978-1-4503-5629-9, pp. 195-198
DOI: 10.1145/3185768.3186406, 2018
Ilias Gerostathopoulos, Christian Prehofer, Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, Petr 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
DOI: 10.1109/ICSA-C.2018.00027, 2018
Petr Stefan, Vojtěch Horký, Lubomír Bulej, Petr Tůma:
Unit Testing Performance in Java Projects: Are We There Yet?, in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering,  ISBN: 978-1-4503-4404-3, pp. 401–412
DOI: 10.1145/3030207.3030226, 2017
Lubomír Bulej, Vojtěch Horký, Petr Tůma:
Do We Teach Useful Statistics for Performance Evaluation?, in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion,  ISBN: 978-1-4503-4899-7, pp. 185–189
DOI: 10.1145/3053600.3053638, 2017
Vojtěch Horký, Jaroslav Kotrč, Peter Libič, Petr Tůma:
Analysis of Overhead in Dynamic Java Performance Monitoring, in Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering,  ISBN: 978-1-4503-4080-9, pp. 275–286
DOI: 10.1145/2851553.2851569, 2016
Ilias Gerostathopoulos, Tomáš Bureš, Sanny Schmid, Vojtěch Horký, Christian Prehofer, Petr 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,  ISBN: 978-1-4503-6399-0, pp. 7:1–7:7
DOI: 10.1145/3175731.3176175, 2016
Lubomír Bulej, Tomáš Bureš, Vojtěch Horký, Jaroslav Kotrč, Lukáš Marek, Tomáš Trojánek, Petr Tůma:
Unit Testing Performance with Stochastic Performance Logic, in Automated Software Engineering 0(0),  pp. 1-49
DOI: 10.1007/s10515-015-0188-0, 2016
Tomáš Bureš, Ilias Gerostathopoulos, Jaroslav Keznikl, František Plášil, Petr Tůma:
Formalization of Invariant Patterns for the Invariant Refinement Method, in Software, Services, and Systems, ISBN: 978-3-319-15544-9 978-3-319-15545-6, pp. 602-618, 2015
Vojtěch Horký, Peter Libič, Lukáš Marek, Antonín Steinhauser, Petr Tůma:
Utilizing Performance Unit Tests To Increase Performance Awareness, in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-3248-4, pp. 289–300
DOI: 10.1145/2668930.2688051, 2015
Lubomír Bulej, Tomáš Bureš, Ilias Gerostathopoulos, Vojtěch Horký, Jaroslav Keznikl, Lukáš Marek, Max Tschaikowski, Mirco Tribastone, Petr Tůma:
Supporting Performance Awareness in Autonomous Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, ISBN: 978-3-319-16310-9, pp. 291–322, 2015
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tůma, Walter Binder:
A Programming Model and Framework for Comprehensive Dynamic Analysis on Android, in Proc. 14th International Conference on Modularity (MODULARITY),  ISBN: 978-1-4503-3249-1, pp. 133–145
DOI: 10.1145/2724525.2724566, 2015
Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Aibek Sarimbekov, Walter Binder, Petr Tůma:
Introduction to Dynamic Program Analysis with DiSL, in Science of Computer Programming 0(0),  pp. 100-115
DOI: 10.1016/j.scico.2014.01.003, 2015
Dhaminda B. Abeywickrama, Jacques Combaz, Vojtěch Horký, Jaroslav Keznikl, Jan Kofroň, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tůma, Andrea Vandin, Emil Vassev:
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, ISBN: 978-3-319-16309-3 978-3-319-16310-9, pp. 429-448, 2015
Vojtěch Horký, Peter Libič, Antonín Steinhauser, Petr 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),  ISBN: 978-1-4503-3248-4, pp. 337–340
DOI: 10.1145/2668930.2688820, 2015
Peter Libič, Lubomír Bulej, Vojtěch Horký, Petr Tůma:
Estimating the Impact of Code Additions on Garbage Collection Overhead, in Computer Performance Engineering: Proc. 12th European Performance Engineering Workshop (EPEW), ISBN: 978-3-319-23266-9 978-3-319-23267-6, pp. 130-145, 2015
Aibek Sarimbekov, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Lukáš Marek, Walter Binder, Petr Tůma, Zhengwei Qi:
Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance, in Science of Computer Programming 0(0),  pp. 344-358
DOI: 10.1016/j.scico.2014.03.014, 2014
Heiko Koziolek, Steffen Becker, Jens Happe, Petr Tůma, Thijmen de Gooijer:
Towards Software Performance Engineering for Multicore and Manycore Systems, in SIGMETRICS Performance Evaluation Review 41(3),  pp. 2–11
DOI: 10.1145/2567529.2567531, 2014
Tomáš Bureš, Vojtěch Horký, Michał Kit, Lukáš Marek, Petr 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), ISBN: 978-3-662-45233-2 978-3-662-45234-9, pp. 131-146, 2014
Peter Libič, Lubomír Bulej, Vojtěch Horký, Petr Tůma:
On the Limits of Modeling Generational Garbage Collector Performance, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-2733-6, pp. 15–26
DOI: 10.1145/2568088.2568097, 2014
Tomáš Martinec, Lukáš Marek, Antonín Steinhauser, Petr Tůma, Qais Noorshams, Andreas Rentschler, Ralf Reussner:
Constructing Performance Model of JMS Middleware Platform, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-2733-6, pp. 123–134
DOI: 10.1145/2568088.2568096, 2014
Petr Tůma:
Performance Awareness (Keynote Paper), in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-2733-6, pp. 135–136
DOI: 10.1145/2568088.2576097, 2014
Yudi Zheng, Haiyang Sun, Lubomír Bulej, Petr Tůma, Walter Binder:
Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines (Invited Paper), in Proc. 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ),  ISBN: 978-1-4503-2926-2, pp. 4–4
DOI: 10.1145/2655183.2655186, 2014
Vojtěch Horký, František Haas, Jaroslav Kotrč, Martin Lacina, Petr Tůma:
Performance Regression Unit Testing: A Case Study, in Computer Performance Engineering: Proc. 10th European Performance Engineering Workshop (EPEW), ISBN: 978-3-642-40724-6 978-3-642-40725-3, pp. 149-163, 2013
Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tůma:
Enabling Modularity and Reuse in Dynamic Program Analysis Tools for the Java Virtual Machine, in Proc. 27th European Conference on Object-Oriented Programming (ECOOP), ISBN: 978-3-642-39037-1 978-3-642-39038-8, pp. 352-377, 2013
Lukáš Marek, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tůma, Danilo Ansaloni, Aibek Sarimbekov, Andreas Sewe:
ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform, in ACM SIGPLAN Notices 49(3),  pp. 105–114
DOI: 10.1145/2637365.2517219, 2013
Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Walter Binder, Zhengwei Qi, Petr Tůma:
DiSL: An Extensible Language for Efficient and Comprehensive Dynamic Program Analysis (Invited Paper), in Proc. 7th Workshop on Domain-Specific Aspect Languages (DSAL),  ISBN: 978-1-4503-1128-1, pp. 27–28
DOI: 10.1145/2162037.2162046, 2012
Vlastimil Babka, Peter Libič, Tomáš Martinec, Petr Tůma:
On the Accuracy of Cache Sharing Models, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-1202-8, pp. 21–32
DOI: 10.1145/2188286.2188294, 2012
Lubomír Bulej, Tomáš Bureš, Jaroslav Keznikl, Alena Koubková, Andrej Podzimek, Petr Tůma:
Capturing Performance Assumptions Using Stochastic Performance Logic, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE),  ISBN: 978-1-4503-1202-8, pp. 311–322
DOI: 10.1145/2188286.2188345, 2012
Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukáš Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tůma, Yudi Zheng:
Challenges for Refinement and Composition of Instrumentations (Position Paper), in Software Composition: Proc. 11th International Conference on Software Composition (SC), ISBN: 978-3-642-30563-4 978-3-642-30564-1, pp. 86-96, 2012
Yudi Zheng, Danilo Ansaloni, Lukas Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tůma, Zhengwei Qi, Mira Mezini:
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation, in Objects, Models, Components, Patterns: Proc. 50th International Conference on Objects, Models, Components, Patterns (TOOLS), ISBN: 978-3-642-30560-3 978-3-642-30561-0, pp. 353-368, 2012
Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi:
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis (Tool Paper), in Programming Languages and Systems: Proc. 10th Asian Symposium on Programming Languages and Systems (APLAS), ISBN: 978-3-642-35181-5 978-3-642-35182-2, pp. 256-263, 2012
Vlastimil Babka, Petr Tůma:
Can Linear Approximation Improve Performance Prediction ?, in Computer Performance Engineering: Proc. 8th European Performance Engineering Workshop (EPEW), ISBN: 978-3-642-24748-4 978-3-642-24749-1, pp. 250-264, 2011
Vlastimil Babka, Petr Tůma:
Computer Memory: Why We Should Care What Is Under the Hood (Invited Paper), in Mathematical and Engineering Methods in Computer Science: Proc. 7th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), ISBN: 978-3-642-25928-9 978-3-642-25929-6, pp. 63-75, 2011
Vlastimil Babka, Petr Tůma, Lubomír Bulej:
Validating Model-Driven Performance Predictions on Random Software Systems, in Research into Practice - Reality and Gaps: Proc. 6th International Conference on the Quality of Software Architectures (QOSA), ISBN: 978-3-642-13820-1 978-3-642-13821-8, pp. 3-19, 2010
Peter Libič, Petr Tůma, Lubomír Bulej:
Issues in Performance Modeling of Applications with Garbage Collection, in Proc. 1st International Workshop on Quality of Service-Oriented Software Systems (QUASOSS),  ISBN: 978-1-60558-709-7, pp. 3–10
DOI: 10.1145/1596473.1596477, 2009
Vlastimil Babka, Petr Tůma:
Investigating Cache Parameters of x86 Family Processors, in Computer Performance Evaluation and Benchmarking: Proc. 4th SPEC Benchmarking Workshop (SPEC), ISBN: 978-3-540-93798-2 978-3-540-93799-9, pp. 77-96, 2009
Tomáš Bureš, Martin Děcký, Petr Hnětynka, Jan Kofroň, Pavel Parízek, František Plášil, Tomáš Poch, Ondřej Šerý, Petr Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, ISBN: 978-3-540-85289-6, pp. 388-417, 2008
Lubomír Bulej, Tomáš Bureš, Thierry Coupaye, Martin Děcký, Pavel Ježek, Pavel Parízek, František Plášil, Tomáš Poch, Nicolas Rivierre, Ondřej Šerý, Petr Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, ISBN: 978-3-540-85288-9 978-3-540-85289-6, pp. 357-387, 2008
Vlastimil Babka, Lubomír Bulej, Martin Decky, Viliam Holub, Petr Tůma:
Teaching Operating Systems: Student Assignments and the Software Engineering Perspective, in Proc. 30th International Conference on Software Engineering (ICSE) SEESE Workshop,  ISBN: 978-1-60558-076-0, pp. 71–78
DOI: 10.1145/1370868.1370881, 2008
Vlastimil Babka, Martin Děcký, Petr Tůma:
Resource Sharing in Performance Models, in Formal Methods and Stochastic Models for Performance Evaluation: Proc. 4th European Performance Engineering Workshop (EPEW), ISBN: 978-3-540-75210-3 978-3-540-75211-0, pp. 245-259, 2007
Tomas Kalibera, Jakub Lehotsky, David Majda, Branislav Repcek, Michal Tomcanyi, Antonin Tomecek, Petr Tůma, Jaroslav Urban:
Automated Benchmarking and Analysis Tool, in Proc. 1st International Conference on Performance Evaluation Methodolgies and Tools (VALUETOOLS),  ISBN: 978-1-59593-504-5,
DOI: 10.1145/1190095.1190101, 2006
Tomas Kalibera, Petr Tůma:
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results, in Formal Methods and Stochastic Models for Performance Evaluation: Proc. 3rd European Performance Engineering Workshop (EPEW), ISBN: 978-3-540-35362-1 978-3-540-35365-2, pp. 63-77, 2006
Tomas Kalibera, Lubomír Bulej, Petr Tůma:
Benchmark Precision and Random Initial State, in Proc. International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS),  ISBN: 978-1-62276-350-4, pp. 484–490, 2005
Tomas Kalibera, Lubomír Bulej, Petr Tůma:
Automated Detection of Performance Regressions: The Mono Experience, in Proc. 20th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS),  pp. 183-190
DOI: 10.1109/MASCOT.2005.18, 2005
Petr Tůma:
Component and Middleware Performance (Summary Paper), in Studia Informatica Universalis 4(1),  pp. 1-6, 2005
Petr Tůma:
Component Middleware, Habilitation Thesis, Charles University , 2005
Tomas Kalibera, Lubomír Bulej, Petr Tůma:
Quality Assurance in Performance: Evaluating Mono Benchmark Results, in Quality of Software Architectures and Software Quality: Proc. 2nd International Workshop on Software Quality (SOQUA), ISBN: 978-3-540-29033-9 978-3-540-32056-2, pp. 271-288, 2005
Ladislav Sobr, Petr Tůma:
SOFAnet: Middleware for Software Distribution over Internet, in Proc. 12th IEEE/IPSJ International Symposium on Applications and the Internet (SAINT),  ISBN: 978-0-7695-2262-3, pp. 48-53
DOI: 10.1109/SAINT.2005.60, 2005
Paul Brebner, Emmanuel Cecchet, Julie Marguerite, Petr Tůma, Octavian Ciuhandu, Bruno Dufour, Lieven Eeckhout, Stéphane Frénot, Arvind S. Krishna, John Murphy, Clark Verbrugge:
Middleware Benchmarking: Approaches, Results, Experiences, in Concurrency and Computation: Practice and Experience 17(15),  pp. 1799-1805
DOI: 10.1002/cpe.918, 2005
Lubomír Bulej, Tomáš Kalibera, Petr Tůma:
Repeated Results Analysis for Middleware Regression Benchmarking, in Performance Evaluation 60(1–4),  pp. 345-358
DOI: 10.1016/j.peva.2004.10.013, 2005
Tomáš Kalibera, Lubomír Bulej, Petr Tůma:
Generic Environment for Full Automation of Benchmarking, in Proc. 1st International Workshop on Software Quality (SOQUA),  ISBN: 3-88579-387-3, pp. 125–132, 2004
Petr Hnětynka, Petr Tůma:
Fighting Class Name Clashes in Java Component Systems (Short Paper), in Modular Programming Languages: Proc. 6th Joint Modular Languages Conference (JMLC), ISBN: 978-3-540-40796-6 978-3-540-45213-3, pp. 106-109, 2003
Petr Tůma, Adam Buble:
Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN),  , 2002
Tomáš Kalibera, Petr Tůma:
Distributed Component System Based on Architecture Description: The SOFA Experience, in On the Move to Meaningful Internet Systems: Proc. 4th International Symposium on Distributed Objects and Applications (DOA), ISBN: 978-3-540-00106-5 978-3-540-36124-4, pp. 981-994, 2002
Gordon S. Blair, Lynne Blair, Valérie Issarny, Petr Tůma, Apostolos Zarras:
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms, in Proc. 2nd IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (MIDDLEWARE), ISBN: 978-3-540-67352-1 978-3-540-45559-2, pp. 164-184, 2000
Petr Tůma, Valerie Issarny, Apostolos Zarras:
Towards Systematic Synthesis of Reflective Middleware (Short Paper), in Meta-Level Architectures and Reflection: Proc. 2nd International Conference on Meta-Level Architectures and Reflection (REFLECTION), ISBN: 978-3-540-66280-8 978-3-540-48443-1, pp. 144-146, 1999
Pekka Kähkipuro, Adam Buble, Anil Gopinath, Arvind Kaushal, Chanaka Liyanaarachchi, Clark Readler, David Flater, Douglas Niehaus, Francesco Caruso, František Plášil, Kimmo Raatikainen, Louis-François Pau, Madeleine Chung, Petr Tůma, Sridhar Nimmagadda, Steve Tockey:
OMG Benchmark PSIG White Paper on Benchmarking, Technical report no. bench/99-12-01, OMG, , 1999
František Plášil, Petr Tůma, Adam Buble:
CORBA Benchmarking, Technical report no. 98/7, Charles University, , 1998
Petr Tůma:
Persistence in CORBA, Doctoral Thesis, Charles University , 1997
Jan Kleindienst, František Plášil, Petr Tůma:
What We Are Missing in the Persistent Object Service Specification, Technical report no. , Charles University, , 1996
Jan Kleindienst, František Plášil, Petr Tůma:
Lessons Learned from Implementing the CORBA Persistent Object Service, in ACM SIGPLAN Notices 31(10),  pp. 150–167
DOI: 10.1145/236338.236351, 1996
Jan Kleindienst, František Plášil, Petr Tůma:
CORBA and Object Services (Invited Paper), in Theory and Practice of Informatics: Proc. 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM), ISBN: 978-3-540-61994-9 978-3-540-49588-8, pp. 74-93, 1996
Petr Tůma:
Návrh a implementace IP routeru pro dialup, Master Thesis, Czech Technical University , 1994