VLDB 2026 Research / reviewers in the wild / expert
Vojtech Horký
dblp:121/2896
· DBLP profile ↗
12ranked-venue papers
3as first author
2since 2021 · last 2023
0000-0003-2146-160XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 11 · 3 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 2 since 2021Systems, architecture and hardware · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Early Stopping of Non-productive Performance Testing Experiments Using Measurement MutationsabstractModern software projects often incorporate some form of performance testing into their development cycle, intending to detect changes in performance between commits or releases. Performance testing generally relies on experimental evaluation using various benchmark workloads. To detect performance changes reliably, benchmarks must be executed many times to account for variability in the measurement results. While considered best practice, this approach can become prohibitively expensive when the number of versions and benchmark workloads increases. To alleviate the cost of performance testing, we propose an approach for the early stopping of non-productive experiments that are unlikely to detect a performance bug in a particular benchmark. The stopping conditions are based on benchmark-specific thresholds determined from historical data modified to emulate the potential effects of software changes on benchmark performance. We evaluate the approach on the GraalVM benchmarking project and show that it can eliminate about 50% of the experiments if we can afford to ignore about 15% of the least significant performance changes. Milad Abdullah, Lubomír Bulej, Tomás Bures, Vojtech Horký, Petr Tuma 0001 |
SEAA | 4 |
| 2022 | Reducing Experiment Costs in Automated Software Performance Regression DetectionabstractIn this position paper we formulate performance regression testing as an automated experimentation problem and focus on the problem of controlling the experiment so as to provide more computation time to experiments that are more likely to detect performance changes. Conversely, this requires detecting and stopping experiments early if they are unlikely to detect any performance changes. To this end, we present a method that uses results from previous performance testing experiments to predict the outcome of new experiments in early stages of their execution. Milad Abdullah, Lubomír Bulej, Tomás Bures, Petr Hnetynka, Vojtech Horký, Petr Tuma 0001 |
SEAA | 5 |
| 2020 | Duet Benchmarking: Improving Measurement Accuracy in the CloudabstractWe investigate the duet measurement procedure, which helps improve the accuracy of performance comparison experiments conducted on shared machines by executing the measured artifacts in parallel and evaluating their relative performance together, rather than individually. Specifically, we analyze the behavior of the procedure in multiple cloud environments and use experimental evidence to answer multiple research questions concerning the assumption underlying the procedure. We demonstrate improvements in accuracy ranging from 2.3x to 12.5x (5.03x on average) for the tested ScalaBench (and DaCapo) workloads, and from 23.8x to 82.4x (37.4x on average) for the SPEC CPU 2017 workloads. Lubomír Bulej, Vojtech Horký, Petr Tuma 0001, François Farquet, Aleksandar Prokopec |
ICPE | 2 |
| 2019 | Initial Experiments with Duet Benchmarking: Performance Testing Interference in the CloudabstractAccurate performance testing may require many measurements and therefore many machines to execute on. When many machines are needed, the cloud offers a tempting solution, however, measurements conducted in the cloud are generally considered unstable. In the context of comparing performance of two workloads, we propose a measurement procedure that improves accuracy by executing the workloads concurrently and using the measurements to filter outside interference. Depending on the platform used, experiments show average accuracy improvement ranging from 114% to 683% over sequential measurements on workloads running the ScalaBench suite with the Graal compiler. Lubomír Bulej, Vojtech Horký, Petr Tuma 0001 |
MASCOTS | 2 |
| 2017 | Unit Testing Performance in Java Projects: Are We There Yet?abstractAlthough methods and tools for unit testing of performance exist for over a decade, anecdotal evidence suggests unit testing of performance is not nearly as common as unit testing of functionality. We examine this situation in a study of GitHub projects written in Java, looking for occurrences of performance evaluation code in common performance testing frameworks. We quantify the use of such frameworks, identifying the most relevant performance testing approaches, and describe how we adjust the design of our SPL performance testing framework to follow these conclusions. Petr Stefan, Vojtech Horký, Lubomír Bulej, Petr Tuma 0001 |
ICPE | 2 |
| 2017 | Unit testing performance with Stochastic Performance Logic
Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Kotrc, Lukás Marek, Tomás Trojánek, Petr Tuma 0001 |
Autom. Softw. Eng. | 3 |
| 2016 | Analysis of Overhead in Dynamic Java Performance MonitoringabstractIn production environments, runtime performance monitoring is often limited to logging of high level events. More detailed measurements, such as method level tracing, tend to be avoided because their overhead can disrupt execution. This limits the information available to developers when solving performance issues at code level. One approach that reduces the measurement disruptions is dynamic performance monitoring, where the measurement instrumentation is inserted and removed as needed. Such selective monitoring naturally reduces the aggregate overhead, but also introduces transient overhead artefacts related to insertion and removal of instrumentation. We experimentally analyze this overhead in Java, focusing in particular on the measurement accuracy, the character of the transient overhead, and the longevity of the overhead artefacts. Vojtech Horký, Jaroslav Kotrc, Peter Libic, Petr Tuma 0001 |
ICPE | 1 |
| 2015 | Utilizing Performance Unit Tests To Increase Performance AwarenessabstractMany decisions taken during software development impact the resulting application performance. The key decisions whose potential impact is large are usually carefully weighed. In contrast, the same care is not used for many decisions whose individual impact is likely to be small -- simply because the costs would outweigh the benefits. Developer opinion is the common deciding factor for these cases, and our goal is to provide the developer with information that would help form such opinion, thus preventing performance loss due to the accumulated effect of many poor decisions. Vojtech Horký, Peter Libic, Lukás Marek, Antonín Steinhauser, Petr Tuma 0001 |
ICPE | 1 |
| 2015 | DOs and DON'Ts of Conducting Performance Measurements in JavaabstractThe tutorial aims at practitioners - researchers or developers - who need to execute small scale performance experiments in Java. The goal is to provide the attendees with a compact overview of some of the issues that can hinder the experiment or mislead the evaluation, and discuss the methods and tools that can help avoid such issues. The tutorial will examine multiple elements of the software execution stack that impact performance, including common virtual machine mechanisms (just-in-time compilation and garbage collection together with associated runtime adaptation), some operating system features (timers) and hardware (memory) - although the focus will be on Java, some of the take away points should apply even in a more general performance experiment context. Vojtech Horký, Peter Libic, Antonín Steinhauser, Petr Tuma 0001 |
ICPE | 1 |
| 2014 | Towards Performance-Aware Engineering of Autonomic Component Ensembles
Tomás Bures, Vojtech Horký, Michal Kit, Lukás Marek, Petr Tuma 0001 |
ISoLA (1) | 2 |
| 2014 | On the limits of modeling generational garbage collector performanceabstractGarbage collection is an element of many contemporary software platforms whose performance is determined by complex interactions and is therefore difficult to quantify and model. We investigate the difference between the behavior of a real garbage collector implementation and a simplified model on a selection of workloads, focusing on the accuracy achievable with particular input information (sizes, references, lifetimes). Our work highlights the limits of performance modeling of garbage collection and points out issues of existing evaluation tools that may lead to incorrect experimental conclusions. Peter Libic, Lubomír Bulej, Vojtech Horký, Petr Tuma 0001 |
ICPE | 3 |
| 2013 | Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paperabstractMobile cloud computing in the context of ad-hoc clouds brings new challenges when offloading computation from mobile devices. The management of application deployment needs to ensure that the offloading provides users with the expected benefits, but it suddenly needs to cope with a highly dynamic environment which lacks a central authority and in which computational nodes appear and disappear. Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl |
ICPE | 3 |