POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 18:45 - 19:05 at Salle 105, Barre 44-54 - Session 6 Chair(s): Hongseok Yang

Tue 17 Jan

pps-2017
18:15 - 19:15: PPS - Session 6 at Salle 105, Barre 44-54
Chair(s): Hongseok YangUniversity of Oxford
pps-201718:15 - 18:35
Talk
Ernie CohenAmazon Web Services
pps-201718:35 - 18:45
Meeting
pps-201718:45 - 19:05
Talk
Edwin WestbrookGalois, Inc., Chad ScherrerGalois, Inc., Nathan CollinsGalois, Inc., Eric MertensGalois, Inc.
pps-201719:05 - 19:15
Meeting