WODA2008 Program

Also available as a single PDF page or an iCal calendar (subscribe or download).

See the ACM Digital Library for complete proceedings, including full copies of all papers.

Monday, July 21, 2008

9:00 – 9:05 Workshop Introduction [slides]

WODA 2008 Chairs: B. Liblit (University of Wisconsin–Madison), A. Rountev (Ohio State University)

9:05 – 10:35 Session 1: Program Understanding

session chair: Atanas Rountev

Dynamic Detection of Event Handlers [slides] [paper]
S. Reiss (Brown University)
Feature-level Phase Detection for Execution Trace Using Object Cache [slides] [paper]
Y. Watanabe, T. Ishio, K. Inoue (Osaka University)
A Dynamic Tool for Finding Redundant Computations in Native Code [slides] [paper]
K. Lee, Z. Benaissa, J. Rodriguez (Intel)

10:35 – 11:00 Coffee break

11:00 – 12:30 Session 2: Testing

session chair: Andy Podgurski

Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration [slides] [paper]
A. Groce, R. Joshi (Jet Propulsion Laboratory)
Testing Mobile Computing Applications: Toward a Scenario Language and Tools [slides] [paper]
M. D. Nguyen, H. Waeselynck, N. Rivière (LAAS-CNRS and University of Toulouse)
BERT: BEhavioral Regression Testing [slides] [paper]
A. Orso (Georgia Institute of Technology), T. Xie (North Carolina State University)

12:30 – 2:00 Lunch

2:00 – 3:30 Session 3: Inferring and Checking of Run-time Constraints

session chair: Ben Liblit

Efficient Runtime Invariant Checking: A Framework and Case Study [slides] [paper]
M. Gorbovitski, T. Rothamel, Y. A. Liu, S. Stoller (Stony Brook University)
Mining Past-Time Temporal Rules from Execution Traces [slides] [paper]
D. Lo, S.-C. Khoo (National University of Singapore), C. Liu (Microsoft Research)
Extending Dynamic Constraint Detection with Disjunctive Constraints [slides] [paper]
N. Kuzmina, J. Paul, R. Gamboa, J. Caldwell (University of Wyoming)

3:30 – 4:00 Coffee break

4:00 – 5:00 Session 4: Fault Localization

session chair: Adam Porter

An Observation-based Model for Fault Localization [slides] [paper]
R. Abreu, P. Zoeteweij, A. J. C. van Gemund (Delft University of Technology)
Replaying and Isolating Failing Multi-Object Interactions [slides] [paper]
M. Burger, A. Zeller (Universität des Saarlandes)

5:00 – 5:30 Discussion and wrap-up

6:15 Dinner

Join the WODA 2008 chairs for additional (possibly unscientific) discussion over dinner at McCormick's Fish House & Bar. We will meet in the main hotel lobby at 6:15 sharp and walk to the restuarant, located at 722 4th Avenue.