conf.researchr.org / Peter W. O'Hearn

Registered user since Fri 29 May 2020

Name: Peter W. O’Hearn

Affiliation: Facebook and University College London

Contributions

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