Cobra: Making Transactional Key-Value Stores Verifiably Serializable

TitleCobra: Making Transactional Key-Value Stores Verifiably Serializable
Publication TypeConference Paper
Year of Publication2020
AuthorsTan C, Zhao C, Mu S, Walfish M
Conference Name14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)
Date Published11/2020
PublisherUSENIX Association
ISBN Number978-1-939133-19-9
URLhttps://www.usenix.org/conference/osdi20/presentation/tan