Petr Tuma

Affiliations:
  • Charles University, Department of Distributed and Dependable Systems, Czech Republic


According to our database1, Petr Tuma authored at least 85 papers between 1996 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
GraalVM Compiler Benchmark Results Dataset (Data Artifact).
Proceedings of the Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract).
Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

Diagnosing Compiler Performance by Comparing Optimization Decisions.
Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations.
Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

2022
Reducing Experiment Costs in Automated Software Performance Regression Detection.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

2021
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing.
IEEE Trans. Software Eng., 2021

Context-tailored Workload Model Generation for Continuous Representative Load Testing.
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

2020
Database Traffic Interception for Graybox Detection of Stored and Context-Sensitive XSS.
CoRR, 2020

Duet Benchmarking: Improving Measurement Accuracy in the Cloud.
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

Renaissance: Benchmarking Suite for Parallel Applications on the JVM.
Proceedings of the Software Engineering 2020, 2020

2019
DjangoChecker: Applying extended taint tracking and server side parsing for detection of context-sensitive XSS flaws.
Softw. Pract. Exp., 2019

On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity.
CoRR, 2019

Renaissance: a modern benchmark suite for parallel applications on the JVM.
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Initial Experiments with Duet Benchmarking: Performance Testing Interference in the Cloud.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019

2018
Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

2017
Reprint of "Robust partial-load experiments with Showstopper".
Future Gener. Comput. Syst., 2017

Unit testing performance with Stochastic Performance Logic.
Autom. Softw. Eng., 2017

Unit Testing Performance in Java Projects: Are We There Yet?
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Do We Teach Useful Statistics for Performance Evaluation?
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

2016
Robust partial-load experiments with Showstopper.
Future Gener. Comput. Syst., 2016

Software Abstractions for Component Interaction in the Internet of Things.
Computer, 2016

Analysis of Overhead in Dynamic Java Performance Monitoring.
Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, 2016

Towards systematic live experimentation in software-intensive systems of systems.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

2015
Supporting Performance Awareness in Autonomous Ensembles.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015


Introduction to dynamic program analysis with DiSL.
Sci. Comput. Program., 2015

DOs and DON'Ts of Conducting Performance Measurements in Java.
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Utilizing Performance Unit Tests To Increase Performance Awareness.
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Estimating the Impact of Code Additions on Garbage Collection Overhead.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency.
Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

Formalization of Invariant Patterns for the Invariant Refinement Method.
Proceedings of the Software, 2015

A programming model and framework for comprehensive dynamic analysis on Android.
Proceedings of the 14th International Conference on Modularity, 2015

2014
Dynamic program analysis - Reconciling developer productivity and tool performance.
Sci. Comput. Program., 2014

Performance awareness: keynote abstract.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Constructing performance model of JMS middleware platform.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

On the limits of modeling generational garbage collector performance.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Comprehensive multi-platform dynamic program analysis for the Java and Dalvik virtual machines.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Showstopper: The Partial CPU Load Tool.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

Towards Performance-Aware Engineering of Autonomic Component Ensembles.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Automated Modeling of I/O Performance and Interference Effects in Virtualized Storage Systems.
Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014

2013
Towards software performance engineering for multicore and manycore systems.
SIGMETRICS Perform. Evaluation Rev., 2013

I/O Performance Modeling of Virtualized Storage Systems.
Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

ShadowVM: robust and comprehensive dynamic program analysis for the java platform.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

Performance Regression Unit Testing: A Case Study.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Productive Development of Dynamic Program Analysis Tools with DiSL.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012
Capturing performance assumptions using stochastic performance logic.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

On the accuracy of cache sharing models.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Challenges for Refinement and Composition of Instrumentations: Position Paper.
Proceedings of the Software Composition - 11th International Conference, 2012

A Non-Intrusive Read-Copy-Update for UTS.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

Performance Awareness in Component Systems: Vision Paper.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

DiSL: an extensible language for efficient and comprehensive dynamic program analysis.
Proceedings of the seventh workshop on Domain-Specific Aspect Languages, 2012

2011
Computer Memory: Why We Should Care What Is under the Hood.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Can Linear Approximation Improve Performance Prediction ?
Proceedings of the Computer Performance Engineering, 2011

2010
Validating Model-Driven Performance Predictions on Random Software Systems.
Proceedings of the Research into Practice, 2010

2009
Investigating Cache Parameters of x86 Family Processors.
Proceedings of the Computer Performance Evaluation and Benchmarking, 2009

Issues in performance modeling of applications with garbage collection.
Proceedings of the 1st international workshop on Quality of service-oriented software systems, 2009

On the Influence of Thread Allocation for Irregular Codes in NUMA Systems.
Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Timing penalties associated with cache sharing.
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

When Misses Differ: Investigating Impact of Cache Misses on Observed Performance.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

2008
Teaching operating systems: student assignments and the software engineering perspective.
Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008

2007
Streaming State Space: A Method of Distributed Model Verification.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Resource Sharing in Performance Models.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

CoCoME in SOFA.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoME in Fractal.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006
Automated benchmarking and analysis tool.
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

2005
Component and Middleware Performance.
Stud. Inform. Univ., 2005

Repeated results analysis for middleware regression benchmarking.
Perform. Evaluation, 2005

Middleware benchmarking: approaches, results, experiences.
Concurr. Comput. Pract. Exp., 2005

Quality Assurance in Performance: Evaluating Mono Benchmark Results.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

SOFAnet: Middleware for Software Distribution over Internet.
Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005

Automated Detection of Performance Regressions: The Mono Experience.
Proceedings of the 13th International Symposium on Modeling, 2005

2004
Generic Environment for Full Automation of Benchmarking.
Proceedings of the Testing of Component-Based Systems and Software Quality, 2004

Regression benchmarking with simple middleware benchmarks.
Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, 2004

2003
Fighting Class Name Clashes in Java Component Systems.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

CORBA Benchmarking: A Course with Hidden Obstacles.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Distributed Component System Based on Architecture Description: The SOFA Experience.
Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2000
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms.
Proceedings of the Middleware 2000, 2000

1999
Towards Systematic Synthesis of Reflective Middleware.
Proceedings of the Meta-Level Architectures and Reflection, 1999

1996
CORBA and Object Services.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Lessons Learned from Implementing the CORBA Persistent Object Service.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996


  Loading...