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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Verifying vMVCC, a high-performance transaction library using multi-version concurrency control'. Together they form a unique fingerprint.

Computer Science

Keyphrases