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.

Synchronising C/C++ and POWER

The work

AuthorsSusmit Sarkar; Kayvan Memarian; Scott Owens; Mark Batty; Peter Sewell; Luc Maranget; Jade Alglave; Derek Williams
Editors
Typemisc
Year2012
Also known asanon2012synchronising
Citekeysarkar2012synchronising

Where it appeared

PublisherACM

How it got here

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

Filed under

petersewell

Cite it as

@misc{sarkar2012synchronising,
  title        = {Synchronising C/C++ and POWER},
  author       = {Susmit Sarkar and Kayvan Memarian and Scott Owens and Mark Batty and Peter Sewell and Luc Maranget and Jade Alglave and Derek Williams},
  year         = {2012},
  publisher    = {ACM},
  doi          = {10.1145/2254064.2254102},
}

This record lives at https://refs.drheap.org/sarkar2012synchronising/ and will keep doing so. It used to be called anon2012synchronising, and those addresses still resolve to this one.