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
Mon 23 Oct 2017
Rooms
Cavendish
Tracks
WODA
Badges
Nothing to filter
Your Program
Nothing to filter
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 | ||