POPL 2024 (series) / O'Hearn Fest (series) /
O'Hearn Fest Program
This is the O'Hearn Fest program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 JanDisplayed time zone: London change
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 22mTalk | Introduction O'Hearn Fest | ||
09:22 22mTalk | Peter's early work on parametricity, and why it still matters to me O'Hearn Fest Hongseok Yang KAIST; IBS | ||
09:45 22mTalk | Strong vs. weak separating conjunction in CSL O'Hearn Fest | ||
10:07 22mTalk | Verified Software at Scale O'Hearn Fest Philippa Gardner Imperial College London | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 22mTalk | Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic O'Hearn Fest Derek Dreyer MPI-SWS | ||
11:22 22mTalk | Bi-abductive adversarial program synthesis O'Hearn Fest Julien Vanegue Bloomberg, USA | ||
11:45 22mTalk | CSL and relaxed memory O'Hearn Fest Stephen Brookes CMU | ||
12:07 22mTalk | Is Peter Correct or Incorrect? O'Hearn Fest | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 22mTalk | Massive proofs for the masses O'Hearn Fest Byron Cook Amazon | ||
14:22 22mTalk | Designing Wait-free Weak Reference Counting O'Hearn Fest Matthew J. Parkinson Microsoft Azure Research | ||
14:45 22mTalk | 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 22mTalk | Peter, the May and the Must, and Lacework O'Hearn Fest Patrice Godefroid Lacework | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 22mTalk | Working with Peter O'Hearn in academia and industry O'Hearn Fest Mark Harman Meta Platforms, Inc. and UCL | ||
16:22 22mTalk | Pete's Footprints O'Hearn Fest Nick Benton Meta | ||
16:45 22mTalk | Symbolic Execution with Separating Decision Diagrams O'Hearn Fest Josh Berdine SkipLabs | ||
17:07 22mTalk | With Peter from Theory to Engineering O'Hearn Fest Dino Distefano Meta | ||
Mon 15 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||