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
Separation logic and abstraction	2017-07-14	Paper
Permission accounting in separation logic	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	2014-11-27	Paper
Modular verification of a non-blocking stack	2014-09-12	Paper
Separation logic, abstraction and inheritance	2014-09-12	Paper
Behavioral interface specification languages	2014-08-13	Paper
Modular reasoning for deterministic parallelism	2014-04-10	Paper
Modular Reasoning about Separation of Concurrent Data Structures	2013-08-05	Paper
Ribbon Proofs for Separation Logic	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthew J. Parkinson