A day of talks in celebration of Peter O’Hearn’s scientific and industrial work. Peter is a professor of Computer Science at University College London and an Engineering Director at Lacework. All are welcome, please register to the workshop if you are planning to attend.
Plenary
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 | ||
