Yun-Sheng Chang Ralf Jung 0002 Upamanyu Sharma Joseph Tassarotti M. Frans Kaashoek Nickolai Zeldovich Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. 871-886 2023 OSDI https://www.usenix.org/conference/osdi23/presentation/chang conf/osdi/2023 db/conf/osdi/osdi2023.html#Chang0STKZ23