Checking Consistency Models
-
POPL'2017: Serializability for Eventual Consistency: Criterion, Analysis, and Applications
-
PLDI'2018: Static Serializability Analysis for Causal Consistency
-
CONCUR'2018: Automated Detection of Serializability Violations Under Weak Consistency
-
SOSP2015: Existential Consistency: Measuring and Understanding Consistency at Facebook