Peter O'Hearn -

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

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

	
		OSZAR »