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

Jade Alglave is a Professor of Computer Science at University College London and a Fellow at Arm, where she leads the Architecture Formal Team. This team is responsible in particular for the maintenance and enhancement of the Arm memory model (https://developer.arm.com/herd7).

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