Matthew Parkinson

Permission accounting in separation logic

Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · 2005 · 370 citations

Computing, Computer Engineering, Computer Science +17

Separation logic and abstraction

Matthew Parkinson, Gavin Bierman · 2005 · 308 citations

Computing, Computer Science, Formal Methods +14

Concurrent abstract predicates

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner et al. · 2010 · 197 citations

Computing, Computer Science, Computer Systems +15

Views

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner et al. · 2013 · 158 citations

Computing, Computer Systems, Distributed Systems +16

Separation logic, abstraction and inheritance

Matthew Parkinson, Gavin Bierman · 2008 · 142 citations

Computing, Computer Science, Formal Methods +12