Matthew J. Parkinson

Available identifiers

zbMath Open parkinson.matthew-jMaRDI QIDQ2151271

List of research outcomes

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	2022-05-17	Paper
A generic logic for proving linearizability	2020-01-03	Paper
Modern Monte Carlo variants for uncertainty quantification in neutron transport	2019-01-22	Paper
Permission accounting in separation logic	2017-07-14	Paper
Separation logic and abstraction	2017-07-14	Paper
Proving linearizability using partial orders	2017-05-19	Paper
Proving that non-blocking algorithms don't block	2015-07-03	Paper
Coarse-grained transactions	2015-06-11	Paper
Views, compositional reasoning for concurrent programs	2014-11-27	Paper
Separation logic, abstraction and inheritance	2014-09-12	Paper
Modular verification of a non-blocking stack	2014-09-12	Paper
Behavioral interface specification languages	2014-08-13	Paper
Modular reasoning for deterministic parallelism	2014-04-10	Paper
Ribbon proofs for separation logic	2013-08-05	Paper
Modular reasoning about separation of concurrent data structures	2013-08-05	Paper
The relationship between separation logic and implicit dynamic frames	2012-08-15	Paper
Tractable Reasoning in a Fragment of Separation Logic	2011-09-02	Paper
The relationship between separation logic and implicit dynamic frames	2011-05-19	Paper
Explicit stabilisation for modular rely-guarantee reasoning	2010-05-04	Paper
Deny-Guarantee Reasoning	2009-03-31	Paper
Modular Safety Checking for Fine-Grained Concurrency	2009-03-03	Paper
A Marriage of Rely/Guarantee and Separation Logic	2008-09-18	Paper

Research outcomes over time

This page was built for person: Matthew J. Parkinson