USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Mark Theng [Clear All Filters]
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.
.
2022. GoJournal: a verified, concurrent, crash-safe journaling system. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :423--439.
.
2021.