Jade Alglave
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Ogre and Pythia: an invariance proof method for weak consistency models Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| A formal hierarchy of weak memory models Formal Methods in System Design | 2014-03-28 | Paper |
| Software verification for weak memory via program transformation Programming Languages and Systems | 2013-08-05 | Paper |
| Fences in weak memory models Formal Methods in System Design | 2012-09-27 | Paper |
Research outcomes over time
This page was built for person: Jade Alglave
