Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter W. O'Hearn
conf.researchr.org general profile
ICSE 2020 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2024 profile
POPL 2019 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2018 profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Fri 29 May 2020
Name:
Peter W. O'Hearn
Country:
United Kingdom
Affiliation:
Lacework; University College London
Contributions
2024
SPLASH
Author of Non-Termination Proving at Scale within the OOPSLA 2024-track
N40AI
Invited Speaker of AI for the People within the N40AI 2024-track
Formal Methods for Incorrectness
Invited Speaker of My Journey to the Dark Side: Under-Approximation, Incorrectness, Proof within the Incorrectness-track
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
x
Wed 18 Dec 15:46