Cobra: Making Transactional Key-Value Stores Verifiably Serializable.

Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish

Browse the full OSDI paper archive.