POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sun 14 Jan 2024 09:22 - 09:45 at Mountbatten Exhibition - Session 1 Chair(s): Matthew J. Parkinson

Sun 14 Jan

Displayed time zone: London change

09:00 - 10:30
Session 1O'Hearn Fest at Mountbatten Exhibition
Chair(s): Matthew J. Parkinson Microsoft Azure Research
09:00
22m
Talk
Introduction
O'Hearn Fest
Azalea Raad Imperial College London, Jules Villard Meta
09:22
22m
Talk
Peter's early work on parametricity, and why it still matters to me
O'Hearn Fest
Hongseok Yang KAIST; IBS
09:45
22m
Talk
Strong vs. weak separating conjunction in CSL
O'Hearn Fest
10:07
22m
Talk
Verified Software at Scale
O'Hearn Fest
Philippa Gardner Imperial College London