Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter O'Hearn
conf.researchr.org general profile
ECOOP 2016 profile
ICSE 2020 profile
ICSE 2022 profile
PLDI 2020 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2019 profile
POPL 2020 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Thu 24 May 2018
Name:
Peter O'Hearn
Affiliation:
Facebook
Personal website:
http://www0.cs.ucl.ac.uk/staff/p.ohearn/
Contributions
2023
POPL
Author of Incorrectness Logic and Under-approximation: Foundations of Bug Catching within the TutorialFest-track
2022
ICSE
Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
2020
ICSE
Author of Formal Reasoning and the Hacker Way within the ICSE 2020 Plenary Sessions-track
SOAP
Keynote Speaker in Keynote Speakers within the SOAP 2020-track
POPL
Author of Incorrectness Logic within the Research Papers-track
HASE
Speaker of Interactive Knowledge Shares within the HASE 2020-track
ADSL
Committee Member in Program Committee within the ADSL 2020-track
2019
POPL
Committee Member in Program Committee within the Research Papers-track
Session Chair of Welcome & Keynote I (part of Research Papers)
2017
PLDI
Tutorial organizer of Building your own modular static analyzer with Facebook Infer within the PLDI Tutorials-track
2016
CurryOn
Speaker of Move Fast to Fix More Things within the CurryOn -track
Share
x
Sat 21 Dec 17:02