POPL 2017
Sun 15 - Sat 21 January 2017
Mon 16 Jan 2017 14:00 - 14:30 at Salle 116, Barre 44-54 - Testing and Games

Mon 16 Jan

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

14:00 - 15:30
Testing and GamesPADL at Salle 116, Barre 44-54
14:00
30m
Talk
Failing Faster: Overlapping Patterns for Property-Based Testing
PADL
Jonathan Fowler University of Nottingham, Graham Hutton University of Nottingham
14:30
30m
Talk
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
PADL
Maciej Bendkowski Jagiellonian University, Katarzyna Grygiel Jagiellonian University, Paul Tarau University of North Texas
15:00
30m
Talk
Selection Equilibria of Higher-Order Games
PADL
Paulo Oliva Queen Mary University of London, Jules Hedges University of Oxford, Viktor Winschel ETH Zürich, Philipp Zahn University of St. Gallen, Evguenia Shprits University of Mannheim