@phdthesis(alglave_thesis,
 author       = "Jade Alglave",
 year         = "2010",
 title        = "A Shared Memory Poetics",
 school       = "Universit\'{e} Paris 7",
)
@article(alglave_cats,
 author       = "Jade Alglave and Luc Maranget and Michael Tautschnig",
 year         = "2014",
 title        = "Herding Cats - Modelling, simulation, testing, and data-mining for weak memory.",
 journal      = "TOPLAS (to appear)",
 url          = "http://arxiv.org/abs/1308.6810",
)
@article(boudol09,
 author       = "G{\'e}rard Boudol and Gustavo Petri",
 year         = "2009",
 title        = "Relaxed Memory Models: An Operational Approach",
 journal      = "SIGPLAN Not.",
 volume       = "44",
 number       = "1",
 pages        = "392--403",
 doi          = "10.1145/1594834.1480930",
)
@inproceedings(chong08,
 author       = "Nathan Chong and Samin Ishtiaq",
 year         = "2008",
 title        = "Reasoning About the ARM Weakly Consistent Memory Model",
 booktitle    = "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)",
 series       = "MSPC '08",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "16--19",
 doi          = "10.1145/1353522.1353528",
)
@article(hoare69,
 author       = "C. A. R. Hoare",
 year         = "1969",
 title        = "An Axiomatic Basis for Computer Programming",
 journal      = "Commun. ACM",
 volume       = "12",
 number       = "10",
 pages        = "576--580",
 doi          = "10.1145/363235.363259",
)
@article(lamport79,
 author       = "L. Lamport",
 year         = "1979",
 title        = "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs",
 journal      = "IEEE Trans. Comput.",
 volume       = "28",
 number       = "9",
 pages        = "690--691",
 doi          = "10.1109/TC.1979.1675439",
)
@inproceedings(owens09,
 author       = "Scott Owens and Susmit Sarkar and Peter Sewell",
 year         = "2009",
 title        = "A Better x86 Memory Model: X86-TSO",
 booktitle    = "Proceedings of the 22Nd International Conference on Theorem Proving in Higher Order Logics",
 series       = "TPHOLs '09",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "391--407",
 doi          = "10.1007/978-3-642-03359-9\_27",
)
@article(owicki76,
 author       = "Susan Owicki and David Gries",
 year         = "1976",
 title        = "An Axiomatic Proof Technique for Parallel Programs",
 journal      = "Acta Informatica",
 volume       = "6",
 pages        = "319--340",
 doi          = "10.1007/BF00268134",
)
@article(sarkar11,
 author       = "Susmit Sarkar and Peter Sewell and Jade Alglave and Luc Maranget and Derek Williams",
 year         = "2011",
 title        = "Understanding POWER Multiprocessors",
 journal      = "SIGPLAN Not.",
 volume       = "46",
 number       = "6",
 pages        = "175--186",
 doi          = "10.1145/1993316.1993520",
)
@article(sarkar09,
 author       = "Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave",
 year         = "2009",
 title        = "The Semantics of x86-CC Multiprocessor Machine Code",
 journal      = "SIGPLAN Not.",
 volume       = "44",
 number       = "1",
 pages        = "379--391",
 doi          = "10.1145/1594834.1480929",
)