Alone Together: Compositional Reasoning and Inference for Weak Isolation

Gowtham Kaki, Kartik Nagar, Mahsa Nazafzadeh +1

Serializability is a well-understood correctness criterion that simplifies reasoning about the behavior of concurrent transactions by ensuring they are isolated from each other whi…