Peter W. O’Hearn

1. Scaling static analyses at Facebook
   2019/07/24 by Dino Distefano, Manuel Fähndrich, Francesco Logozzo +1 · 3 citations
   Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Software System Performance and Reliability
2. Local Reasoning about Programs that Alter Data Structures
   2001/01/01 by Peter O’Hearn, Peter W. O’Hearn, John Reynolds +1 · 3 citations
   Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Compositional Shape Analysis by Means of Bi-Abduction
   2011/12/01 by Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn +1 · 4 citations
   Computer Science · #Software Engineering Research #Logic, programming, and type systems #Software Testing and Debugging Techniques
4. The essence of Reynolds
   2014/01/08 by Stephen Brookes, Peter W. O’Hearn, Uday S. Reddy · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms
5. Separation logic
   2019/01/28 by Peter W. O’Hearn · 2 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge