POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 09:00 - 09:15 at Salle 107, Barre 44-54 - Session I Chair(s): Victor Vianu

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