Peter O'Hearn
TitleCited byYear
Local reasoning about programs that alter data structures
P O’Hearn, J Reynolds, H Yang
International Workshop on Computer Science Logic, 1-19, 2001
7942001
BI as an assertion language for mutable data structures
SS Ishtiaq, PW O'hearn
ACM SIGPLAN Notices 36 (3), 14-26, 2001
7312001
Resources, concurrency, and local reasoning
PW O’hearn
Theoretical Computer Science 375 (1), 271-307, 2007
6692007
The logic of bunched implications
PW O'Hearn, DJ Pym
Bulletin of Symbolic Logic 5 (2), 215-244, 1999
5501999
Compositional shape analysis by means of bi-abduction
C Calcagno, D Distefano, PW O’hearn, H Yang
Journal of the ACM (JACM) 58 (6), 26, 2011
4442011
Smallfoot: Modular automatic assertion checking with separation logic
J Berdine, C Calcagno, PW O’hearn
International Symposium on Formal Methods for Components and Objects, 115-137, 2005
4242005
Permission accounting in separation logic
R Bornat, C Calcagno, P O'Hearn, M Parkinson
ACM SIGPLAN Notices 40 (1), 259-270, 2005
3982005
A local shape analysis based on separation logic
D Distefano, PW O’hearn, H Yang
International Conference on Tools and Algorithms for the Construction and …, 2006
3742006
Symbolic execution with separation logic
J Berdine, C Calcagno, PW O’hearn
Asian Symposium on Programming Languages and Systems, 52-68, 2005
3432005
Separation and information hiding
PW O'Hearn, H Yang, JC Reynolds
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 11, 2009
3352009
Scalable shape analysis for systems code
H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn
International Conference on Computer Aided Verification, 385-398, 2008
2862008
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
International Conference on Computer Aided Verification, 178-192, 2007
2592007
Local action and abstract separation logic
C Calcagno, PW O'Hearn, H Yang
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 366-378, 2007
2432007
A decidable fragment of separation logic
J Berdine, C Calcagno, PW O’hearn
International Conference on Foundations of Software Technology and …, 2004
2162004
Computability and complexity results for a spatial assertion language for data structures
C Calcagno, H Yang, PW O’hearn
International Conference on Foundations of Software Technology and …, 2001
1662001
Possible worlds and resources: the semantics of BI
DJ Pym, PW O'Hearn, H Yang
Theoretical Computer Science 315 (1), 257-305, 2004
1652004
A semantic basis for local reasoning
H Yang, P O’Hearn
International Conference on Foundations of Software Science and Computation …, 2002
1612002
Parametricity and local variables
PW O’Hearn, RD Tennent
Algol-like Languages, 109-163, 1997
1591997
Abstraction for concurrent objects
I Filipović, P O’Hearn, N Rinetzky, H Yang
Theoretical Computer Science 411 (51), 4379-4398, 2010
1532010
Automatic termination proofs for programs with shape-shifting heaps
J Berdine, B Cook, D Distefano, PW O’hearn
International Conference on Computer Aided Verification, 386-400, 2006
1382006
The system can't perform the operation now. Try again later.
Articles 1–20