POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 14:45 - 15:30 at Salle 107, Barre 44-54 - Session III Chair(s): Nate Foster

Sat 21 Jan

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

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