Mon 26 Oct 2015 14:30 - 15:00 at Haselton 1 - Research Reports 2 Chair(s): Julian Dolby

Due to resource constraints, tracing production applications often results in incomplete data. Nevertheless, developers ideally want answers to queries about the program’s execution beyond data explicitly gathered. For example, a developer may ask whether a particular program statement executed during the run corresponding to a given failure report. In this work, we investigate the problem of determining whether each statement in a program executed, did not execute, or may have executed, given a set of (possibly-incomplete) observations. Using two distinct formalisms, we propose two solutions to this problem. The first formulation represents observations as regular languages, and computes intersections over these languages using finite-state acceptors. The second formulation encodes the problem as a set of Boolean constraints, and uses answer-set programming to solve the constraints.

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Research Reports 2WODA at Haselton 1
Chair(s): Julian Dolby IBM Research
13:30
30m
Talk
Ayudante: Identifying Undesired Variable Interactions
WODA
Irfan Ul Haq IMDEA Software Institute, Juan Caballero IMDEA Software Institute, Michael D. Ernst University of Washington
14:00
30m
Talk
Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
WODA
Peter Hofer Christian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz, David Gnedt Christian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz, Hanspeter Mössenböck Johannes Kepler University Linz
14:30
30m
Talk
Recovering Execution Data from Incomplete Observations
WODA
Peter Ohmann University of Wisconsin - Madison, David Bingham Brown University of Wisconsin - Madison, Ben Liblit University of Wisconsin–Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
Pre-print