POPL 2017
Sun 15 - Sat 21 January 2017
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Session IRDP at Salle 107, Barre 44-54
Chair(s): Victor Vianu UC San Diego
09:00
15m
Talk
Welcome
RDP
Nate Foster Cornell University, Mooly Sagiv Tel Aviv University, Victor Vianu UC San Diego
09:15
45m
Talk
Automatic Verification of Database-Centric Workflows
RDP
14:00 - 15:30
Session IIIRDP at Salle 107, Barre 44-54
Chair(s): Nate Foster Cornell University
14:00
45m
Talk
Synthesizing Data-parallel Programs
RDP
Aws Albarghouthi University of Wisconsin - Madison
14:45
45m
Talk
Cosette: A Solver for SQL Equivalences
RDP
Alvin Cheung University of Washington