POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sun 14 Jan 2024 14:22 - 14:45 at Mountbatten Exhibition - Session 3 Chair(s): Nick Benton

Matthew Parkinson is a principal researcher at Microsoft in Cambridge, and is actively involved in the development of Project Verona and snmalloc. His research is focused around memory and concurrency safety. He has published papers ranging from formal verification to systems and language design.

Sun 14 Jan

Displayed time zone: London change

14:00 - 15:30
14:00
22m
Talk
Massive proofs for the masses
O'Hearn Fest
Byron Cook Amazon
14:22
22m
Talk
Designing Wait-free Weak Reference Counting
O'Hearn Fest
Matthew J. Parkinson Microsoft Azure Research
14:45
22m
Talk
Elegance and generosity are scientific values - And other things I've learned from Peter
O'Hearn Fest
Jade Alglave Arm and University College London
15:07
22m
Talk
Peter, the May and the Must, and Lacework
O'Hearn Fest