• Sign in
  • Sign up
conf.researchr.org / Peter W. O'Hearn
  • ICSE 2020 profile
  • PLDI 2020 profile
  • POPL 2019 profile
  • SPLASH 2018 profile

Registered user since Fri 29 May 2020

Name: Peter W. O’Hearn

Affiliation: Facebook and University College London

Contributions

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

Share
xSun 28 Feb 20:39
using conf.researchr.org (v1.42.1)
Support page
Sign Up