Professor

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

Link bibtex
A. Prokopec, A. Rosà, D. Leopoldseder, G. Duboscq, P. Tůma, M. Studener, L. Bulej, Y. Zheng, A. Villazón, D. Simon, T. Würthinger, W. Binder:
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM (Extended Abstract), in Companion Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), pp. 11–12, 2019
ISBN: 978-1-4503-6992-3, DOI: 10.1145/3359061.3362778
Link bibtex
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
Link PDF bibtex
A. Prokopec, A. Rosà, D. Leopoldseder, G. Duboscq, P. Tůma, M. Studener, L. Bulej, Y. Zheng, A. Villazón, D. Simon, T. Würthinger, W. 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, 2019
DOI: 10.1145/3314221.3314637
Link bibtex
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
Link bibtex
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
Link bibtex
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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, pp. 1-49, 2016
DOI: 10.1007/s10515-015-0188-0
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
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
Link bibtex
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil, P. Tůma:
Formalization of Invariant Patterns for the Invariant Refinement Method, in Software, Services, and Systems, pp. 602-618, 2015
ISBN: 978-3-319-15544-9 978-3-319-15545-6
Link bibtex
H. Sun, Y. Zheng, L. Bulej, A. Villazón, Z. Qi, P. Tůma, W. Binder:
A Programming Model and Framework for Comprehensive Dynamic Analysis on Android, in Proc. 14th International Conference on Modularity (MODULARITY), pp. 133–145, 2015
ISBN: 978-1-4503-3249-1, DOI: 10.1145/2724525.2724566
Link bibtex
L. Marek, Y. Zheng, D. Ansaloni, L. Bulej, A. Sarimbekov, W. Binder, P. Tůma:
Introduction to Dynamic Program Analysis with DiSL, in Science of Computer Programming 98, Part 1, pp. 100-115, 2015
DOI: 10.1016/j.scico.2014.01.003
Link bibtex
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
Link bibtex
A. Sarimbekov, Y. Zheng, D. Ansaloni, L. Bulej, L. Marek, W. Binder, P. Tůma, Z. Qi:
Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance, in Science of Computer Programming 95, Part 3, pp. 344-358, 2014
DOI: 10.1016/j.scico.2014.03.014
Link bibtex
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
Link bibtex
H. Koziolek, S. Becker, J. Happe, P. Tůma, T. de Gooijer:
Towards Software Performance Engineering for Multicore and Manycore Systems, in SIGMETRICS Performance Evaluation Review 41(3), pp. 2–11, 2014
DOI: 10.1145/2567529.2567531
Link bibtex
T. Martinec, L. Marek, A. Steinhauser, P. Tůma, Q. Noorshams, A. Rentschler, R. Reussner:
Constructing Performance Model of JMS Middleware Platform, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 123–134, 2014
ISBN: 978-1-4503-2733-6, DOI: 10.1145/2568088.2568096
Link bibtex
Y. Zheng, H. Sun, L. Bulej, P. Tůma, W. 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), pp. 4–4, 2014
ISBN: 978-1-4503-2926-2, DOI: 10.1145/2655183.2655186
Link bibtex
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
Link bibtex
P. Tůma:
Performance Awareness (Keynote Paper), in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 135–136, 2014
ISBN: 978-1-4503-2733-6, DOI: 10.1145/2568088.2576097
Link bibtex
L. Marek, S. Kell, Y. Zheng, L. Bulej, W. Binder, P. Tůma, D. Ansaloni, A. Sarimbekov, A. Sewe:
ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform, in ACM SIGPLAN Notices 49(3), pp. 105–114, 2013
DOI: 10.1145/2637365.2517219
Link bibtex
D. Ansaloni, S. Kell, Y. Zheng, L. Bulej, W. Binder, P. 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), pp. 352-377, 2013
ISBN: 978-3-642-39037-1 978-3-642-39038-8
Link bibtex
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
Link bibtex
D. Ansaloni, W. Binder, C. Bockisch, E. Bodden, K. Hatun, L. Marek, Z. Qi, A. Sarimbekov, A. Sewe, P. Tůma, Y. Zheng:
Challenges for Refinement and Composition of Instrumentations (Position Paper), in Software Composition: Proc. 11th International Conference on Software Composition (SC), pp. 86-96, 2012
ISBN: 978-3-642-30563-4 978-3-642-30564-1
Link bibtex
L. Bulej, T. Bureš, J. Keznikl, A. Koubková, A. Podzimek, P. Tůma:
Capturing Performance Assumptions Using Stochastic Performance Logic, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 311–322, 2012
ISBN: 978-1-4503-1202-8, DOI: 10.1145/2188286.2188345
Link bibtex
Y. Zheng, D. Ansaloni, L. Marek, A. Sewe, W. Binder, A. Villazón, P. Tůma, Z. Qi, M. 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), pp. 353-368, 2012
ISBN: 978-3-642-30560-3 978-3-642-30561-0
Link bibtex
L. Marek, Y. Zheng, D. Ansaloni, W. Binder, Z. Qi, P. 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), pp. 27–28, 2012
ISBN: 978-1-4503-1128-1, DOI: 10.1145/2162037.2162046
Link bibtex
L. Marek, Y. Zheng, D. Ansaloni, A. Sarimbekov, W. Binder, P. Tůma, Z. 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), pp. 256-263, 2012
ISBN: 978-3-642-35181-5 978-3-642-35182-2
Link bibtex
V. Babka, P. Libič, T. Martinec, P. Tůma:
On the Accuracy of Cache Sharing Models, in Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 21–32, 2012
ISBN: 978-1-4503-1202-8, DOI: 10.1145/2188286.2188294
Link bibtex
V. Babka, P. Tůma:
Can Linear Approximation Improve Performance Prediction ?, in Computer Performance Engineering: Proc. 8th European Performance Engineering Workshop (EPEW), pp. 250-264, 2011
ISBN: 978-3-642-24748-4 978-3-642-24749-1
Link bibtex
V. Babka, P. 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), pp. 63-75, 2011
ISBN: 978-3-642-25928-9 978-3-642-25929-6
Link bibtex
V. Babka, P. Tůma, L. 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), pp. 3-19, 2010
ISBN: 978-3-642-13820-1 978-3-642-13821-8
Link bibtex
V. Babka, P. Tůma:
Investigating Cache Parameters of x86 Family Processors, in Computer Performance Evaluation and Benchmarking: Proc. 4th SPEC Benchmarking Workshop (SPEC), pp. 77-96, 2009
ISBN: 978-3-540-93798-2 978-3-540-93799-9
Link bibtex
P. Libič, P. Tůma, L. Bulej:
Issues in Performance Modeling of Applications with Garbage Collection, in Proc. 1st International Workshop on Quality of Service-Oriented Software Systems (QUASOSS), pp. 3–10, 2009
ISBN: 978-1-60558-709-7, DOI: 10.1145/1596473.1596477
Link bibtex
V. Babka, L. Bulej, M. Decky, V. Holub, P. Tůma:
Teaching Operating Systems: Student Assignments and the Software Engineering Perspective, in Proc. 30th International Conference on Software Engineering (ICSE) SEESE Workshop, pp. 71–78, 2008
ISBN: 978-1-60558-076-0, DOI: 10.1145/1370868.1370881
Link bibtex
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, P. Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
Link bibtex
L. Bulej, T. Bureš, T. Coupaye, M. Děcký, P. Ježek, P. Parízek, F. Plášil, T. Poch, N. Rivierre, O. Šerý, P. Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
Link bibtex
V. Babka, M. Děcký, P. Tůma:
Resource Sharing in Performance Models, in Formal Methods and Stochastic Models for Performance Evaluation: Proc. 4th European Performance Engineering Workshop (EPEW), pp. 245-259, 2007
ISBN: 978-3-540-75210-3 978-3-540-75211-0
Link bibtex
T. Kalibera, J. Lehotsky, D. Majda, B. Repcek, M. Tomcanyi, A. Tomecek, P. Tůma, J. Urban:
Automated Benchmarking and Analysis Tool, in Proc. 1st International Conference on Performance Evaluation Methodolgies and Tools (VALUETOOLS), 2006
ISBN: 978-1-59593-504-5, DOI: 10.1145/1190095.1190101
Link bibtex
T. Kalibera, P. 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), pp. 63-77, 2006
ISBN: 978-3-540-35362-1 978-3-540-35365-2
Link bibtex
P. Tůma:
Component and Middleware Performance (Summary Paper), in Studia Informatica Universalis 4(1), pp. 1-6, 2005
Link bibtex
L. Sobr, P. Tůma:
SOFAnet: Middleware for Software Distribution over Internet, in Proc. 12th IEEE/IPSJ International Symposium on Applications and the Internet (SAINT), pp. 48-53, 2005
ISBN: 978-0-7695-2262-3, DOI: 10.1109/SAINT.2005.60
Link bibtex
T. Kalibera, L. Bulej, P. 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), pp. 271-288, 2005
ISBN: 978-3-540-29033-9 978-3-540-32056-2
Link bibtex
P. Brebner, E. Cecchet, J. Marguerite, P. Tůma, O. Ciuhandu, B. Dufour, L. Eeckhout, S. Frénot, A. Krishna, J. Murphy, C. Verbrugge:
Middleware Benchmarking: Approaches, Results, Experiences, in Concurrency and Computation: Practice and Experience 17(15), pp. 1799-1805, 2005
DOI: 10.1002/cpe.918
Link bibtex
T. Kalibera, L. Bulej, P. 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, 2005
DOI: 10.1109/MASCOT.2005.18
bibtex
P. Tůma:
Component Middleware, Habilitation Thesis, Charles University, 2005
bibtex
T. Kalibera, L. Bulej, P. Tůma:
Benchmark Precision and Random Initial State, in Proc. International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), pp. 484–490, 2005
ISBN: 978-1-62276-350-4
Link bibtex
L. Bulej, T. Kalibera, P. Tůma:
Repeated Results Analysis for Middleware Regression Benchmarking, in Performance Evaluation 60(1–4), pp. 345-358, 2005
DOI: 10.1016/j.peva.2004.10.013
bibtex
T. Kalibera, L. Bulej, P. Tůma:
Generic Environment for Full Automation of Benchmarking, in Proc. 1st International Workshop on Software Quality (SOQUA), pp. 125–132, 2004
ISBN: 3-88579-387-3
Link bibtex
P. Hnětynka, P. Tůma:
Fighting Class Name Clashes in Java Component Systems (Short Paper), in Modular Programming Languages: Proc. 6th Joint Modular Languages Conference (JMLC), pp. 106-109, 2003
ISBN: 978-3-540-40796-6 978-3-540-45213-3
Link bibtex
T. Kalibera, P. 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), pp. 981-994, 2002
ISBN: 978-3-540-00106-5 978-3-540-36124-4
bibtex
P. Tůma, A. Buble:
Overview of CORBA Performance (Invited Paper), in Proc. 21. konference sdružení EurOpen.CZ (EUROPEN), 2002
Link bibtex
G. Blair, L. Blair, V. Issarny, P. Tůma, A. 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), pp. 164-184, 2000
ISBN: 978-3-540-67352-1 978-3-540-45559-2
Link bibtex
P. Tůma, V. Issarny, A. 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), pp. 144-146, 1999
ISBN: 978-3-540-66280-8 978-3-540-48443-1
bibtex
P. Kähkipuro, A. Buble, A. Gopinath, A. Kaushal, C. Liyanaarachchi, C. Readler, D. Flater, D. Niehaus, F. Caruso, F. Plášil, K. Raatikainen, L. Pau, M. Chung, P. Tůma, S. Nimmagadda, S. Tockey:
OMG Benchmark PSIG White Paper on Benchmarking, Technical report no. bench/99-12-01, OMG, 1999
PDF bibtex
F. Plášil, P. Tůma, A. Buble:
CORBA Benchmarking, Technical report no. 98/7, Charles University, 1998
bibtex
P. Tůma:
Persistence in CORBA, Doctoral Thesis, Charles University, 1997
Link bibtex
J. Kleindienst, F. Plášil, P. Tůma:
Lessons Learned from Implementing the CORBA Persistent Object Service, in ACM SIGPLAN Notices 31(10), pp. 150–167, 1996
DOI: 10.1145/236338.236351
PDF bibtex
J. Kleindienst, F. Plášil, P. Tůma:
What We Are Missing in the Persistent Object Service Specification, Technical report no. , Charles University, 1996
Link bibtex
J. Kleindienst, F. Plášil, P. 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), pp. 74-93, 1996
ISBN: 978-3-540-61994-9 978-3-540-49588-8
bibtex
P. Tůma:
Návrh a implementace IP routeru pro dialup, Master Thesis, Czech Technical University, 1994