USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Joseph Tassarotti [Clear All Filters]
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :871--886.
.
2023. 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.