O'Hearn Fest
Wed 17 - Fri 19 January 2024 London, United Kingdom
co-located with POPL 2024

O'Hearn Fest Contributors

Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (18)

A
Adams-Moran, Andy
MetaUnited Kingdom
Session Chair of Session 4 (part of O'Hearn Fest)
Alglave, Jade
Arm and University College LondonUnited Kingdom
Elegance and generosity are scientific values - And other things I've learned from Peter
B
Benton, Nick
MetaUnited Kingdom
Session Chair of Session 3 (part of O'Hearn Fest)
Pete's Footprints
Berdine, Josh
SkipLabsUnited Kingdom
Symbolic Execution with Separating Decision Diagrams
Brookes, Stephen
CMU
CSL and relaxed memory
Brotherston, James
Strong vs. weak separating conjunction in CSL
C
Cook, Byron
AmazonUnited States
Massive proofs for the masses
Cousot, Patrick
Is Peter Correct or Incorrect?
D
Distefano, Dino
Meta
With Peter from Theory to Engineering
Dreyer, Derek
MPI-SWSGermany
Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic
G
Gardner, Philippa
Imperial College LondonUnited Kingdom
Verified Software at Scale
Godefroid, Patrice
Lacework
Peter, the May and the Must, and Lacework
H
Harman, Mark
Meta Platforms, Inc. and UCLUnited Kingdom
Working with Peter O'Hearn in academia and industry
P
Parkinson, Matthew J.
Microsoft Azure ResearchUnited Kingdom
Session Chair of Session 1 (part of O'Hearn Fest)
Designing Wait-free Weak Reference Counting
R
Raad, Azalea
Imperial College LondonUnited Kingdom
Introduction
Organizer in Program Committee within the O'Hearn Fest-track
V
Vanegue, Julien
Bloomberg, USAUnited States
Bi-abductive adversarial program synthesis
Villard, Jules
MetaUnited Kingdom
Introduction
Organizer in Program Committee within the O'Hearn Fest-track
Y
Yang, Hongseok
KAIST; IBSSouth Korea
Session Chair of Session 2 (part of O'Hearn Fest)
Peter's early work on parametricity, and why it still matters to me