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.
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
The work
| Authors | James Bornholt; Rajeev Joshi; Vytautas Astrauskas; Brendan Cully; Bernhard Kragl; Seth Markle; Kyle Sauri; Drew Schleit; Grant Slatton; Serdar Tasiran; Jacob Van Geffen; Andrew Warfield |
|---|---|
| Editors | |
| Type | misc |
| Year | 2021 |
| Also known as | anon2021using |
| Citekey | bornholt2021using |
Where it appeared
| Publisher | ACM |
|---|
Identifiers
| DOI | 10.1145/3477132.3483540 |
|---|
Access
| Landing page | https://doi.org/10.1145/3477132.3483540 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/3477132.3483540 |
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-29 00:45 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{bornholt2021using,
title = {Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3},
author = {James Bornholt and Rajeev Joshi and Vytautas Astrauskas and Brendan Cully and Bernhard Kragl and Seth Markle and Kyle Sauri and Drew Schleit and Grant Slatton and Serdar Tasiran and Jacob Van Geffen and Andrew Warfield},
year = {2021},
publisher = {ACM},
doi = {10.1145/3477132.3483540},
}
This record lives at https://refs.drheap.org/bornholt2021using/ and will keep
doing so. It used to be called anon2021using, and those addresses still resolve to this one.