@inproceedings{POPL09,
  author = {Susmit Sarkar and Peter Sewell and Zappa Nardelli, Francesco and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave},
  title = {The Semantics of {x86-CC} Multiprocessor Machine Code},
  booktitle = {POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  month = jan,
  year = 2009,
  pages = {379--391},
  publisher = {ACM Press},
  doi = {10.1145/1480881.1480929}}