SOSP 2021 best paper award reveals internals of AWS S3 storage back end [pdf](assets.amazon.science)
assets.amazon.science
SOSP 2021 best paper award reveals internals of AWS S3 storage back end [pdf]
https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df83263/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3-2.pdf
0 comments
—