Matthew J. Parkinson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
12
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency. | Luke Cheeseman, Elias Castegren, Tobias Wrigstad, Sophia Drossopoulou, Matthew J. Parkinson |
| 2025 | PPoPP | DORADD: Deterministic Parallel Execution in the Era of Microsecond-Scale Computing. | Zhengqing Liu, Musa Unal, Matthew J. Parkinson, Marios Kogias |
| 2024 | SLE | Trieste: A C++ DSL for Flexible Tree Rewriting. | Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, Matthew J. Parkinson |
| 2017 | CAV | Starling: Lightweight Concurrency Verification with Views. | Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson |
| 2017 | ESOP | Proving Linearizability Using Partial Orders. | Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson |
| 2017 | PLDI | Simple, fast, and safe manual memory management. | Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein |
| 2016 | FM | A Generic Logic for Proving Linearizability. | Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson |
| 2015 | PLDI | The Push/Pull model of transactions. | Eric Koskinen, Matthew J. Parkinson |
| 2013 | CAV | SeLoger: A Tool for Graph-Based Reasoning in Separation Logic. | Christoph Haase, Samin Ishtiaq, Jol Ouaknine, Matthew J. Parkinson |
| 2013 | ECOOP | Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2013 | ESOP | Modular Reasoning about Separation of Concurrent Data Structures. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2013 | ESOP | Ribbon Proofs for Separation Logic. | John Wickerson, Mike Dodds, Matthew J. Parkinson |
| 2013 | POPL | Views: compositional reasoning for concurrent programs. | Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |
| 2012 | OOPSLA | Uniqueness and reference immutability for safe parallelism. | Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy |
| 2011 | CONCUR | Tractable Reasoning in a Fragment of Separation Logic. | Byron Cook, Christoph Haase, Jol Ouaknine, Matthew J. Parkinson, James Worrell |
| 2011 | ESOP | The Relationship between Separation Logic and Implicit Dynamic Frames. | Matthew J. Parkinson, Alexander J. Summers |
| 2011 | POPL | Modular reasoning for deterministic parallelism. | Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson |
| 2011 | PPoPP | Automatic safety proofs for asynchronous memory operations. | Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
| 2010 | ECOOP | Concurrent Abstract Predicates. | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis |
| 2010 | ECOOP | Verifying Generics and Delegates. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2010 | ESOP | Explicit Stabilisation for Modular Rely-Guarantee Reasoning. | John Wickerson, Mike Dodds, Matthew J. Parkinson |
| 2010 | POPL | Coarse-grained transactions. | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
| 2009 | ESOP | Deny-Guarantee Reasoning. | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis |
| 2009 | POPL | Proving that non-blocking algorithms don't block. | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis |
| 2008 | ECOOP | UpgradeJ: Incremental Typechecking for Class Upgrades. | Gavin M. Bierman, Matthew J. Parkinson, James Noble |
| 2008 | OOPSLA | jStar: towards practical verification for java. | Dino Distefano, Matthew J. Parkinson |
| 2008 | POPL | Separation logic, abstraction and inheritance. | Matthew J. Parkinson, Gavin M. Bierman |
| 2007 | CONCUR | A Marriage of Rely/Guarantee and Separation Logic. | Viktor Vafeiadis, Matthew J. Parkinson |
| 2007 | OOPSLA | The java module system: core design and semantic definition. | Rok Strnisa, Peter Sewell, Matthew J. Parkinson |
| 2007 | POPL | Modular verification of a non-blocking stack. | Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn |
| 2007 | SAS | Modular Safety Checking for Fine-Grained Concurrency. | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
| 2006 | LICS | Variables as Resource in Hoare Logics. | Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno |
| 2005 | POPL | Permission accounting in separation logic. | Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson |
| 2005 | POPL | Separation logic and abstraction. | Matthew J. Parkinson, Gavin M. Bierman |