Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 11:15 - 11:35 at Cavendish - WODA Chair(s): Jeff Huang, Ben Livshits

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
10:30
45m
Talk
Strong Memory Models: 5 Simple Tricks to Beat SC
WODA
Milind Kulkarni Purdue University
11:15
20m
Talk
Constructing Dynamic Control Flow Graphs from Execution Traces
WODA
Jesse Bartels , Jon Stephens , Saumya Debray University of Arizona
11:35
20m
Talk
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