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

Registered user since Fri 29 May 2020

Name:Peter W. O'Hearn
Country:United Kingdom
Affiliation:Meta; University College London

Contributions

2024

Formal Methods for Incorrectness

  • Committee Member in Program Committee within the Incorrectness-track

2022

SPLASH

  • Author of Finding real bugs in big programs with incorrectness logic within the OOPSLA-track

Infer

  • Author of Finding Real Bugs in Big Programs with Incorrectness Logic within the Infer 2022-track

POPL

  • Author of Concurrent Incorrectness Separation Logic within the POPL-track

CPP

  • Author of Applying Formal Verification to Microkernel IPC at Meta within the CPP 2022-track

2021

PLMW

  • Panelist of Panel on Career Paths within the PLMW@PLDI 2021-track

2020

ICSE

  • Author of Keynote within the ICSE 2020 Plenary Sessions-track

PLDI

  • Author of "Ask Me Anything" with Peter O’Hearn within the Ask Me Anything-track

SOAP

  • Keynote Speaker of Keynote: Formal Reasoning and the Hacker Way within the SOAP 2020-track

2019

POPL

  • Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track

2018

SPLASH

  • Author of RacerD: Compositional Static Race Detection within the OOPSLA-track
Share
xWed 4 Oct 22:18
using conf.researchr.org (v1.61.3)
Support page
Sign Up