Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno. Storage Systems are Distributed Systems (So Verify Them That Way!). In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020. pages 99-115, USENIX Association, 2020. [doi]
@inproceedings{HanceLHHJP20,
title = {Storage Systems are Distributed Systems (So Verify Them That Way!)},
author = {Travis Hance and Andrea Lattuada and Chris Hawblitzel and Jon Howell and Rob Johnson and Bryan Parno},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/hance},
researchr = {https://researchr.org/publication/HanceLHHJP20},
cites = {0},
citedby = {0},
pages = {99-115},
booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020},
publisher = {USENIX Association},
isbn = {978-1-939133-19-9},
}