Static serializability analysis for causal consistency
Lucas Brutschy, Dimitar I. Dimitrov, Péter Müller, Martin Vechev · 2018
Many distributed databases provide only weak consistency guarantees to reduce synchronization overhead and remain available under network partitions. However, this leads to behaviors not possible under stronger guarantees. Such behaviors can easily defy programmer intuition and lead to errors that are notoriously hard to detect.