@inproceedings{9398d131ea1e42f5a5374e2d7920a796,
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.",
keywords = "Concurrency, Distributed and parallel programming, Invariance, Verification, Weak consistency models",
author = "Jade Alglave and Patrick Cousot",
note = "Publisher Copyright: {\textcopyright} 2017 ACM.; 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 ; Conference date: 15-01-2017 Through 21-01-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1145/3009837.3009883",
language = "English (US)",
series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "Association for Computing Machinery",
pages = "3--18",
editor = "Gordon, {Andrew D.} and Giuseppe Castagna",
booktitle = "POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages",
}