Peter W. O'Hearn
14 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Incorrectness logic
Peter W. O'Hearn (2019) · Proceedings of the ACM on Programming Languages
Separation logic
Peter W. O'Hearn (2019) · Communications of the ACM
Why separation logic works
David Pym et al. (2019) · Philosophy & Technology
Concurrent separation logic
Stephen Brookes et al. (2016) · ACM SIGLOG News
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
Peter W. O'Hearn (2012) · Software Safety and Security: Tools for Analysis and Verification
Local Action and Abstract Separation Logic
Cristiano Calcagno et al. (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Resources, concurrency, and local reasoning
Peter W. O'Hearn (2007) · Theoretical computer science
A Local Shape Analysis Based on Separation Logic
Dino Distefano et al. (2006) · Tools and Algorithms for the Construction and Analysis of Systems
Symbolic Execution with Separation Logic
Josh Berdine et al. (2005) · Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
A Decidable Fragment of Separation Logic
Josh Berdine et al. (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno et al. (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
BI as an assertion language for mutable data structures
Samin S. Ishtiaq et al. (2001) · 28th ACM Symposium on Principles of Programming Languages (POPL)
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn et al. (2001) · Computer Science Logic
The logic of bunched implications
Peter W. O'Hearn et al. (1999) · Bulletin of Symbolic Logic