https://crdt.tech/papers.html
# Conflict-free Replicated Data Types
* GitHub
* About CRDTs
+
o Resources
#
o Papers
#
o Implementations
#
o CRDT Glossary
#
o Community
#
Edit this page Create issue
o
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:
[ ] Introductions to CRDTs
[ ] Systems and apps using CRDTs
[ ] Operation-based CRDTs
[ ] State-based and Delta CRDTs
[ ] Counter CRDTs
[ ] Text editing/sequence CRDTs
[ ] Undoing operations
[ ] CRDTs for trees
[ ] Computation/programming
[ ] Composing CRDTs
[ ] Specification and verification
[ ] Close relatives of CRDTs
Paper List
(In reverse chronological order)
[1]
Frederic Guidec, Yves Maheo, and Camille Nous. Supporting
conflict-free replicated data types in opportunistic
networks. Peer-to-Peer Networking and Applications,
16:395-419, January 2023. [ bib | DOI ]
Keywords: systems, networks
[2]
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung,
Natacha Crooks, and Joseph M. Hellerstein. Keep CALM and
CRDT on. Proceedings of the VLDB Endowment, 16
(4):856-863, December 2022. [ bib | DOI | arXiv | .pdf ]
Keywords: computation, crdt-related
[3]
Kristof Jannes, Bert Lagaisse, and Wouter Joosen. Secure
replication for client-centric data stores. In 3rd
International Workshop on Distributed Infrastructure for
the Common Good, DICG 2022, pages 31--36. ACM, November
2022. [ bib | DOI | .pdf ]
Keywords: state-based, systems, security
[4]
Geoffrey Litt, Sarah Lim, Martin Kleppmann, and Peter van
Hardenberg. Peritext: A CRDT for collaborative rich text
editing. Proceedings of the ACM on Human-Computer
Interaction, 6(CSCW2), November 2022. [ bib | DOI | .pdf
]
Keywords: text-editing, systems
[5]
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and
Joseph M. Hellerstein. Katara: Synthesizing CRDTs with
verified lifting. Proceedings of the ACM on Programming
Languages, 6(OOPSLA2):1349--1377, October 2022. [ bib |
DOI | arXiv | .pdf ]
Keywords: specification, verification
[6]
Abel Nieto, Leon Gondelman, Alban Reynaud, Amin Timany,
and Lars Birkedal. Modular verification of op-based CRDTs
in separation logic. Proceedings of the ACM on
Programming Languages, 6(OOPSLA2):1788-1816, October
2022. [ bib | DOI | .pdf ]
Keywords: specification, verification
[7]
Martin Kleppmann and Peter Alvaro. Research for practice:
Convergence. Communications of the ACM, 65:104--106,
November 2022. [ bib | DOI | .pdf ]
Keywords: introduction, crdt-related
[8]
Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix.
VeriFx: Correct replicated data types for the masses.
July 2022. [ bib | arXiv | http ]
Keywords: verification
[9]
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and
KC Sivaramakrishnan. Certified mergeable replicated data
types. In 43rd ACM SIGPLAN Conference on Programming
Language Design and Implementation, PLDI 2022, page
332-347. ACM, June 2022. [ bib | DOI | arXiv ]
Keywords: crdt-related, MRDT, verification
[10]
Farzin Houshmand, Javad Saberlatibari, and Mohsen Lesani.
Hamband: RDMA replicated data types. In 43rd ACM SIGPLAN
Conference on Programming Language Design and
Implementation, PLDI 2022, page 348-363. ACM, June 2022.
[ bib | DOI ]
Keywords: crdt-related, systems
[11]
Gowtham Kaki, Prasanth Prahladan, and Nicholas V.
Lewchenko. Runtime-assisted convergence in replicated
data types. In 43rd ACM SIGPLAN Conference on Programming
Language Design and Implementation, PLDI 2022, page
364-378. ACM, June 2022. [ bib | DOI ]
Keywords: crdt-related, MRDT, Quark
[12]
Martin Kleppmann. Assessing the understandability of a
distributed algorithm by tweeting buggy pseudocode.
Technical Report UCAM-CL-TR-969, University of Cambridge,
Department of Computer Science and Technology, May 2022.
[ bib | DOI | .pdf ]
Keywords: verification
[13]
Amos Brocco. Melda: A general purpose delta state JSON
CRDT. In 9th Workshop on Principles and Practice of
Consistency for Distributed Data, PaPoC 2022, pages 1--7.
ACM, April 2022. [ bib | DOI ]
Keywords: systems, delta-based, JSON
[14]
Martin Kleppmann. Making CRDTs Byzantine fault tolerant.
In 9th Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC 2022, pages 8--15. ACM, April
2022. [ bib | DOI | .pdf ]
Keywords: security
[15]
Nicholas Schiefer, Geoffrey Litt, and Daniel Jackson.
Merge what you can, fork what you can't: Managing data
integrity in local-first software. In 9th Workshop on
Principles and Practice of Consistency for Distributed
Data, PaPoC 2022, pages 24--32. ACM, April 2022. [ bib |
DOI ]
Keywords: systems, usability
[16]
Pierre-Antoine Rault, Claudia-Lavinia Ignat, and Olivier
Perrin. Distributed access control for collaborative
applications using CRDTs. In 9th Workshop on Principles
and Practice of Consistency for Distributed Data, PaPoC
2022, pages 33--38. ACM, April 2022. [ bib | DOI | .pdf ]
Keywords: security
[17]
Nazmus Saquib, Chandra Krintz, and Rich Wolski. Ordering
operations for generic replicated data types using
version trees. In 9th Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC 2022, pages
39--46. ACM, April 2022. [ bib | DOI ]
Keywords: crdt-related
[18]
Matthew Weidner and Paulo Sergio Almeida. An oblivious
observed-reset embeddable replicated counter. In 9th
Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2022, pages 47--52. ACM, April
2022. [ bib | DOI | .pdf ]
Keywords: counters
[19]
Arik Rinberg, Tomer Solomon, Roee Shlomo, Guy Khazma, Gal
Lushi, Idit Keidar, and Paula Ta-Shma. DSON: JSON CRDT
using delta-mutations for document stores. Proceedings of
the VLDB Endowment, 15(5):1053-1065, January 2022. [ bib
| DOI | .pdf ]
Keywords: systems, trees
[20]
Amos Brocco. Delta-state JSON CRDT: Putting collaboration
on solid ground. In 23rd International Symposium on
Stabilization, Safety, and Security of Distributed
Systems, SSS 2021, pages 474--478. Springer LNCS volume
13046, November 2021. [ bib | DOI ]
Keywords: systems, delta-based, JSON, Solid
[21]
Martin Kleppmann, Dominic P. Mulligan, Victor B. F.
Gomes, and Alastair R. Beresford. A highly-available move
operation for replicated trees. IEEE Transactions on
Parallel and Distributed Systems, 33:1711--1724, October
2021. [ bib | DOI | .pdf ]
Keywords: trees, verification
[22]
Kevin De Porre, Carla Ferreira, Nuno Preguica, and Elisa
Gonzalez Boix. ECROs: Building global scale systems from
sequential code. Proceedings of the ACM on Programming
Languages (PACMPL), 5(OOPSLA), October 2021. [ bib | DOI
]
Keywords: crdt-related
[23]
Eric Brattli and Weihai Yu. Supporting undo and redo for
replicated registers in collaborative applications. In
18th International Conference on Cooperative Design,
Visualization, and Engineering, CDVE 2021, pages
195--205. Springer LNCS volume 12983, October 2021. [ bib
| DOI ]
Keywords: undo
[24]
Kristof Jannes, Bert Lagaisse, and Wouter Joosen.
OWebSync: Seamless synchronization of distributed web
clients. IEEE Transactions on Parallel and Distributed
Systems, 32(9):2338--2351, September 2021. [ bib | DOI |
.pdf ]
Keywords: state-based, synchronisation protocols,
JSON, systems, OWebSync
[25]
Iver Toft Tomter and Weihai Yu. Augmenting SQLite for
local-first software. In European Conference on Advances
in Databases and Information Systems, ADBIS 2021, pages
247--257. Springer, August 2021. [ bib | DOI | .pdf ]
Keywords: systems, relational, SQLite
[26]
Houssam Yactine, Ali Shoker, and Georges Younes. ASPAS:
As secure as possible available systems. In 21st
International Conference on Distributed Applications and
Interoperable Systems, DAIS 2021, pages 57--73. Springer,
June 2021. [ bib | DOI | http ]
Keywords: systems, security
[27]
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae,
and Annette Bieniusa. Access control conflict resolution
in distributed file systems using CRDTs. In 8th Workshop
on Principles and Practice of Consistency for Distributed
Data, PaPoC 2021. ACM, April 2021. [ bib | DOI ]
Keywords: filesystem, Repliss, access control
[28]
Arik Rinberg, Tomer Solomon, Guy Khazma, Gal Lushi, Roee
Shlomo, and Paula Ta-Shma. Array CRDTs using
delta-mutations. In 8th Workshop on Principles and
Practice of Consistency for Distributed Data, PaPoC 2021.
ACM, April 2021. [ bib | DOI ]
Keywords: list-crdt, delta-based, JSON
[29]
Jim Bauwens and Elisa Gonzalez Boix. Improving the
reactivity of pure operation-based CRDTs. In 8th Workshop
on Principles and Practice of Consistency for Distributed
Data, PaPoC 2021. ACM, April 2021. [ bib | DOI ]
Keywords: pure operation-based, systems, Flec
[30]
Geoffrey Litt, Peter van Hardenberg, and Orion Henry.
Cambria: Schema evolution in distributed systems with
edit lenses. In 8th Workshop on Principles and Practice
of Consistency for Distributed Data, PaPoC 2021. ACM,
April 2021. [ bib | DOI ]
Keywords: schemas, systems, Cambria
[31]
Sreeja Nair, Filipe Meirim, Mario Pereira, Carla
Ferreira, and Marc Shapiro. A coordination-free,
convergent, and safe replicated tree. March 2021. [ bib |
arXiv | http ]
Keywords: trees, Maram
[32]
Manuel Barbosa, Bernardo Ferreira, Joao Marques, Bernardo
Portela, and Nuno Preguica. Secure conflict-free
replicated data types. In International Conference on
Distributed Computing and Networking 2021, ICDCN 2021,
pages 6--15. ACM, January 2021. [ bib | DOI | .pdf ]
Keywords: security, Antidote
[33]
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper,
Michael Hicks, and Niki Vazou. Verifying replicated data
types with typeclass refinements in Liquid Haskell.
Proceedings of the ACM on Programming Languages, 4
(OOPSLA), nov 2020. [ bib | DOI ]
Keywords: verification
[34]
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
[35]
Weihai Yu and Claudia-Lavinia Ignat. Conflict-free
replicated relations for multi-synchronous database
management at edge. In IEEE International Conference on
Smart Data Services, SMDS 2020, pages 113--121. IEEE,
October 2020. [ bib | DOI | http ]
Keywords: relational database,delta-crdt,integrity
constraints
[36]
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
[37]
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
[38]
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
[39]
Taylor Blau. Verifying strong eventual consistency in
d-crdts. Bachelor's thesis, University of Washington,
June 2020. [ bib | arXiv ]
Keywords: state-based, verification
[40]
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
[41]
Weihai Yu and Sigbjorn 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
[42]
Pascal Grosch, Roman Krafft, Marcel Wolki, 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
[43]
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
[44]
Matthieu Nicolas, Gerald 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
[45]
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
[46]
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
[47]
Ali Shoker, Paulo Sergio Almeida, Carlos Baquero, Annette
Bieniusa, Roger Pueyo Centelles, Pedro Akos Costa, Vitor
Enes, Carla Ferreira, Pedro Fouto, Felix Freitag, Bradley
King, Igor Kopestenski, Giorgos Kostopoulos, Joao Leitao,
Adam Lindberg, Albert van der Linde, Sreeja Nair, Nuno
Preguica, Mennan Selimi, Marc Shapiro, Peer Stritzinger,
Ilyas Toumlilt, Peter Van Roy, Dimitrios Vasilas, Georges
Younes, Igor Zavalyshyn, and Peter Zeller. LightKone
reference architecture (LiRA). Technical report, The
LightKone Consortium, 2019. [ bib | DOI | http ]
Keywords: architecture
[48]
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
[49]
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
[50]
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, MRDT
[51]
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
[52]
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
[53]
Alex Auvolat and Francois Taiani. Merkle search trees:
Efficient state-based CRDTs in open networks. In 38th
Symposium on Reliable Distributed Systems, SRDS 2019,
pages 221--230. IEEE, 2019. [ bib | DOI ]
Keywords: state-based, security
[54]
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
[55]
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
[56]
Vitor Enes, Paulo Sergio Almeida, Carlos Baquero, and
Joao Leitao. 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
[57]
Adriaan Leijnse, Paulo Sergio 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
[58]
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
[59]
David Mealha, Nuno Preguica, Maria Cecilia Gomes, and
Joao Leitao. 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
[60]
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
[61]
Aaron Hall, Grant Nelson, Mike Thiesen, and Nate Woods.
The causal graph CRDT for complex document structure. In
18th ACM Symposium on Document Engineering, DocEng 2018.
ACM, August 2018. [ bib | DOI ]
Keywords: text-editing, trees
[62]
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
[63]
Ragnar Mogk, Lars Baumgartner, 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
[64]
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
[65]
Nuno Preguica. Conflict-free replicated data types: An
overview. June 2018. [ bib | arXiv | http ]
Keywords: introduction
[66]
Nuno Preguica, 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
[67]
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
[68]
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
[69]
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
[70]
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
[71]
Paulo Sergio 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
[72]
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
[73]
Vitor Enes. Efficient synchronization of state-based
CRDTs. Master's thesis, Universidade do Minho, November
2017. [ bib | .pdf ]
Keywords: state-based
[74]
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
[75]
Carlos Baquero, Paulo Sergio 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
[76]
Carlos Baquero, Paulo Sergio Almeida, and Ali Shoker.
Pure operation-based replicated data types. October 2017.
[ bib | arXiv | http ]
Keywords: operation-based
[77]
Weihai Yu, Gerald 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
[78]
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
[79]
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
[80]
Georges Younes, Paulo Sergio 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
[81]
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
[82]
Vitor Enes, Carlos Baquero, Paulo Sergio Almeida, and
Joao Leitao. 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
[83]
Albert van der Linde, Pedro Fouto, Joao Leitao, Nuno
Preguica, Santiago Castineira, 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
[84]
Loick 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
[85]
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, YATA, Yjs
[86]
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
[87]
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
[88]
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel
Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno
Preguica, 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
[89]
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
[90]
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
[91]
Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno
Preguica, 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
[92]
Carlos Baquero, Paulo Sergio 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
[93]
Christian Weilbach, Konrad Kuhne, 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
[94]
Albert van der Linde, Joao Leitao, and Nuno Preguica.
D-CRDTs: Making d-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
[95]
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
[96]
Brice Nedelec, 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
[97]
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
[98]
Marek Zawirski, Nuno Preguica, Sergio 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
[99]
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
[100]
Valter Balegas, Diogo Serra, Sergio Duarte, Carla
Ferreira, Marc Shapiro, Rodrigo Rodrigues, and Nuno
Preguica. 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
[101]
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
[102]
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
[103]
Weihai Yu, Luc Andre, 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
[104]
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
[105]
Carlos Baquero, Paulo Sergio Almeida, Alcino Cunha, and
Carla Ferreira. Composition of state-based CRDTs.
Technical report, HASLab, INESC TEC, May 2015. [ bib |
.pdf ]
Keywords: state-based
[106]
Paulo Sergio 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
[107]
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
[108]
David Navalho, Sergio Duarte, and Nuno Preguica. 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
[109]
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
[110]
Santiago J Castineira 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
[111]
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
[112]
Sebastian Burckhardt. Principles of eventual consistency.
Foundations and Trends in Programming Languages, 1
(1-2):1--150, October 2014. [ bib | DOI | http ]
Keywords: introduction
[113]
Cheng Li, Joao Leitao, Allen Clement, Nuno Preguica,
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
[114]
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
[115]
Carlos Baquero, Paulo Sergio 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
[116]
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
[117]
Paulo Sergio 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
[118]
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno
Perguica. 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
[119]
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
[120]
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
[121]
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
[122]
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
[123]
Luc Andre, Stephane Martin, Gerald Oster, and
Claudia-Lavinia Ignat. Supporting adaptable granularity
of changes for massive-scale collaborative editing. In
9th IEEE International Conference on Collaborative
Computing: Networking, Applications and Worksharing,
CollaborateCom 2013. IEEE, October 2013. [ bib | DOI |
.pdf ]
Keywords: text-editing, LogootSplit, sequence-CRDT
[124]
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno
Preguica. 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
[125]
Brice Nedelec, 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
[126]
Paulo Sergio Almeida and Carlos Baquero. Scalable
eventually consistent counters over unreliable networks.
July 2013. [ bib | arXiv | http ]
Keywords: counters
[127]
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
[128]
David Navalho, Sergio Duarte, Nuno Preguica, 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
[129]
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
[130]
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
[131]
Annette Bieniusa, Marek Zawirski, Nuno Preguica, Marc
Shapiro, Carlos Baquero, Valter Balegas, and Sergio
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
[132]
Annette Bieniusa, Marek Zawirski, Nuno Preguica, Marc
Shapiro, Carlos Baquero, Valter Balegas, and Sergio
Duarte. An optimized conflict-free replicated set.
Research Report RR-8083, INRIA, October 2012. [ bib |
arXiv | .pdf ]
Keywords: set-crdt
[133]
Mehdi Ahmed-Nacer, Stephane Martin, and Pascal Urso. File
system on CRDT. Research Report RR-8027, INRIA, July
2012. [ bib | arXiv | http ]
Keywords: trees
[134]
Sebastian Burckhardt, Manuel Fahndrich, 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
[135]
Luis Daniel Ibanez, 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
[136]
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, 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
[137]
Stephane Martin, Mehdi Ahmed-Nacer, and Pascal Urso.
Abstract unordered and ordered trees CRDT. Research
Report RR-7825, INRIA, December 2011. [ bib | arXiv |
http ]
Keywords: trees
[138]
Marc Shapiro, Nuno Preguica, 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
[139]
Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gerald 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
[140]
Marek Zawirski, Marc Shapiro, and Nuno Preguica.
Asynchronous rebalancing of a replicated tree. In
Conference Francaise en Systemes d'Exploitation, CFSE
2011, May 2011. [ bib | .pdf ]
Keywords: text-editing, Treedoc, core-nebula
[141]
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
[142]
Marc Shapiro, Nuno Preguica, 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
[143]
Stephane Martin, Pascal Urso, and Stephane 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
[144]
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
[145]
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
[146]
Mihai Letia, Nuno Preguica, 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
[147]
Nuno Preguica, 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
[148]
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
[149]
Stephane 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
[150]
Gerald 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
[151]
Gerald 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
o
This site is maintained by Martin Kleppmann, Annette
Bieniusa, and Marc Shapiro. If you find any problems or want
to add something, please open an issue or PR. The theme is
based on Docsy Jekyll.