Verifying vMVCC, a high-performance transaction library using multi-version concurrency control

TitleVerifying vMVCC, a high-performance transaction library using multi-version concurrency control
Publication TypeConference Paper
Year of Publication2023
AuthorsChang Y-S, Jung R, Sharma U, Tassarotti J, M. Kaashoek F, Zeldovich N
Conference Name17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)
Date Published07/2023
PublisherUSENIX Association
Conference LocationBoston, MA
ISBN Number978-1-939133-34-2
URLhttps://www.usenix.org/conference/osdi23/presentation/chang