Chapar: certified causally consistent distributed key-value stores

@inproceedings{Lesani2016ChaparCC,
  title={Chapar: certified causally consistent distributed key-value stores},
  author={Mohsen Lesani and Christian J. Bell and Adam Chlipala},
  booktitle={POPL},
  year={2016}
}
Today’s Internet services are often expected to stay available and render high responsiveness even in the face of site crashes and network partitions. Theoretical results state that causal consistency is one of the strongest consistency guarantees that is possible under these requirements, and many practical systems provide causally consistent key-value stores. In this paper, we present a framework called Chapar for modular verification of causal consistency for replicated key-value store… CONTINUE READING
Highly Cited
This paper has 60 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS