Peter W. O'Hearn -

Registered user since Fri 29 May 2020

Name:Peter W. O'Hearn

Affiliation:Facebook and University College London

Contributions

PLMW@PLDI 2021	Panelist of Panel on Career Paths within the PLMW@PLDI 2021-track
SOAP 2020	Keynote Speaker of Keynote: Formal Reasoning and the Hacker Way within the SOAP 2020-track
PLDI 2020	Author of "Ask Me Anything" with Peter O’Hearn within the Ask Me Anything-track
POPL 2019	Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track
ICSE 2020	Author of Keynote within the ICSE 2020 Plenary Sessions-track
SPLASH 2018	Author of RacerD: Compositional Static Race Detection within the OOPSLA-track