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

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

15:30 - 17:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
15:30
30m
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff Huang Texas A&M University
16:00
30m
Talk
Better Program Analysis Through Heap Profiling
WODA
16:30
30m
Talk
Can Analysis be Too Precise?
WODA
Sam Guyer Tufts University