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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Tej Chajed' in GoogleThis author has not been identified. Look up 'Joseph Tassarotti' in GoogleThis author has not been identified. Look up 'Mark Theng' in GoogleThis author has not been identified. Look up 'M. Frans Kaashoek' in GoogleThis author has not been identified. Look up 'Nickolai Zeldovich' in Google

runs on WebDSL