Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Wed 16 Jan 2019 09:00 - 09:05 at Sala I + II - Welcome & Keynote I Chair(s): Peter O'Hearn

Conference Day
Wed 16 Jan

Displayed time zone: Belfast change

09:00 - 10:05
Welcome & Keynote IResearch Papers at Sala I + II
Chair(s): Peter O'HearnFacebook
09:00
5m
Day opening
Welcome
Research Papers
Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Stephanie WeirichUniversity of Pennsylvania, USA
Media Attached
09:05
60m
Talk
Automated Fault-Finding and Fixing at Facebook
Research Papers
Mark HarmanFacebook and University College London
Media Attached