Follow
Peter O'Hearn
Title
Cited by
Cited by
Year
Local reasoning about programs that alter data structures
P O’Hearn, J Reynolds, H Yang
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001
10772001
Resources, concurrency, and local reasoning
PW O’hearn
Theoretical Computer Science 375 (1), 271-307, 2007
9442007
BI as an assertion language for mutable data structures
SS Ishtiaq, PW O'hearn
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
8992001
The logic of bunched implications
PW O'Hearn, DJ Pym
Bulletin of Symbolic Logic 5 (2), 215-244, 1999
7211999
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
6702011
Smallfoot: Modular automatic assertion checking with separation logic
J Berdine, C Calcagno, PW O’hearn
Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006
5332006
Permission accounting in separation logic
R Bornat, C Calcagno, P O'Hearn, M Parkinson
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
5152005
A local shape analysis based on separation logic
D Distefano, PW O’hearn, H Yang
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
4452006
Symbolic execution with separation logic
J Berdine, C Calcagno, PW O’hearn
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
4442005
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ...
NASA Formal Methods Symposium, 3-11, 2015
3712015
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
3472007
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
3182008
Separation and information hiding
PW O'Hearn, H Yang, JC Reynolds
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
3152004
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
2912007
A decidable fragment of separation logic
J Berdine, C Calcagno, PW O’hearn
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005
2842005
Abstraction for concurrent objects
I Filipović, P O’Hearn, N Rinetzky, H Yang
Theoretical Computer Science 411 (51), 4379-4398, 2010
2142010
Computability and complexity results for a spatial assertion language for data structures
C Calcagno, H Yang, PW O’hearn
FST TCS 2001: Foundations of Software Technology and Theoretical Computer …, 2001
2112001
Possible worlds and resources: the semantics of BI
DJ Pym, PW O'Hearn, H Yang
Theoretical Computer Science 315 (1), 257-305, 2004
2022004
Scaling static analyses at Facebook
D Distefano, M Fähndrich, F Logozzo, PW O'Hearn
Communications of the ACM 62 (8), 62-70, 2019
1932019
A semantic basis for local reasoning
H Yang, P O’Hearn
International Conference on Foundations of Software Science and Computation …, 2002
1932002
The system can't perform the operation now. Try again later.
Articles 1–20