Biblio

Export 2 results:
Filters: Author is Joseph Tassarotti  [Clear All Filters]
2022
Chajed T, Tassarotti J, Theng M, M. Kaashoek F, Zeldovich N.  2022.  Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :447--463.
2021
Chajed T, Tassarotti J, Theng M, Jung R, M. Kaashoek F, Zeldovich N.  2021.  GoJournal: a verified, concurrent, crash-safe journaling system. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :423--439.