Resources about CRDTs and scalability

Publications about CRDTs:

  • Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte: An optimized conflict-free replicated set. CoRR abs/1210.3368 (2012) http://arxiv.org/abs/1210.3368
  • Marc Shapiro, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski: A comprehensive study of Convergent and Commutative Replicated Data Types. INRIA Technical Report RR-7506, January 2011. http://hal.inria.fr/inria-00555588

CRDT-based systems:

  • Marek Zawirski, Nuno Preguiça,  Sérgio Duarte,  Annette Bieniusa,  Valter Balegas.  Marc Shapiro. Write Fast, Read in the Past: Causal Consistency for Client-side Applications. https://hal.inria.fr/hal-01158370v1

Riak:

  • Russell Brown,  Zeeshan Lakhani, Paul Place: Big(ger) sets: decomposed delta CRDT sets in Riak. W. on the Principles and Practice of Consistency for Distributed Data.  https://doi.org/10.1145/2911151.2911156

Programming Models:

  • Christopher Meiklejohn and Peter Van Roy. Lasp: A Language for Distributed, Coordination-Free Programming. In 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015). July 14-16, 2015, Siena, Italy.

Proofs and Verification:

CRDT implementations:

CRDT Applications:

Featured


FAQ on CRDTs
SyncFree Software Repository  

SyncFree Technology
  • Bounded Counters: maintaining numeric invariants with high availability
  • Commander: Bug-Finding for Programs Running on Weakly Consistent Platforms
  • Verifico: CRDT-App Verification Framework for Isabelle

            

 This project is funded by the European Union, 7th Research Framework Programme, ICT call 10, grant agreement n°609551. 

Contact (Project Coordinator)

MARC dot SHAPIRO atsign ACM dot ORG