Biblio

Export 2 results:
Filters: Author is Upamanyu Sharma  [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.
2018
Cui W, Ge X, Kasikci B, Niu B, Sharma U, Wang R, Yun I.  2018.  REPT: Reverse Debugging of Failures in Deployed Software. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :17--32.