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.
COATCheck: Verifying memory ordering at the hardware-OS interface
The work
| Authors | D. Lustig; G. Sethi; M. Martonosi; A. Bhattacharjee |
|---|---|
| Editors | |
| Type | article |
| Year | 2016 |
| Citekey | lustig2016coatcheck |
Where it appeared
| Published in | Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-24 03:03 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{lustig2016coatcheck,
title = {COATCheck: Verifying memory ordering at the hardware-OS interface},
author = {D. Lustig and G. Sethi and M. Martonosi and A. Bhattacharjee},
year = {2016},
journal = {Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)},
}
This record lives at https://refs.drheap.org/lustig2016coatcheck/ and will keep doing so.