POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sun 14 Jan 2024 16:22 - 16:45 at Mountbatten Exhibition - Session 4 Chair(s): Andy Adams-Moran

Sun 14 Jan

Displayed time zone: London change

16:00 - 17:30
16:00
22m
Talk
Working with Peter O'Hearn in academia and industry
O'Hearn Fest
Mark Harman Meta Platforms, Inc. and UCL
16:22
22m
Talk
Pete's Footprints
O'Hearn Fest
16:45
22m
Talk
Symbolic Execution with Separating Decision Diagrams
O'Hearn Fest
Josh Berdine SkipLabs
17:07
22m
Talk
With Peter from Theory to Engineering
O'Hearn Fest