Matthew J. Parkinson
From MaRDI portal
Person:2151271
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Starling: lightweight concurrency verification with views | 2022-07-01 | Paper |
| Error analysis and uncertainty quantification for the heterogeneous transport equation in slab geometry IMA Journal of Numerical Analysis | 2022-05-17 | Paper |
| A generic logic for proving linearizability (available as arXiv preprint) | 2020-01-03 | Paper |
| Modern Monte Carlo variants for uncertainty quantification in neutron transport Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan | 2019-01-22 | Paper |
| Permission accounting in separation logic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| Separation logic and abstraction Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| Proving linearizability using partial orders Programming Languages and Systems | 2017-05-19 | Paper |
| Proving that non-blocking algorithms don't block Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Coarse-grained transactions Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Views, compositional reasoning for concurrent programs Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Separation logic, abstraction and inheritance Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Modular verification of a non-blocking stack Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Behavioral interface specification languages ACM Computing Surveys | 2014-08-13 | Paper |
| Modular reasoning for deterministic parallelism Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Ribbon proofs for separation logic Programming Languages and Systems | 2013-08-05 | Paper |
| Modular reasoning about separation of concurrent data structures Programming Languages and Systems | 2013-08-05 | Paper |
| The relationship between separation logic and implicit dynamic frames Logical Methods in Computer Science | 2012-08-15 | Paper |
| Tractable Reasoning in a Fragment of Separation Logic CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
| The relationship between separation logic and implicit dynamic frames Programming Languages and Systems | 2011-05-19 | Paper |
| Explicit stabilisation for modular rely-guarantee reasoning Programming Languages and Systems | 2010-05-04 | Paper |
| Deny-Guarantee Reasoning Programming Languages and Systems | 2009-03-31 | Paper |
| Modular Safety Checking for Fine-Grained Concurrency Static Analysis | 2009-03-03 | Paper |
| A Marriage of Rely/Guarantee and Separation Logic CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Research outcomes over time
This page was built for person: Matthew J. Parkinson
