Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich. Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. In Marcos K. Aguilera, Hakim Weatherspoon, editors, 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 447-463, USENIX Association, 2022. [doi]
@inproceedings{ChajedTTKZ22,
title = {Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning},
author = {Tej Chajed and Joseph Tassarotti and Mark Theng and M. Frans Kaashoek and Nickolai Zeldovich},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/chajed},
researchr = {https://researchr.org/publication/ChajedTTKZ22},
cites = {0},
citedby = {0},
pages = {447-463},
booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022},
editor = {Marcos K. Aguilera and Hakim Weatherspoon},
publisher = {USENIX Association},
isbn = {978-1-939133-28-1},
}