PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Jade Alglave

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …