Travelled to:1 × Austria
1 × Canada
1 × Czech Republic
1 × Denmark
1 × Germany
1 × Japan
1 × Korea
1 × Poland
2 × Spain
3 × United Kingdom
4 × France
5 × Italy
7 × USA
Collaborated with:∅ H.Yang C.Calcagno D.Distefano B.Cook N.Gorogiannis S.S.Ishtiaq J.Berdine J.C.Reynolds M.J.Parkinson R.Bornat I.Sergey A.P.Black J.G.Riecke R.D.Tennent S.Brookes U.S.Reddy M.I.Kanovich I.Filipovic N.Rinetzky S.Blackshear H.Y.Chen C.Fuhs K.Nimkar A.Chawdhary O.Lee T.Wies
Talks about:logic (11) separ (9) analysi (8) shape (7) local (6) abstract (5) resourc (4) program (4) reason (4) structur (3)
Person: Peter W. O'Hearn
DBLP: O'Hearn:Peter_W=
Contributed to:
2015
2014
20142012
2011
2010
20092009
2008
2008
20082007
2007200720072007200620062006200520042004
2002200120012001
2000
199919941993
201820192020Wrote 36 papers:
- LICS-2015-OHearn #category theory #facebook #logic
- From Categorical Logic to Facebook Engineering (PWO), pp. 17–20.
- POPL-2014-BrookesOR
- The essence of Reynolds (SB, PWO, USR), pp. 251–256.
- TACAS-2014-ChenCFNO #proving #safety
- Proving Nontermination via Safety (HYC, BC, CF, KN, PWO), pp. 156–171.
- POPL-2012-BlackO #hoare #perspective
- Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview (APB, PWO), pp. 1–2.
- SAS-2011-GorogiannisKO #abduction #abstraction #complexity
- The Complexity of Abduction for Separated Heap Abstractions (NG, MIK, PWO), pp. 25–42.
- CSL-2010-OHearn #abduction #deduction #induction #reasoning
- Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.
- ESOP-2009-FilipovicORY #abstraction #concurrent
- Abstraction for Concurrent Objects (IF, PWO, NR, HY), pp. 252–266.
- POPL-2009-CalcagnoDOY #analysis #composition
- Compositional shape analysis by means of bi-abduction (CC, DD, PWO, HY), pp. 289–300.
- CAV-2008-OHearn #logic #tutorial
- Tutorial on Separation Logic (PWO), pp. 19–21.
- CAV-2008-YangLBCCDO #analysis #scalability
- Scalable Shape Analysis for Systems Code (HY, OL, JB, CC, BC, DD, PWO), pp. 385–398.
- ICLP-2008-OHearn #logic #tutorial
- Separation Logic Tutorial (PWO), pp. 15–21.
- LOPSTR-2008-CalcagnoDOY
- Space Invading Systems Code (CC, DD, PWO, HY), pp. 1–3.
- CAV-2007-BerdineCCDOWY #analysis #data type
- Shape Analysis for Composite Data Structures (JB, CC, BC, DD, PWO, TW, HY), pp. 178–192.
- ISMM-2007-OHearn #concurrent #logic #resource management
- Separation logic and concurrent resource management (PWO), p. 1.
- LICS-2007-CalcagnoOY #logic
- Local Action and Abstract Separation Logic (CC, PWO, HY), pp. 366–378.
- POPL-2007-BerdineCCDO #analysis
- Variance analyses from invariance analyses (JB, AC, BC, DD, PWO), pp. 211–224.
- POPL-2007-ParkinsonBO #composition #stack #verification
- Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.
- SAS-2007-CalcagnoDOY #analysis
- Footprint Analysis: A Shape Analysis That Discovers Preconditions (CC, DD, PWO, HY), pp. 402–418.
- CAV-2006-BerdineCDO #automation #proving #source code #termination
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps (JB, BC, DD, PWO), pp. 386–400.
- SAS-2006-CalcagnoDOY #abstraction #pointer #reachability
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.
- SAS-2006-OHearn #logic #program analysis
- Separation Logic and Program Analysis (PWO), p. 181.
- TACAS-2006-DistefanoOY #analysis #logic
- A Local Shape Analysis Based on Separation Logic (DD, PWO, HY), pp. 287–302.
- POPL-2005-BornatCOP #logic
- Permission accounting in separation logic (RB, CC, PWO, MJP), pp. 259–270.
- ESOP-2004-OHearn #concurrent #reasoning
- Resources, Concurrency, and Local Reasoning (PWO), pp. 1–2.
- POPL-2004-OHearnYR #information management
- Separation and information hiding (PWO, HY, JCR), pp. 268–280.
- FoSSaCS-2002-YangO #reasoning #semantics
- A Semantic Basis for Local Reasoning (HY, PWO), pp. 402–416.
- CSL-2001-OHearnRY #data type #reasoning #source code
- Local Reasoning about Programs that Alter Data Structures (PWO, JCR, HY), pp. 1–19.
- FoSSaCS-2001-CalcagnoO #logic #on the
- On Garbage and Program Logic (CC, PWO), pp. 137–151.
- POPL-2001-IshtiaqO #data type
- BI as an Assertion Language for Mutable Data Structures (SSI, PWO), pp. 14–26.
- PPDP-2000-CalcagnoIO #alias #analysis #hoare #logic #pointer #semantics
- Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292 (CC, SSI, PWO), pp. 190–201.
- TLCA-1999-OHearn #λ-calculus
- Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.
- ESOP-1994-OHearnR #morphism #parametricity #polymorphism
- Fully Abstract Translations and Parametric Polymorphism (PWO, JGR), pp. 454–468.
- POPL-1993-OHearnT #parametricity #relational
- Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.
- OOPSLA-2018-BlackshearGOS #composition #concurrent #detection #named
- RacerD: compositional static race detection (SB, NG, PWO, IS), p. 28.
- POPL-2019-GorogiannisOS #detection #theorem
- A true positives theorem for a static race detector (NG, PWO, IS), p. 29.
- POPL-2020-OHearn #logic
- Incorrectness logic (PWO), p. 32.