Follow
RT @asatarin
"Cobra: Making Transactional Key-Value Stores Verifiably Serializable"
Given black box trace of KV transactions determine if observed behaviors are serializable at scale (10K transactions)
