Josh Berdine

Identifiers

• name variant Josh Berdine 0.60 · backfill

Papers (2)

1. Spatial Interpolants cs.LO · 2015 · author #2
2. Verification Condition Generation and Variable Conditions in Smallfoot cs.LO · 2012 · author #1

Mentions

• 1501.04100 #2 · backfill · confidence 0.70 Josh Berdine
• 1204.4804 #1 · backfill · confidence 0.70 Josh Berdine

Frequent Coauthors

• Aws Albarghouthi 1 shared papers
• Byron Cook 1 shared papers
• Cristiano Calcagno 1 shared papers
• Peter W. O'Hearn 1 shared papers
• Zachary Kincaid 1 shared papers