Paper Info
Title
Ogre and Pythia: an invariance proof method for weak consistency models.
Abstract
We design an invariance proof method for concurrent programs parameterised by a weak consistency model. The calculational design of the invariance proof method is by abstract interpretation of a truly parallel analytic semantics. This generalises the methods by Lamport and Owicki-Gries for sequential consistency. We use cat as an example of language to write consistency specifications of both concurrent programs and machine architectures.
Year
DOI
Venue
2017
10.1145/3009837.3009883
POPL
Field
DocType
Citations 
Causal consistency,Local consistency,Sequential consistency,Programming language,Computer science,Concurrency,Theoretical computer science,Weak consistency,Consistency model,Strong consistency,Release consistency
Conference
4
PageRank 
References 
Authors
0.40
42
2
Name
Order
Citations
PageRank
Jade Alglave160826.53
Patrick Cousot27721574.52