Peter W. O'Hearn

Identifiers

• name variant Peter W. O'Hearn 0.60 · backfill

Papers (2)

1. A True Positives Theorem for a Static Race Detector - Extended Version cs.PL · 2018 · author #2
2. Verification Condition Generation and Variable Conditions in Smallfoot cs.LO · 2012 · author #3

Mentions

• 1204.4804 #3 · backfill · confidence 0.70 Peter W. O'Hearn

Frequent Coauthors

• Cristiano Calcagno 1 shared papers
• Ilya Sergey 1 shared papers
• Josh Berdine 1 shared papers
• Nikos Gorogiannis 1 shared papers