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

Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Browse the full OSDI paper archive.