Matthew J. Parkinson

Most-cited papers

Permission accounting in separation logic
R. Bornat, Cristiano Calcagno, P. O'Hearn, Matthew J. Parkinson
2005ACM-SIGACT Symposium on Principles of Programming Languages458 citations
Semantic Scholar
Separation logic and abstraction
Matthew J. Parkinson, G. Bierman
2005ACM-SIGACT Symposium on Principles of Programming Languages377 citations
Semantic Scholar
A Marriage of Rely/Guarantee and Separation Logic
V. Vafeiadis, Matthew J. Parkinson
2007International Conference on Concurrency Theory360 citations
Semantic Scholar
Concurrent Abstract Predicates
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson +1 more
2010European Conference on Object-Oriented Programming288 citations Open access
Semantic Scholar
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young, L. Birkedal, Philippa Gardner, Matthew J. Parkinson +1 more
2013ACM-SIGACT Symposium on Principles of Programming Languages197 citations
Semantic Scholar
Behavioral interface specification languages
J. Hatcliff, G. Leavens, K. R. M. Leino, P. Müller +1 more
2012CSUR192 citations
Semantic Scholar
Local reasoning for Java
Matthew J. Parkinson
2005160 citations
Semantic Scholar
Separation logic, abstraction and inheritance
Matthew J. Parkinson, G. Bierman
2008ACM-SIGACT Symposium on Principles of Programming Languages156 citations
Semantic Scholar
Uniqueness and reference immutability for safe parallelism
Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield +1 more
2012Conference on Object-Oriented Programming Systems, Languages, and Applications143 citations
Semantic Scholar
MJ: An imperative core calculus for Java and Java with effects
G. Bierman, Matthew J. Parkinson, A. Pitts
2003137 citations
Semantic Scholar
Deny-Guarantee Reasoning
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, V. Vafeiadis
2009European Symposium on Programming123 citations Open access
Semantic Scholar
Tractable Reasoning in a Fragment of Separation Logic
B. Cook, C. Haase, Joël Ouaknine, Matthew J. Parkinson +1 more
2011International Conference on Concurrency Theory109 citations
Semantic Scholar
The Relationship between Separation Logic and Implicit Dynamic Frames
Matthew J. Parkinson, Alexander J. Summers
2011European Symposium on Programming104 citations Open access
Semantic Scholar
Modular Safety Checking for Fine-Grained Concurrency
Cristiano Calcagno, Matthew J. Parkinson, V. Vafeiadis
2007Sensors Applications Symposium88 citations Open access
Semantic Scholar
The java module system: core design and semantic definition
Rok Strnisa, Peter Sewell, Matthew J. Parkinson
2007Conference on Object-Oriented Programming Systems, Languages, and Applications84 citations
Semantic Scholar
Variables as Resource in Hoare Logics
Matthew J. Parkinson, R. Bornat, Cristiano Calcagno
2006Logic in Computer Science84 citations Open access
Semantic Scholar
Modular verification of a non-blocking stack
Matthew J. Parkinson, R. Bornat, P. O'Hearn
2007ACM-SIGACT Symposium on Principles of Programming Languages70 citations
Semantic Scholar
Modular Reasoning about Separation of Concurrent Data Structures
Kasper Svendsen, L. Birkedal, Matthew J. Parkinson
2013European Symposium on Programming69 citations Open access
Semantic Scholar
Coarse-grained transactions
Eric Koskinen, Matthew J. Parkinson, M. Herlihy
2010ACM-SIGACT Symposium on Principles of Programming Languages69 citations
Semantic Scholar
UpgradeJ: Incremental Typechecking for Class Upgrades
G. Bierman, Matthew J. Parkinson, J. Noble
2008European Conference on Object-Oriented Programming50 citations
Semantic Scholar
snmalloc: a message passing allocator
Paul Liétar, T. Butler, S. Clebsch, S. Drossopoulou +5 more
2019International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing42 citations
Semantic Scholar
Separation Logic Verification of C Programs with an SMT Solver
M. Botincan, Matthew J. Parkinson, W. Schulte
2009International Workshop on Systems Software Verification42 citations Open access
Semantic Scholar
Modular reasoning for deterministic parallelism
Mike Dodds, S. Jagannathan, Matthew J. Parkinson
2011ACM-SIGACT Symposium on Principles of Programming Languages38 citations Open access
Semantic Scholar
Explicit Stabilisation for Modular Rely-Guarantee Reasoning
John Wickerson, Mike Dodds, Matthew J. Parkinson
2010European Symposium on Programming34 citations Open access
Semantic Scholar
Proving Linearizability Using Partial Orders
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
2017European Symposium on Programming33 citations
Semantic Scholar
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
C. Haase, Samin S. Ishtiaq, Joël Ouaknine, Matthew J. Parkinson
2013International Conference on Computer Aided Verification26 citations
Semantic Scholar
The Push/Pull model of transactions
Eric Koskinen, Matthew J. Parkinson
2015ACM-SIGPLAN Symposium on Programming Language Design and Implementation24 citations
Semantic Scholar
Effects and effect inference for a core Java calculus
G. Bierman, Matthew J. Parkinson
2003WOOD23 citations Open access
Semantic Scholar
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
Mike Dodds, S. Jagannathan, Matthew J. Parkinson, Kasper Svendsen +1 more
2016ACM Transactions on Programming Languages and Systems21 citations Open access
Semantic Scholar
Project snowflake: non-blocking safe manual memory management in .NET
Matthew J. Parkinson, Dimitrios Vytiniotis, K. Vaswani, M. Costa +4 more
2017Proc. ACM Program. Lang.20 citations Open access
Semantic Scholar
The Next 700 Separation Logics - (Invited Paper)
Matthew J. Parkinson
2010Verified Software: Theories, Tools, Experiments19 citations
Semantic Scholar
Verifying Generics and Delegates
Kasper Svendsen, L. Birkedal, Matthew J. Parkinson
2010European Conference on Object-Oriented Programming16 citations
Semantic Scholar
Starling: Lightweight Concurrency Verification with Views
Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson
2017International Conference on Computer Aided Verification15 citations
Semantic Scholar
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types
Colin S. Gordon, Michael D. Ernst, D. Grossman, Matthew J. Parkinson
2017ACM Transactions on Programming Languages and Systems13 citations
Semantic Scholar
From Java to UpgradeJ: an empirical study
E. Tempero, G. Bierman, J. Noble, Matthew J. Parkinson
2008Workshop on Hot Topics in Software Upgrades13 citations
Semantic Scholar
A Generic Logic for Proving Linearizability
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
2016World Congress on Formal Methods12 citations
Semantic Scholar
Simple, fast, and safe manual memory management
Piyus Kedia, M. Costa, Matthew J. Parkinson, K. Vaswani +2 more
2017ACM-SIGPLAN Symposium on Programming Language Design and Implementation11 citations
Semantic Scholar
Separation Logic for Object-Oriented Programming
Matthew J. Parkinson, G. Bierman
2013Aliasing in Object-Oriented Programming11 citations
Semantic Scholar
Ribbon Proofs for Separation Logic
John Wickerson, Mike Dodds, Matthew J. Parkinson
2013European Symposium on Programming9 citations
Semantic Scholar
Nekara: Generalized Concurrency Testing
U. Agarwal, Pantazis Deligiannis, Cheng-Hui Huang, Kumseok Jung +6 more
2021International Conference on Automated Software Engineering7 citations
Semantic Scholar
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
Kasper Svendsen, L. Birkedal, Matthew J. Parkinson
2013European Conference on Object-Oriented Programming7 citations
Semantic Scholar
New Lace and Arsenic: adventures in weak memory with a program logic
R. Bornat, J. Alglave, Matthew J. Parkinson
2015arXiv.org6 citations
Semantic Scholar
Automatic safety proofs for asynchronous memory operations
M. Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
2011ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming4 citations Open access
Semantic Scholar
jStar-eclipse: an IDE for automated verification of Java programs
Daiva Naudziuniene, M. Botincan, Dino Distefano, Mike Dodds +2 more
2011ESEC/FSE '114 citations
Semantic Scholar
When separation logic met Java ( by example )
Matthew J. Parkinson
20064 citations
Semantic Scholar
Lightweight Java
Rok Strnisa, Matthew J. Parkinson
2011Arch. Formal Proofs3 citations
Semantic Scholar
Safe asynchronous multicore memory operations
M. Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
2011International Conference on Automated Software Engineering3 citations
Semantic Scholar
A Generic Logic for Proving Linearizability (Extended Version)
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
2016arXiv.org2 citations
Semantic Scholar
Wait-Free Weak Reference Counting
Matthew J. Parkinson, S. Clebsch, Ben Simner
2023International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing0 citations Open access
Semantic Scholar
Project Verona's Concurrency Model
Matthew J. Parkinson
2022Electronic Proceedings in Theoretical Computer Science0 citations Open access
Semantic Scholar