SPLASH 2016 (series) / WODA 2016 (series) /
WODA 2016 Program
This is the WODA 2016 program - see the full program for SPLASH 2016 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Session 1WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
08:30 45mTalk | Feedback-Directed Instrumentation for Deployed JavaScript Applications WODA Frank Tip Samsung Research America | ||
09:15 45mTalk | JavaScript in the Small WODA Cole Schlesinger Samsung Research America |
10:30 - 12:10 | Session 2WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
10:30 33mTalk | Inferring test oracles from the Javadoc documentation WODA Alessandra Gorla IMDEA Software Institute | ||
11:03 33mTalk | The high-interest credit card of runtime enforcement WODA Ben Livshits Microsoft Research | ||
11:36 33mTalk | Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications WODA Steven Arzt TU Darmstadt, Germany |
13:30 - 15:10 | Session 3WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
13:30 50mTalk | Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation WODA Ben Liblit University of Wisconsin–Madison | ||
14:20 50mTalk | What’s going on in the heap? WODA Sam Guyer Tufts University |
15:40 - 17:20 | Session 4WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
15:40 50mTalk | Metamorphic Testing for Compilers and Program Analysers WODA Alastair F. Donaldson Imperial College London | ||
16:30 50mTalk | From Soundiness to Soundness WODA Yannis Smaragdakis University of Athens |