The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A tutorial introduction to the ARM and POWER relaxed memory models, October 2012

The work

AuthorsLuc Maranget; Susmit Sarkar; Peter Sewell
Editors
Typearticle
Year2012
Citekeymaranget2012tutorial

Where it appeared

Published inDraft. URL:

How it got here

How it got hereagent via bibtex
Added2026-10-26 13:12 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

petersewell

Cite it as

@article{maranget2012tutorial,
  title        = {A tutorial introduction to the ARM and POWER relaxed memory models, October 2012},
  author       = {Luc Maranget and Susmit Sarkar and Peter Sewell},
  year         = {2012},
  journal      = {Draft. URL:},
}

This record lives at https://refs.drheap.org/maranget2012tutorial/ and will keep doing so.