SPLASH 2017 (series) / WODA 2017 (series) /
WODA 2017 Program
This is the WODA 2017 program - see the full program for SPLASH 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
Mon 23 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
08:30 45mTalk | Forget the Garbagemen, We Need a Plumber WODA Emery D. Berger University of Massachusetts, Amherst | ||
09:15 45mTalk | Pushing Predictive Data Race Detection to the Limit WODA Michael D. Bond Ohio State University |
10:30 - 12:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
10:30 45mTalk | Strong Memory Models: 5 Simple Tricks to Beat SC WODA Milind Kulkarni Purdue University | ||
11:15 20mTalk | Constructing Dynamic Control Flow Graphs from Execution Traces WODA | ||
11:35 20mTalk | Dynamic Verification of Inter-parameter Constraints in Web Applications WODA Nathalie Oostvogels , Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel |
13:30 - 15:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
13:30 45mTalk | Finding Bugs and Insights in Semi-structured Data WODA Benjamin Zorn Microsoft Research | ||
14:15 45mTalk | Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability WODA Harry Xu University of California, Irvine |
15:30 - 17:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
15:30 30mTalk | Model Checking with Maximal Causality Reduction WODA Jeff Huang Texas A&M University | ||
16:00 30mTalk | Better Program Analysis Through Heap Profiling WODA | ||
16:30 30mTalk | Can Analysis be Too Precise? WODA Sam Guyer Tufts University |