Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning

TitleVerifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
Publication TypeConference Paper
Year of Publication2022
AuthorsChajed T, Tassarotti J, Theng M, M. Kaashoek F, Zeldovich N
Conference Name16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)
Date Published07/2022
PublisherUSENIX Association
Conference LocationCarlsbad, CA
ISBN Number978-1-939133-28-1
URLhttps://www.usenix.org/conference/osdi22/presentation/chajed