Jade Alglave

Ogre and Pythia: an invariance proof method for weak consistency models

2017 · ACM SIGPLAN Notices

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 …