Oct 26, 2017 · Alone Together: Compositional Reasoning and Inference for Weak Isolation. Authors:Gowtham Kaki, Kartik Nagar, Mahsa Nazafzadeh, Suresh ...

Unfortunately, the semantics of weak isolation is poorly understood, and usually explained only informally in terms of low-level implementation artifacts.

Unlike weak consistency, weak isolation can manifest even in an unreplicated setting, as evident from the support for weakly-isolated transactions on ...

Serializability is a well-understood correctness criterion that simpli es reasoning about the behavior of concurrent transactions by ensuring they are ...

Alone together: Compositional Reasoning and Inference for Weak Isolation. Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan. January 2018. PDF

CU Boulder Authors. Kaki, Gowtham ; publication date. January 1, 2018 ; has restriction. bronze ; Date in CU Experts. October 21, 2020 10:40 AM ; Full Author List.

Jan 1, 2018 · Performance measurements show that despite their stronger guarantees, mixed-consistency transactions retain much of the speed of weak ...

Unfortunately, the semantics of weak isolation is poorly understood, and usually explained only informally in terms of low-level implementation artifacts.

A novel program logic is presented that enables compositional reasoning about the behavior of concurrently executing weakly-isolated transactions and an ...

This interpretation enables automated verification using off-the-shelf SMT solvers. Our development is parametric over a transaction's specific isolation ...