Biblio

Export 2 results:
Filters: Author is Ralf Jung  [Clear All Filters]
2023
Chang Y-S, Jung R, Sharma U, Tassarotti J, M. Kaashoek F, Zeldovich N.  2023.  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.
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.