[
  {
    "id": "cs-06-1",
    "type": "article-journal",
    "title": "x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors",
    "author": [
      {
        "given": "Peter",
        "family": "Sewell"
      },
      {
        "given": "Susmit",
        "family": "Sarkar"
      },
      {
        "given": "Scott",
        "family": "Owens"
      },
      {
        "given": "Francesco Zappa",
        "family": "Nardelli"
      },
      {
        "given": "Magnus O.",
        "family": "Myreen"
      }
    ],
    "container-title": "Communications of the ACM",
    "issued": {
      "date-parts": [
        [
          2010
        ]
      ]
    },
    "DOI": "10.1145/1785414.1785443",
    "URL": "https://www.cl.cam.ac.uk/~pes20/weakmemory/cacm.pdf"
  },
  {
    "id": "cs-06-2",
    "type": "paper-conference",
    "title": "Foundations of the C++ concurrency memory model",
    "author": [
      {
        "given": "Hans-J.",
        "family": "Boehm"
      },
      {
        "given": "Sarita V.",
        "family": "Adve"
      }
    ],
    "container-title": "Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation",
    "issued": {
      "date-parts": [
        [
          2008
        ]
      ]
    },
    "DOI": "10.1145/1375581.1375591",
    "URL": "https://experts.illinois.edu/en/publications/foundations-of-the-c-concurrency-memory-model-2/"
  },
  {
    "id": "cs-06-3",
    "type": "paper-conference",
    "title": "Mathematizing C++ concurrency",
    "author": [
      {
        "given": "Mark",
        "family": "Batty"
      },
      {
        "given": "Scott",
        "family": "Owens"
      },
      {
        "given": "Susmit",
        "family": "Sarkar"
      },
      {
        "given": "Peter",
        "family": "Sewell"
      },
      {
        "given": "Tjark",
        "family": "Weber"
      }
    ],
    "container-title": "Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
    "issued": {
      "date-parts": [
        [
          2011
        ]
      ]
    },
    "DOI": "10.1145/1926385.1926394",
    "URL": "https://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf"
  }
]