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

Registered user since Fri 29 May 2020

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

Contributions

SPLASH 2022 Author of Finding real bugs in big programs with incorrectness logic within the OOPSLA-track
Infer 2022 Author of Finding Real Bugs in Big Programs with Incorrectness Logic within the Infer 2022-track
POPL 2022 Author of Concurrent Incorrectness Separation Logic within the POPL-track
CPP 2022 Author of Applying Formal Verification to Microkernel IPC at Meta within the CPP 2022-track
PLMW@PLDI 2021 Panelist of Panel on Career Paths within the PLMW@PLDI 2021-track
ICSE 2020 Author of Keynote within the ICSE 2020 Plenary Sessions-track
PLDI 2020 Author of "Ask Me Anything" with Peter O’Hearn within the Ask Me Anything-track
SOAP 2020 Keynote Speaker of Keynote: Formal Reasoning and the Hacker Way within the SOAP 2020-track
POPL 2019 Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track
SPLASH 2018 Author of RacerD: Compositional Static Race Detection within the OOPSLA-track