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. Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. In Robbert van Renesse, Nickolai Zeldovich, editors, SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021. pages 836-850, ACM, 2021. [doi]
@inproceedings{BornholtJACKMSS21,
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},
doi = {10.1145/3477132.3483540},
url = {https://doi.org/10.1145/3477132.3483540},
researchr = {https://researchr.org/publication/BornholtJACKMSS21},
cites = {0},
citedby = {0},
pages = {836-850},
booktitle = {SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021},
editor = {Robbert van Renesse and Nickolai Zeldovich},
publisher = {ACM},
isbn = {978-1-4503-8709-5},
}