Peter W. O'Hearn

Artificial Intelligence · 2001–2015

A researcher in the Science corpus: 10 papers; trusts 20 researchers and is trusted by 20 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 27 citations into it; #5,125 of 35,345 by trust here, #9,968 by citations
• Computational Theory and Mathematics — 17 citations into it; #951 of 12,182 by trust here, #1,667 by citations
• Computer Networks and Communications — 16 citations into it; #1,525 of 9,886 by trust here, #3,862 by citations
• Hardware and Architecture — 14 citations into it; #1,119 of 1,551 by trust here, #1,153 by citations
• Software — 12 citations into it; #562 of 1,227 by trust here, #718 by citations
• Program Analysis & Verification — 10 citations into it; #58 of 301 by trust here, #116 by citations

Whom Peter W. O'Hearn trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. John C. Reynolds
2. Chandrasekhar Boyapati
3. John Tang Boyland
4. S. Brookes
5. Maged M. Michael
6. Robert Lee
7. Cristiano Calcagno
8. Iroon Polytechniou
9. Matthew J. Parkinson
10. Luca Cardelli

Who trusts Peter W. O'Hearn overall

1. Viktor Vafeiadis
2. Matthew J. Parkinson
3. Cristiano Calcagno
4. S. Brookes
5. Dino Distefano
6. Josh Berdine
7. Marc Brockschmidt
8. John C. Reynolds
9. Philippa Gardner
10. Hongseok Yang

Papers from Peter W. O'Hearn's perspective

Ordered by how strongly the researchers Peter W. O'Hearn trusts endorse each paper. Same corpus, a different order for every researcher.

1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Lazy abstraction
4. The pointer assertion logic engine (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Anytime, anywhere: modal logics for mobile ambients (ACM-SIGACT Symposium on Principles of Programming Languages)
6. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
7. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
8. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
9. Cooperating sequential processes
10. The ASTREÉ Analyzer

Their papers

• Local Reasoning about Programs that Alter Data Structures (2001) — 883 citations
• Resources, Concurrency and Local Reasoning (2004) — 801 citations
• Symbolic Execution with Separation Logic (2005) — 370 citations
• Permission accounting in separation logic (2005) — 454 citations
• BI as an assertion language for mutable data structures (2011) — 597 citations
• Compositional shape analysis by means of bi-abduction (2009) — 469 citations
• A Local Shape Analysis Based on Separation Logic (2006) — 354 citations
• Moving Fast with Software Verification (2015) — 336 citations
• Local Action and Abstract Separation Logic (2007) — 296 citations
• Smallfoot: Modular Automatic Assertion Checking with Separation Logic (2005) — 424 citations