TY  - JOUR
ID  - cs-06-1
TI  - x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
AU  - Sewell, Peter
AU  - Sarkar, Susmit
AU  - Owens, Scott
AU  - Nardelli, Francesco Zappa
AU  - Myreen, Magnus O.
JO  - Communications of the ACM
PY  - 2010
DO  - 10.1145/1785414.1785443
UR  - https://www.cl.cam.ac.uk/~pes20/weakmemory/cacm.pdf
ER  - 


TY  - CONF
ID  - cs-06-2
TI  - Foundations of the C++ concurrency memory model
AU  - Boehm, Hans-J.
AU  - Adve, Sarita V.
T2  - Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation
PY  - 2008
DO  - 10.1145/1375581.1375591
UR  - https://experts.illinois.edu/en/publications/foundations-of-the-c-concurrency-memory-model-2/
ER  - 


TY  - CONF
ID  - cs-06-3
TI  - Mathematizing C++ concurrency
AU  - Batty, Mark
AU  - Owens, Scott
AU  - Sarkar, Susmit
AU  - Sewell, Peter
AU  - Weber, Tjark
T2  - Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PY  - 2011
DO  - 10.1145/1926385.1926394
UR  - https://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf
ER  -