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

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

18:15 - 19:15
Session 6 PPS at Salle 105, Barre 44-54
Chair(s): Hongseok Yang University of Oxford
18:15
20m
Talk
Reducing probabilistic choice to nondeterministic choice
PPS
Ernie Cohen Amazon Web Services
18:35
10m
Meeting
Discussion 10
PPS

18:45
20m
Talk
GraPPa: spanning the expressivity vs. efficiency continuum
PPS
Edwin Westbrook Galois, Inc., Chad Scherrer Galois, Inc., Nathan Collins Galois, Inc., Eric Mertens Galois, Inc.
19:05
10m
Meeting
Discussion 11
PPS