45 citations · 68 across the 19 of their papers we have counts for
3 papers · 1 filter
Differential Performance Debugging with Discriminant Regression Trees
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +1
Differential performance debugging is a technique to find performance problems. It applies in situations where the performance of a program is (unexpectedly) different for differen…
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems
Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi +2
A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables…
Discriminating Traces with Time
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +2
What properties about the internals of a program explain the possible differences in its overall running time for different inputs? In this paper, we propose a formal framework for…