CRDT Papers

This page contains a comprehensive list of research publications on CRDTs. The data is available in BibTeX format. If you have anything to add or correct, please edit the file on GitHub and send us a pull request.

Select checkboxes to filter papers by topic:













Paper List

(In reverse chronological order)

[1]
Jim Bauwens and Elisa Gonzalez Boix. From causality to stability: Understanding and reducing meta-data in CRDTs. In 17th International Conference on Managed Programming Languages and Runtimes, MPLR 2020, pages 3--14. ACM, November 2020. [ bib | DOI | .pdf ]
Keywords: operation-based, systems, Flec
[2]
Kevin De Porre, Florian Myter, Christophe Scholliers, and Elisa Gonzalez Boix. CScript: A distributed programming language for building mixed-consistency applications. Journal of Parallel and Distributed Computing volume 144, pages 109--123, October 2020. [ bib | DOI | .pdf ]
Keywords: computation, composition, systems, CScript
[3]
Matthew Weidner, Heather Miller, and Christopher Meiklejohn. Composing and decomposing op-based CRDTs with semidirect products. August 2020. [ bib | DOI | arXiv | http ]
Keywords: composition, operation-based
[4]
Stephen Dolan. Brief announcement: The only undoable CRDTs are counters. In 39th Symposium on Principles of Distributed Computing, PODC 2020, page 57–58. ACM, August 2020. [ bib | DOI | arXiv ]
Keywords: set-crdt, counters, undo
[5]
Taylor Blau. Verifying strong eventual consistency in δ-crdts. Bachelor's thesis, University of Washington, June 2020. [ bib | arXiv ]
Keywords: state-based, verification
[6]
Martin Kleppmann. Moving elements in list CRDTs. In 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. ACM, April 2020. [ bib | DOI | .pdf ]
Keywords: text-editing
[7]
Weihai Yu and Sigbjørn Rostad. A low-cost set CRDT based on causal lengths. In 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. ACM, April 2020. [ bib | DOI ]
Keywords: set-crdt
[8]
Pascal Grosch, Roman Krafft, Marcel Wölki, and Annette Bieniusa. AutoCouch: A JSON CRDT framework. In 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. ACM, April 2020. [ bib | DOI ]
Keywords: systems, Automerge, AutoCouch
[9]
Victor Grishchenko and Mikhail Patrakeev. Chronofold: A data structure for versioned text. In 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. ACM, April 2020. [ bib | DOI | arXiv ]
Keywords: text-editing, Chronofold
[10]
Matthieu Nicolas, Gérald Oster, and Olivier Perrin. Efficient renaming in sequence CRDTs. In 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. ACM, April 2020. [ bib | DOI | http ]
Keywords: text-editing, LogootSplit
[11]
Peter van Hardenberg and Martin Kleppmann. PushPin: Towards production-quality peer-to-peer collaboration. In 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. ACM, April 2020. [ bib | DOI | .pdf ]
Keywords: systems, usability, PushPin
[12]
Jim Bauwens and Elisa Gonzalez Boix. Flec: A versatile programming framework for eventually consistent systems. In 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. ACM, April 2020. [ bib | DOI ]
Keywords: systems, Flec
[13]
Weihai Yu, Victorien Elvinger, and Claudia-Lavinia Ignat. A generic undo support for state-based CRDTs. In 23rd International Conference on Principles of Distributed Systems, OPODIS 2019. Dagstuhl LIPIcs, November 2019. [ bib | DOI | .pdf ]
Keywords: state-based, undo
[14]
Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, and Mark McGranaghan. Local-first software: You own your data, in spite of the cloud. In ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, pages 154--178. ACM, October 2019. [ bib | DOI | .pdf ]
Keywords: systems, usability
[15]
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan. Mergeable replicated data types. Proceedings of the ACM on Programming Languages (PACMPL), 3(OOPSLA), October 2019. [ bib | DOI | .pdf ]
Keywords: crdt-related
[16]
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini. A fault-tolerant programming model for distributed interactive applications. Proceedings of the ACM on Programming Languages (PACMPL), 3(OOPSLA), October 2019. [ bib | DOI ]
Keywords: systems
[17]
Jim Bauwens and Elisa Gonzalez Boix. Memory efficient CRDTs in dynamic environments. In 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL 2019, page 48–57. ACM, October 2019. [ bib | DOI | .pdf ]
Keywords: systems, operation-based, memory management
[18]
Stephan A Kollmann, Martin Kleppmann, and Alastair R Beresford. Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing. Proceedings on Privacy Enhancing Technologies (PoPETS), 2019(3):210--232, July 2019. [ bib | DOI | .pdf ]
Keywords: security
[19]
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, and Elisa Gonzalez Boix. Putting order in strong eventual consistency. In 19th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2019, pages 36--56. Springer LNCS volume 11534, June 2019. [ bib | DOI | .pdf ]
Keywords: systems, CScript
[20]
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, and João Leitão. Efficient synchronization of state-based CRDTs. In 35th IEEE International Conference on Data Engineering, ICDE 2019, pages 148--159, April 2019. [ bib | DOI | arXiv ]
Keywords: state-based
[21]
Adriaan Leijnse, Paulo Sérgio Almeida, and Carlos Baquero. Higher-order patterns in replicated data types. In 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019. ACM, March 2019. [ bib | DOI | .pdf ]
Keywords: composition
[22]
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, and Alastair R. Beresford. Interleaving anomalies in collaborative text editors. In 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019. ACM, March 2019. [ bib | DOI | .pdf ]
Keywords: text-editing
[23]
David Mealha, Nuno Preguiça, Maria Cecilia Gomes, and João Leitão. Data replication on the cloud/edge. In 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019. ACM, March 2019. [ bib | DOI ]
Keywords: systems
[24]
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, and Elisa Gonzalez Boix. A generic replicated data type for strong eventual consistency. In 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019. ACM, March 2019. [ bib | DOI | .pdf ]
Keywords: text-editing, operation-based
[25]
Xiao Lv, Fazhi He, Yuan Cheng, and Yiqi Wu. A novel CRDT-based synchronization method for real-time collaborative CAD systems. Advanced Engineering Informatics, 38:381--391, August 2018. [ bib | DOI ]
Keywords: systems
[26]
Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, and Mira Mezini. Fault-tolerant distributed reactive programming. In 32nd European Conference on Object-Oriented Programming, volume 109 of ECOOP 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, July 2018. [ bib | DOI ]
Keywords: systems
[27]
Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin Levandoski, James Hunter, and Mike Barnett. FASTER: A concurrent key-value store with in-place updates. In International Conference on Management of Data, SIGMOD 2018, pages 275--290. ACM, June 2018. [ bib | DOI | .pdf ]
Keywords: systems
[28]
Nuno Preguiça. Conflict-free replicated data types: An overview. June 2018. [ bib | arXiv | http ]
Keywords: introduction
[29]
Nuno Preguiça, Carlos Baquero, and Marc Shapiro. Conflict-free replicated data types (CRDTs). In Encyclopedia of Big Data Technologies. Springer, May 2018. [ bib | DOI | arXiv ]
Keywords: introduction
[30]
Martin Kleppmann, Victor B F Gomes, Dominic P Mulligan, and Alastair R Beresford. OpSets: Sequential specifications for replicated datatypes (extended version). May 2018. [ bib | arXiv | http ]
Keywords: specification, verification
[31]
Marc Shapiro, Annette Bieniusa, Peter Zeller, and Gustavo Petri. Ensuring referential integrity under causal consistency. In 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2018. ACM, April 2018. [ bib | DOI | .pdf ]
Keywords: causal-consistency
[32]
Jim Bauwens, Florian Myter, and Elisa Gonzalez Boix. Constraining the eventual in eventual consistency. In 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2018. ACM, April 2018. [ bib | DOI | .pdf ]
Keywords: counters
[33]
Radha Jagadeesan and James Riely. Eventual consistency for CRDTs. In 21st European Symposium on Programming, ESOP 2018, pages 968--995. Springer LNCS volume 10801, April 2018. [ bib | DOI | .pdf ]
Keywords: specification, composition
[34]
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. Delta state replicated data types. Journal of Parallel and Distributed Computing, 111:162--173, January 2018. [ bib | DOI | arXiv ]
Keywords: state-based
[35]
Mahsa Najafzadeh, Marc Shapiro, and Patrick Eugster. Co-design and verification of an available file system. In 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, pages 358--381. Springer LNCS volume 10747, January 2018. [ bib | DOI | .pdf ]
Keywords: trees
[36]
Vitor Enes. Efficient synchronization of state-based CRDTs. Master's thesis, Universidade do Minho, November 2017. [ bib | .pdf ]
Keywords: state-based
[37]
Victor B F Gomes, Martin Kleppmann, Dominic P Mulligan, and Alastair R Beresford. Verifying strong eventual consistency in distributed systems. Proceedings of the ACM on Programming Languages (PACMPL), 1(OOPSLA), October 2017. [ bib | DOI | arXiv ]
Keywords: specification, verification
[38]
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira. Composition in state-based replicated data types. Bulletin of the European Association for Theoretical Computer Science, (123), October 2017. [ bib | http ]
Keywords: composition, state-based
[39]
Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. Pure operation-based replicated data types. October 2017. [ bib | arXiv | http ]
Keywords: operation-based
[40]
Weihai Yu, Gérald Oster, and Claudia-Lavinia Ignat. Handling disturbance and awareness of concurrent updates in a collaborative editor. In 14th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2017, pages 39--47. Springer LNCS volume 10451, September 2017. [ bib | DOI | http ]
Keywords: systems, usability
[41]
Martin Kleppmann and Alastair R Beresford. A conflict-free replicated JSON datatype. IEEE Transactions on Parallel and Distributed Systems, 28(10):2733--2746, April 2017. [ bib | DOI | arXiv ]
Keywords: trees
[42]
Tim Jungnickel and Lennart Oldenburg. Pluto: The CRDT-driven IMAP server. In 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017. ACM, April 2017. [ bib | DOI | .pdf ]
Keywords: systems
[43]
Georges Younes, Paulo Sérgio Almeida, and Carlos Baquero. Compact resettable counters through causal stability. In 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017. ACM, April 2017. [ bib | DOI | .pdf ]
Keywords: counters
[44]
Peter Zeller. Testing properties of weakly consistent programs with Repliss. In 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017. ACM, April 2017. [ bib | DOI | http ]
Keywords: testing, verification
[45]
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, and João Leitão. Borrowing an identity for a distributed counter: Work in progress report. In 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017. ACM, April 2017. [ bib | DOI | .pdf ]
Keywords: counters
[46]
Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira, and Annette Bieniusa. Legion: Enriching internet services with peer-to-peer interactions. In 26th International Conference on World Wide Web, WWW 2017, pages 283--292. ACM, April 2017. [ bib | DOI | .pdf ]
Keywords: systems, Legion
[47]
Loïck Briot, Pascal Urso, and Marc Shapiro. High responsiveness for group editing CRDTs. In 19th International Conference on Supporting Group Work, GROUP 2016, pages 51--60. ACM, November 2016. [ bib | DOI | http ]
Keywords: text-editing, RGASplit
[48]
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma. Near real-time peer-to-peer shared editing on extensible data types. In 19th International Conference on Supporting Group Work, GROUP 2016, pages 39--49. ACM, November 2016. [ bib | DOI | http ]
Keywords: text-editing, Yjs
[49]
Xiao Lv, Fazhi He, Weiwei Cai, and Yuan Cheng. An efficient collaborative editing algorithm supporting string-based operations. In 20th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2016, pages 45--50. IEEE, September 2016. [ bib | DOI ]
Keywords: text-editing
[50]
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, and Marek Zawirski. Specification and complexity of collaborative text editing. In ACM Symposium on Principles of Distributed Computing, PODC 2016, pages 259--268. ACM, July 2016. [ bib | DOI | .pdf ]
Keywords: text-editing, specification, verification
[51]
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça, and Marc Shapiro. Cure: Strong semantics meets high availability and low latency. In 36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016, pages 405--414. IEEE, June 2016. [ bib | DOI | .pdf ]
Keywords: systems, Cure, Antidote
[52]
Wenbing Zhao, Mamdouh Babi, William Yang, Xiong Luo, Yueqin Zhu, Jack Yang, Chaomin Luo, and Mary Yang. Byzantine fault tolerance for collaborative editing with commutative operations. In IEEE International Conference on Electro Information Technology, EIT 2016, pages 246--251. IEEE, May 2016. [ bib | DOI ]
Keywords: byzantine
[53]
Russell Brown, Zeeshan Lakhani, and Paul Place. Big(ger) sets: Decomposed delta CRDT sets in Riak. In 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2016. ACM, April 2016. [ bib | DOI | arXiv ]
Keywords: set-crdt, systems, composition
[54]
Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça, and Marc Shapiro. Eventually consistent register revisited. In 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2016. ACM, April 2016. [ bib | DOI | arXiv | .pdf ]
Keywords: state-based
[55]
Carlos Baquero, Paulo Sérgio Almeida, and Carl Lerche. The problem with embedded CRDT counters and a solution. In 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2016. ACM, April 2016. [ bib | DOI | .pdf ]
Keywords: composition, counters
[56]
Christian Weilbach, Konrad Kühne, and Annette Bieniusa. Decoupling conflict resolution with CDVCS. In 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2016. ACM, April 2016. [ bib | DOI ]
Keywords: systems, Replikativ
[57]
Albert van der Linde, João Leitão, and Nuno Preguiça. Δ-CRDTs: Making δ-CRDTs delta-based. In 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2016. ACM, April 2016. [ bib | DOI | .pdf ]
Keywords: state-based
[58]
Deepthi Devaki Akkoorath and Annette Bieniusa. Highly-scalable concurrent objects. In 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2016. ACM, April 2016. [ bib | DOI | .pdf ]
Keywords: shared-memory concurrency
[59]
Brice Nédelec, Pascal Molli, and Achour Mostefaoui. CRATE: Writing stories together with our browsers. In 25th International World Wide Web Conference, WWW 2016, pages 231--234. ACM, April 2016. [ bib | DOI | http ]
Keywords: text-editing, LSEQ
[60]
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro. 'Cause I'm Strong Enough: Reasoning about consistency choices in distributed systems. In 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pages 371--384. ACM, January 2016. [ bib | DOI | .pdf ]
Keywords: specification, verification
[61]
Marek Zawirski, Nuno Preguiça, Sérgio Duarte, Annette Bieniusa, Valter Balegas, and Marc Shapiro. Write fast, read in the past: Causal consistency for client-side applications. In 16th Annual Middleware Conference, pages 75--87. ACM/IFIP/USENIX, December 2015. [ bib | DOI | .pdf ]
Keywords: systems, SwiftCloud
[62]
Iwan Briquemont, Manuel Bravo, Zhongmiao Li, and Peter Van Roy. Conflict-free partially replicated data types. In 7th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2015. IEEE, November 2015. [ bib | DOI | http ]
Keywords: systems, SwiftCloud
[63]
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, and Nuno Preguiça. Extending eventually consistent cloud databases for enforcing numeric invariants. In 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, pages 31--36. IEEE, September 2015. [ bib | DOI | arXiv ]
Keywords: counters
[64]
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, pages 184--195. ACM, July 2015. [ bib | DOI | .pdf ]
Keywords: computation, systems
[65]
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma. Yjs: A framework for near real-time P2P shared editing on arbitrary data types. In 15th International Conference on Web Engineering, ICWE 2015, pages 675--678. Springer LNCS volume 9114, June 2015. [ bib | DOI | .pdf ]
Keywords: systems, Yjs
[66]
Weihai Yu, Luc André, and Claudia-Lavinia Ignat. A CRDT supporting selective undo for collaborative text editing. In 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015, pages 193--206. Springer LNCS volume 9038, June 2015. [ bib | DOI | .pdf ]
Keywords: text-editing, undo
[67]
Vinh Tao, Marc Shapiro, and Vianney Rancurel. Merging semantics for conflict updates in geo-distributed file systems. In 8th ACM International Systems and Storage Conference, SYSTOR 2015. ACM, May 2015. [ bib | DOI | .pdf ]
Keywords: trees
[68]
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira. Composition of state-based CRDTs. Technical report, HASLab, INESC TEC, May 2015. [ bib | .pdf ]
Keywords: state-based
[69]
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. Efficient state-based CRDTs by delta-mutation. In International Conference on Networked Systems, NETYS 2015, pages 62--76. Springer LNCS volume 9466, May 2015. [ bib | DOI | arXiv ]
Keywords: state-based
[70]
Alexey Gotsman and Hongseok Yang. Composite replicated data types. In 24th European Symposium on Programming, ESOP 2015. Springer LNCS volume 9032, April 2015. [ bib | DOI | .pdf ]
Keywords: specification, composition
[71]
David Navalho, Sérgio Duarte, and Nuno Preguiça. A study of CRDTs that do computations. In 1st Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2015. ACM, April 2015. [ bib | DOI | .pdf ]
Keywords: computation
[72]
Brandon Holt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze. Claret: Using data types for highly concurrent distributed transactions. In 1st Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2015. ACM, April 2015. [ bib | DOI | .pdf ]
Keywords: transactions, systems
[73]
Santiago J Castiñeira and Annette Bieniusa. Collaborative offline web applications using conflict-free replicated data types. In 1st Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2015. ACM, April 2015. [ bib | DOI ]
Keywords: systems
[74]
Christopher Meiklejohn and Peter Van Roy. Lasp: A language for distributed, eventually consistent computations with crdts. In 1st Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2015. ACM, April 2015. [ bib | DOI | .pdf ]
Keywords: computation
[75]
Sebastian Burckhardt. Principles of eventual consistency. Foundations and Trends in Programming Languages, 1(1-2):1--150, October 2014. [ bib | DOI | http ]
Keywords: introduction
[76]
Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, Rodrigo Rodrigues, and Viktor Vafeiadis. Automating the choice of consistency levels in replicated systems. In USENIX Annual Technical Conference, ATC 2014, pages 281--292. USENIX, June 2014. [ bib | http ]
Keywords: verification
[77]
Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter. Formal specification and verification of CRDTs. In 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, pages 33--48. Springer LNCS volume 8461, June 2014. [ bib | DOI | .pdf ]
Keywords: specification, verification
[78]
Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. Making operation-based CRDTs operation-based. In 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2014, pages 126--140. Springer LNCS volume 8460, June 2014. A shorter paper with the same title appears in PaPEC 2014. [ bib | DOI | .pdf ]
Keywords: operation-based
[79]
Russell Brown, Sean Cribbs, Christopher Meiklejohn, and Sam Elliott. Riak DT Map: A composable, convergent replicated dictionary. In 1st Workshop on Principles and Practice of Eventual Consistency, PaPEC 2014. ACM, April 2014. [ bib | DOI | http ]
Keywords: systems, composition
[80]
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. Efficient state-based CRDTs by decomposition (work in progress report). In 1st Workshop on Principles and Practice of Eventual Consistency, PaPEC 2014. ACM, April 2014. [ bib | DOI | .pdf ]
Keywords: composition
[81]
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Perguiça. Merging OT and CRDT algorithms. In 1st Workshop on Principles and Practice of Eventual Consistency, PaPEC 2014. ACM, April 2014. [ bib | DOI | .pdf ]
Keywords: text-editing
[82]
Christopher Meiklejohn. On the composability of the Riak DT Map: Expanding from embedded to multi-key structures. In 1st Workshop on Principles and Practice of Eventual Consistency, PaPEC 2014. ACM, 2014. [ bib | DOI | http ]
Keywords: composition
[83]
Victor Grishchenko. Citrea and Swarm: Partially ordered op logs in the browser. In 1st Workshop on Principles and Practice of Eventual Consistency, PaPEC 2014. ACM, April 2014. [ bib | DOI | .pdf ]
Keywords: text-editing, operation-based
[84]
Lindsey Kuper and Ryan R Newton. Joining forces: Toward a unified account of LVars and convergent replicated data types. In 5th Workshop on Determinism and Correctness in Parallel Programming, WoDet 2014, March 2014. [ bib | .pdf ]
Keywords: crdt-related, shared-memory concurrency
[85]
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski. Replicated data types: Specification, verification, optimality. In 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, pages 271--284. ACM, January 2014. [ bib | DOI | .pdf ]
Keywords: specification, verification
[86]
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Preguiça. Concurrency control and awareness support for multi-synchronous collaborative editing. In 9th IEEE International Conference on Collaborative Computing, CollaborateCom 2013. ICST, October 2013. [ bib | DOI | .pdf ]
Keywords: text-editing
[87]
Brice Nédelec, Pascal Molli, Achour Mostefaoui, and Emmanuel Desmontils. LSEQ: an adaptive structure for sequences in distributed collaborative editing. In 13th ACM Symposium on Document Engineering, DocEng 2013, pages 37--46. ACM, September 2013. [ bib | DOI | .pdf ]
Keywords: text-editing, LSEQ
[88]
Paulo Sérgio Almeida and Carlos Baquero. Scalable eventually consistent counters over unreliable networks. July 2013. [ bib | arXiv | http ]
Keywords: counters
[89]
Erwan Le Merrer, Nicolas Le Scouarnec, and Gilles Straub. Bitbox: Eventually consistent file sharing. In 1st International Conference on Networked Systems, NETYS 2013, page 274–278. Springer LNCS volume 7853, May 2013. [ bib | DOI ]
Keywords: systems, Bitbox
[90]
David Navalho, Sérgio Duarte, Nuno Preguiça, and Marc Shapiro. Incremental stream processing using computational conflict-free replicated data types. In 3rd International Workshop on Cloud Data and Platforms, CloudDP 2013, pages 31--36. ACM, April 2013. [ bib | DOI | .pdf ]
Keywords: computation
[91]
Hien Thi Thu Truong, Claudia-Lavinia Ignat, and Pascal Molli. Authenticating operation-based history in collaborative systems. In 17th ACM International Conference on Supporting Group Work, GROUP 2012, pages 131--140. ACM, October 2012. [ bib | DOI | http ]
Keywords: security
[92]
Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David Maier. Logic and lattices for distributed programming. In 3rd ACM Symposium on Cloud Computing, SoCC 2012, pages 1--14. ACM, October 2012. [ bib | DOI | .pdf ]
Keywords: crdt-related
[93]
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, and Sérgio Duarte. Brief announcement: Semantics of eventually consistent replicated sets. In 26th International Symposium on Distributed Computing, DISC 2012, pages 441--442. Springer LNCS volume 7611, October 2012. [ bib | DOI | .pdf ]
Keywords: set-crdt, specification
[94]
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, and Sérgio Duarte. An optimized conflict-free replicated set. Research Report RR-8083, INRIA, October 2012. [ bib | arXiv | .pdf ]
Keywords: set-crdt
[95]
Mehdi Ahmed-Nacer, Stéphane Martin, and Pascal Urso. File system on CRDT. Research Report RR-8027, INRIA, July 2012. [ bib | arXiv | http ]
Keywords: trees
[96]
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P Wood. Cloud types for eventual consistency. In 26th European Conference on Object-Oriented Programming, ECOOP 2012, pages 283--307. Springer LNCS volume 7313, June 2012. [ bib | DOI | .pdf ]
Keywords: crdt-related
[97]
Luis Daniel Ibáñez, Hala Skaf-Molli, Pascal Molli, and Olivier Corby. Synchronizing semantic stores with commutative replicated data types. In 21st International Conference on World Wide Web, WWW 2012, pages 1091--1096. ACM, April 2012. [ bib | DOI | http ]
Keywords: set-crdt
[98]
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, and Mooly Sagiv. Eventually consistent transactions. In 21st European Symposium on Programming, ESOP 2012, pages 67--86. Springer LNCS volume 7211, March 2012. [ bib | DOI | .pdf ]
Keywords: crdt-related, transactions
[99]
Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. Conflict-free replicated data types. In 13th International Conference on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, pages 386--400. Springer LNCS volume 6976, October 2011. [ bib | DOI | .pdf ]
Keywords: introduction
[100]
Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, and Pascal Urso. Evaluating CRDTs for real-time document editing. In 11th ACM Symposium on Document Engineering, DocEng 2011, pages 103--112. ACM, September 2011. [ bib | DOI | .pdf ]
Keywords: text-editing
[101]
Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee. Replicated abstract data types: Building blocks for collaborative applications. Journal of Parallel and Distributed Computing, 71(3):354--368, March 2011. [ bib | DOI | .pdf ]
Keywords: text-editing, RGA
[102]
Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. A comprehensive study of convergent and commutative replicated data types. Research Report 7506, INRIA, January 2011. [ bib | http ]
Keywords: introduction
[103]
Stéphane Martin, Pascal Urso, and Stéphane Weiss. Scalable XML collaborative editing with undo. In On the Move to Meaningful Internet Systems (OTM), pages 507--514. Springer LNCS volume 6426, October 2010. [ bib | DOI | arXiv ]
Keywords: trees, undo
[104]
Stephane Weiss, Pascal Urso, and Pascal Molli. Logoot-Undo: Distributed collaborative editing system on P2P networks. IEEE Transactions on Parallel and Distributed Systems, 21(8):1162--1174, August 2010. [ bib | DOI | .pdf ]
Keywords: text-editing, Logoot, undo
[105]
Victor Grishchenko. Deep hypertext with embedded revision control implemented in regular expressions. In 6th International Symposium on Wikis and Open Collaboration, WikiSym 2010. ACM, July 2010. [ bib | DOI | .pdf ]
Keywords: text-editing
[106]
Mihai Letia, Nuno Preguiça, and Marc Shapiro. Consistency without concurrency control in large, dynamic systems. ACM SIGOPS Operating Systems Review, 44(2):29--34, April 2010. [ bib | DOI | .pdf ]
Keywords: introduction
[107]
Nuno Preguiça, Joan Manuel Marques, Marc Shapiro, and Mihai Letia. A commutative replicated data type for cooperative editing. In 29th IEEE International Conference on Distributed Computing Systems, ICDCS 2009, pages 395--403. IEEE, 2009. [ bib | DOI | http ]
Keywords: text-editing, Treedoc
[108]
Stephane Weiss, Pascal Urso, and Pascal Molli. Logoot: A scalable optimistic replication algorithm for collaborative editing on P2P networks. In 29th IEEE International Conference on Distributed Computing Systems, ICDCS 2009, pages 404--412. IEEE, 2009. [ bib | DOI | http ]
Keywords: text-editing, Logoot
[109]
Stéphane Weiss, Pascal Urso, and Pascal Molli. Wooki: A P2P wiki-based collaborative writing tool. In 8th International Conference on Web Information Systems Engineering, WISE 2007, pages 503--512. Springer LNCS volume 4831, December 2007. [ bib | DOI | .pdf ]
Keywords: text-editing, WOOTO
[110]
Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine. Data consistency for P2P collaborative editing. In 20th ACM Conference on Computer Supported Cooperative Work, CSCW 2006, pages 259--268. ACM, November 2006. [ bib | DOI | .pdf ]
Keywords: text-editing, WOOT
[111]
Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine. Real time group editors without operational transformation. Research Report RR-5580, INRIA, May 2005. [ bib | http ]
Keywords: text-editing, WOOT