Jade Alglave (2010):
A Shared Memory Poetics.
Université Paris 7.
Jade Alglave, Luc Maranget & Michael Tautschnig (2014):
Herding Cats - Modelling, simulation, testing, and data-mining for weak memory..
TOPLAS (to appear).
Available at http://arxiv.org/abs/1308.6810.
Gérard Boudol & Gustavo Petri (2009):
Relaxed Memory Models: An Operational Approach.
SIGPLAN Not. 44(1),
pp. 392–403,
doi:10.1145/1594834.1480930.
Nathan Chong & Samin Ishtiaq (2008):
Reasoning About the ARM Weakly Consistent Memory Model.
In: Proceedings of the 2008 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness: Held in Conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08),
MSPC '08.
ACM,
New York, NY, USA,
pp. 16–19,
doi:10.1145/1353522.1353528.
C. A. R. Hoare (1969):
An Axiomatic Basis for Computer Programming.
Commun. ACM 12(10),
pp. 576–580,
doi:10.1145/363235.363259.
L. Lamport (1979):
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs.
IEEE Trans. Comput. 28(9),
pp. 690–691,
doi:10.1109/TC.1979.1675439.
Scott Owens, Susmit Sarkar & Peter Sewell (2009):
A Better x86 Memory Model: X86-TSO.
In: Proceedings of the 22Nd International Conference on Theorem Proving in Higher Order Logics,
TPHOLs '09.
Springer-Verlag,
Berlin, Heidelberg,
pp. 391–407,
doi:10.1007/978-3-642-03359-9_27.
Susan Owicki & David Gries (1976):
An Axiomatic Proof Technique for Parallel Programs.
Acta Informatica 6,
pp. 319–340,
doi:10.1007/BF00268134.
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget & Derek Williams (2011):
Understanding POWER Multiprocessors.
SIGPLAN Not. 46(6),
pp. 175–186,
doi:10.1145/1993316.1993520.
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen & Jade Alglave (2009):
The Semantics of x86-CC Multiprocessor Machine Code.
SIGPLAN Not. 44(1),
pp. 379–391,
doi:10.1145/1594834.1480929.