-
A Separation Logic for Fictional Sequential
Consistency.
Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, and Jean
Pichon-Pharabod.
In ESOP 2015.
[ bib |
doi |
pdf |
abstract ]
-
Reasoning About the Implementation of Concurrency Abstractions
on x86-TSO.
Scott Owens.
In ECOOP 2010.
[ bib |
project page |
pdf |
abstract ]
-
A Rely-guarantee Proof System for x86-TSO.
Tom Ridge.
In VSTTE 2010.
[ bib |
pdf |
abstract ]