CRDT Papers

@inproceedings{Dolan2020undoable,
  author = {Dolan, Stephen},
  title = {Brief Announcement: The Only Undoable {CRDTs} Are Counters},
  year = {2020},
  month = aug,
  booktitle = {39th Symposium on Principles of Distributed Computing},
  series = {PODC 2020},
  pages = {57–58},
  publisher = {ACM},
  doi = {10.1145/3382734.3405749},
  eprint = {2006.10494},
  keywords = {set-crdt, counters, undo}
}
@mastersthesis{Blau2020delta,
  author = {Blau, Taylor},
  title = {Verifying Strong Eventual Consistency in $\delta$-CRDTs},
  year = {2020},
  month = jun,
  school = {University of Washington},
  type = {Bachelor's Thesis},
  eprint = {2006.09823},
  keywords = {state-based, verification}
}
@inproceedings{Kleppmann2020moving,
  author = {Kleppmann, Martin},
  title = {Moving Elements in List {CRDTs}},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {4},
  doi = {10.1145/3380787.3393677},
  pdf = {https://martin.kleppmann.com/papers/list-move-papoc20.pdf},
  keywords = {text-editing}
}
@inproceedings{Yu2020causalLengths,
  author = {Yu, Weihai and Rostad, Sigbj\o{}rn},
  title = {A Low-Cost Set {CRDT} Based on Causal Lengths},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {5},
  doi = {10.1145/3380787.3393678},
  keywords = {set-crdt}
}
@inproceedings{Grosch2020AutoCouch,
  author = {Grosch, Pascal and Krafft, Roman and W\"{o}lki, Marcel and Bieniusa, Annette},
  title = {{AutoCouch}: A {JSON} {CRDT} Framework},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {6},
  doi = {10.1145/3380787.3393679},
  keywords = {systems, Automerge, AutoCouch}
}
@inproceedings{Grishchenko2020Chronofold,
  author = {Grishchenko, Victor and Patrakeev, Mikhail},
  title = {{Chronofold}: A Data Structure for Versioned Text},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {7},
  doi = {10.1145/3380787.3393680},
  eprint = {2002.09511},
  keywords = {text-editing, Chronofold}
}
@inproceedings{Nicolas2020renaming,
  author = {Nicolas, Matthieu and Oster, G\'{e}rald and Perrin, Olivier},
  title = {Efficient Renaming in Sequence {CRDTs}},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {9},
  doi = {10.1145/3380787.3393682},
  pdf = {https://hal.inria.fr/hal-02526724/document},
  keywords = {text-editing, LogootSplit}
}
@inproceedings{vanHardenberg2020PushPin,
  author = {van Hardenberg, Peter and Kleppmann, Martin},
  title = {{PushPin}: Towards Production-Quality Peer-to-Peer Collaboration},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {10},
  doi = {10.1145/3380787.3393683},
  pdf = {https://martin.kleppmann.com/papers/pushpin-papoc20.pdf},
  keywords = {systems, usability, PushPin}
}
@inproceedings{Bauwens2020Flec,
  author = {Bauwens, Jim and Boix, Elisa Gonzalez},
  title = {{Flec}: A Versatile Programming Framework for Eventually Consistent Systems},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {12},
  doi = {10.1145/3380787.3393685},
  keywords = {systems, Flec}
}
@inproceedings{Weidner2020composing,
  author = {Weidner, Matthew and Miller, Heather and Meiklejohn, Christopher},
  title = {Composing and Decomposing Op-Based {CRDTs} with Semidirect Products},
  booktitle = {7th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2020},
  year = {2020},
  month = apr,
  publisher = {ACM},
  articleno = {14},
  doi = {10.1145/3380787.3393687},
  eprint = {2004.04303},
  keywords = {composition}
}
@inproceedings{Yu2019undo,
  author = {Yu, Weihai and Elvinger, Victorien and Ignat, Claudia-Lavinia},
  title = {A Generic Undo Support for State-Based {CRDTs}},
  booktitle = {23rd International Conference on Principles of Distributed Systems},
  series = {OPODIS 2019},
  year = {2019},
  month = nov,
  publisher = {Dagstuhl LIPIcs},
  articleno = {14},
  doi = {10.4230/LIPIcs.OPODIS.2019.14},
  pdf = {https://drops.dagstuhl.de/opus/volltexte/2020/11800/pdf/LIPIcs-OPODIS-2019-14.pdf},
  keywords = {state-based, undo}
}
@inproceedings{Kleppmann2019localfirst,
  author = {Kleppmann, Martin and Wiggins, Adam and van Hardenberg, Peter and McGranaghan, Mark},
  title = {Local-First Software: You own your data, in spite of the cloud},
  booktitle = {ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
  series = {Onward! 2019},
  year = {2019},
  month = oct,
  publisher = {ACM},
  pages = {154--178},
  doi = {10.1145/3359591.3359737},
  pdf = {https://martin.kleppmann.com/papers/local-first.pdf},
  keywords = {systems, usability}
}
@article{Kaki2019mergeable,
  author = {Kaki, Gowtham and Priya, Swarn and Sivaramakrishnan, KC and Jagannathan, Suresh},
  title = {Mergeable Replicated Data Types},
  journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
  year = {2019},
  volume = {3},
  number = {OOPSLA},
  month = oct,
  publisher = {ACM},
  doi = {10.1145/3360580},
  url = {https://gowthamk.github.io/docs/mrdt.pdf},
  keywords = {crdt-related}
}
@article{Mogk2019faulttolerantRP,
  author = {Mogk, Ragnar and Drechsler, Joscha and Salvaneschi, Guido and Mezini, Mira},
  title = {A Fault-Tolerant Programming Model for Distributed Interactive Applications},
  journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
  year = {2019},
  volume = {3},
  number = {OOPSLA},
  month = oct,
  publisher = {ACM},
  doi = {10.1145/3360570},
  keywords = {systems}
}
@article{Kollmann2019Snapdoc,
  author = {Kollmann, Stephan A and Kleppmann, Martin and Beresford, Alastair R},
  title = {{Snapdoc}: Authenticated snapshots with history privacy in peer-to-peer collaborative editing},
  journal = {Proceedings on Privacy Enhancing Technologies (PoPETS)},
  volume = {2019},
  number = {3},
  pages = {210--232},
  year = {2019},
  month = jul,
  publisher = {De Gruyter},
  doi = {10.2478/popets-2019-0044},
  pdf = {https://www.petsymposium.org/2019/files/papers/issue3/popets-2019-0044.pdf},
  keywords = {security}
}
@inproceedings{Enes2019synchronization,
  author = {Enes, Vitor and Almeida, Paulo S{\'e}rgio and Baquero, Carlos and Leit\~{a}o, Jo\~{a}o},
  title = {Efficient Synchronization of State-Based {CRDTs}},
  booktitle = {35th IEEE International Conference on Data Engineering},
  series = {ICDE 2019},
  year = {2019},
  month = apr,
  pages = {148--159},
  doi = {10.1109/ICDE.2019.00022},
  eprint = {1803.02750},
  keywords = {state-based}
}
@inproceedings{Leijnse2019higherorder,
  author = {Leijnse, Adriaan and Almeida, Paulo S\'{e}rgio and Baquero, Carlos},
  title = {Higher-Order Patterns in Replicated Data Types},
  booktitle = {6th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2019},
  year = {2019},
  month = mar,
  publisher = {ACM},
  articleno = {5},
  doi = {10.1145/3301419.3323971},
  pdf = {https://repositorio.inesctec.pt/bitstream/123456789/10536/1/P-00Q-WJM.pdf},
  keywords = {composition}
}
@inproceedings{Kleppmann2019interleaving,
  author = {Kleppmann, Martin and Gomes, Victor B. F. and Mulligan, Dominic P. and Beresford, Alastair R.},
  title = {Interleaving Anomalies in Collaborative Text Editors},
  booktitle = {6th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2019},
  year = {2019},
  month = mar,
  publisher = {ACM},
  articleno = {6},
  doi = {10.1145/3301419.3323972},
  pdf = {https://martin.kleppmann.com/papers/interleaving-papoc19.pdf},
  keywords = {text-editing}
}
@inproceedings{Mealha2019cloudEdge,
  author = {Mealha, David and Pregui\c{c}a, Nuno and Gomes, Maria Cecilia and Leit\~{a}o, Jo\~{a}o},
  title = {Data Replication on the Cloud/Edge},
  booktitle = {6th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2019},
  year = {2019},
  month = mar,
  publisher = {ACM},
  articleno = {7},
  doi = {10.1145/3301419.3323973},
  keywords = {systems}
}
@inproceedings{DePorre2019generic,
  author = {De Porre, Kevin and Myter, Florian and De Troyer, Christophe and Scholliers, Christophe and De Meuter, Wolfgang and Boix, Elisa Gonzalez},
  title = {A Generic Replicated Data Type for Strong Eventual Consistency},
  booktitle = {6th Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2019},
  year = {2019},
  month = mar,
  publisher = {ACM},
  articleno = {8},
  doi = {10.1145/3301419.3323974},
  pdf = {http://soft.vub.ac.be/Publications/2019/vub-soft-tr-19-08.pdf},
  keywords = {text-editing, operation-based}
}
@article{Lv2018CAD,
  author = {Lv, Xiao and He, Fazhi and Cheng, Yuan and Wu, Yiqi},
  title = {A novel {CRDT}-based synchronization method for real-time collaborative {CAD} systems},
  journal = {Advanced Engineering Informatics},
  year = {2018},
  month = aug,
  volume = {38},
  pages = {381--391},
  publisher = {Elsevier},
  doi = {10.1016/j.aei.2018.08.008},
  keywords = {systems}
}
@inproceedings{Mogk2018distributedRP,
  author = {Mogk, Ragnar and Baumg{\"a}rtner, Lars and Salvaneschi, Guido and Freisleben, Bernd and Mezini, Mira},
  title = {Fault-tolerant Distributed Reactive Programming},
  booktitle = {32nd European Conference on Object-Oriented Programming},
  series = {ECOOP 2018},
  isbn = {978-3-95977-079-8},
  issn = {1868-8969},
  year = {2018},
  month = jul,
  volume = {109},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  urn = {urn:nbn:de:0030-drops-92064},
  doi = {10.4230/LIPIcs.ECOOP.2018.1},
  keywords = {systems}
}
@inproceedings{Chandramouli2018Faster,
  author = {Chandramouli, Badrish and Prasaad, Guna and Kossmann, Donald and Levandoski, Justin and Hunter, James and Barnett, Mike},
  title = {{FASTER}: A Concurrent Key-Value Store with In-Place Updates},
  booktitle = {International Conference on Management of Data},
  series = {SIGMOD 2018},
  year = {2018},
  month = jun,
  publisher = {ACM},
  pages = {275--290},
  doi = {10.1145/3183713.3196898},
  pdf = {https://www.microsoft.com/en-us/research/uploads/prod/2018/03/faster-sigmod18.pdf},
  keywords = {systems}
}
@article{Preguica2018crdts,
  author = {Pregui{\c c}a, Nuno},
  title = {Conflict-free Replicated Data Types: An Overview},
  year = {2018},
  month = jun,
  eprint = {1806.10254},
  url = {https://arxiv.org/abs/1806.10254},
  keywords = {introduction}
}
@incollection{Preguica2018encyclopedia,
  author = {Pregui{\c c}a, Nuno and Baquero, Carlos and Shapiro, Marc},
  title = {Conflict-Free Replicated Data Types ({CRDT}s)},
  booktitle = {Encyclopedia of Big Data Technologies},
  year = {2018},
  month = may,
  publisher = {Springer},
  doi = {10.1007/978-3-319-63962-8_185-1},
  eprint = {1805.06358},
  keywords = {introduction}
}
@article{Kleppmann2018OpSets,
  author = {Kleppmann, Martin and Gomes, Victor B F and Mulligan, Dominic P and Beresford, Alastair R},
  title = {{OpSets}: Sequential Specifications for Replicated Datatypes (Extended Version)},
  year = {2018},
  month = may,
  eprint = {1805.04263},
  url = {https://arxiv.org/abs/1805.04263},
  keywords = {specification, verification}
}
@inproceedings{Shapiro2018referential,
  author = {Shapiro, Marc and Bieniusa, Annette and Zeller, Peter and Petri, Gustavo},
  title = {Ensuring Referential Integrity under Causal Consistency},
  booktitle = {5th Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2018},
  year = {2018},
  month = apr,
  publisher = {ACM},
  articleno = {1},
  doi = {10.1145/3194261.3194262},
  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/causal-refs-papoc-2018-04.pdf},
  keywords = {causal-consistency}
}
@inproceedings{Bauwens2018constraining,
  author = {Bauwens, Jim and Myter, Florian and Boix, Elisa Gonzalez},
  title = {Constraining the Eventual in Eventual Consistency},
  booktitle = {5th Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2018},
  year = {2018},
  month = apr,
  publisher = {ACM},
  articleno = {2},
  doi = {10.1145/3194261.3194263},
  pdf = {http://myter.be/papers/papoc18.pdf},
  keywords = {counters}
}
@article{Almeida2018delta,
  author = {Almeida, Paulo S\'{e}rgio and Shoker, Ali and Baquero, Carlos},
  title = {Delta state replicated data types},
  journal = {Journal of Parallel and Distributed Computing},
  volume = {111},
  pages = {162--173},
  year = {2018},
  month = jan,
  eprint = {1603.01529},
  doi = {10.1016/j.jpdc.2017.08.003},
  keywords = {state-based}
}
@inproceedings{Najafzadeh2018filesystem,
  author = {Najafzadeh, Mahsa and Shapiro, Marc and Eugster, Patrick},
  title = {Co-Design and Verification of an Available File System},
  booktitle = {19th International Conference on Verification, Model Checking, and Abstract Interpretation},
  series = {VMCAI 2018},
  year = {2018},
  pages = {358--381},
  publisher = {Springer LNCS volume 10747},
  month = jan,
  doi = {10.1007/978-3-319-73721-8_17},
  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf},
  keywords = {trees}
}
@mastersthesis{Enes2017sync,
  author = {Enes, Vitor},
  title = {Efficient Synchronization of State-based {CRDTs}},
  school = {Universidade do Minho},
  year = {2017},
  month = nov,
  url = {https://vitorenes.org/page/other/msc-thesis.pdf},
  keywords = {state-based}
}
@article{Gomes2017verifying,
  author = {Gomes, Victor B F and Kleppmann, Martin and Mulligan, Dominic P and Beresford, Alastair R},
  title = {Verifying strong eventual consistency in distributed systems},
  journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
  year = {2017},
  volume = {1},
  number = {OOPSLA},
  month = oct,
  publisher = {ACM},
  doi = {10.1145/3133933},
  eprint = {1707.01747},
  keywords = {specification, verification}
}
@article{Baquero2017composition,
  author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Cunha, Alcino and Ferreira, Carla},
  title = {Composition in State-based Replicated Data Types},
  journal = {Bulletin of the European Association for Theoretical Computer Science},
  year = {2017},
  month = oct,
  number = {123},
  pdf = {http://bulletin.eatcs.org/index.php/beatcs/article/viewFile/507/496},
  keywords = {composition, state-based}
}
@article{Baquero2017pure,
  author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Shoker, Ali},
  title = {Pure Operation-Based Replicated Data Types},
  year = {2017},
  eprint = {1710.04469},
  month = oct,
  url = {https://arxiv.org/abs/1710.04469},
  keywords = {operation-based}
}
@inproceedings{Yu2017disturbance,
  author = {Yu, Weihai and Oster, G{\'e}rald and Ignat, Claudia-Lavinia},
  title = {Handling Disturbance and Awareness of Concurrent Updates in a Collaborative Editor},
  booktitle = {14th International Conference on Cooperative Design, Visualization, and Engineering},
  series = {CDVE 2017},
  year = {2017},
  month = sep,
  publisher = {Springer LNCS volume 10451},
  pages = {39--47},
  doi = {10.1007/978-3-319-66805-5_5},
  pdf = {https://hal.inria.fr/hal-01652656/document},
  keywords = {systems, usability}
}
@article{Kleppmann2017json,
  author = {Kleppmann, Martin and Beresford, Alastair R},
  title = {A Conflict-Free Replicated {JSON} Datatype},
  journal = {IEEE Transactions on Parallel and Distributed Systems},
  year = {2017},
  volume = {28},
  number = {10},
  pages = {2733--2746},
  month = apr,
  publisher = {IEEE},
  doi = {10.1109/TPDS.2017.2697382},
  eprint = {1608.03960},
  keywords = {trees}
}
@inproceedings{Jungnickel2017imap,
  author = {Jungnickel, Tim and Oldenburg, Lennart},
  title = {{Pluto}: The {CRDT}-Driven {IMAP} Server},
  booktitle = {3rd International Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2017},
  year = 2017,
  month = apr,
  publisher = {ACM},
  articleno = {1},
  doi = {10.1145/3064889.3064891},
  pdf = {http://www.redaktion.tu-berlin.de/fileadmin/a34331500/paper/papoc17-jungnickel.pdf},
  keywords = {systems}
}
@inproceedings{Younes2017resettable,
  author = {Younes, Georges and Almeida, Paulo S\'{e}rgio and Baquero, Carlos},
  title = {Compact Resettable Counters through Causal Stability},
  booktitle = {3rd International Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2017},
  year = {2017},
  month = apr,
  publisher = {ACM},
  articleno = {2},
  doi = {10.1145/3064889.3064892},
  pdf = {https://haslab.uminho.pt/cbm/files/a3-younes.pdf},
  keywords = {counters}
}
@inproceedings{Zeller2017Repliss,
  author = {Zeller, Peter},
  title = {Testing Properties of Weakly Consistent Programs with {Repliss}},
  booktitle = {3rd International Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2017},
  year = {2017},
  month = apr,
  publisher = {ACM},
  articleno = {3},
  doi = {10.1145/3064889.3064893},
  pdf = {https://dl.acm.org/authorize?N37605},
  keywords = {testing, verification}
}
@inproceedings{Enes2017borrowing,
  author = {Enes, Vitor and Baquero, Carlos and Almeida, Paulo S\'{e}rgio and Leit\~{a}o, Jo\~{a}o},
  title = {Borrowing an Identity for a Distributed Counter: Work in Progress Report},
  booktitle = {3rd International Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2017},
  year = {2017},
  month = apr,
  publisher = {ACM},
  doi = {10.1145/3064889.3064894},
  pdf = {https://haslab.uminho.pt/sites/default/files/cbm/files/a5-enes.pdf},
  keywords = {counters}
}
@inproceedings{vanderLinde2017Legion,
  author = {van der Linde, Albert and Fouto, Pedro and Leit{\~a}o, Jo{\~a}o and Pregui{\c c}a, Nuno and Casti{\~n}eira, Santiago and Bieniusa, Annette},
  title = {{Legion}: Enriching Internet Services with Peer-to-Peer Interactions},
  booktitle = {26th International Conference on World Wide Web},
  series = {WWW 2017},
  year = {2017},
  month = apr,
  publisher = {ACM},
  pages = {283--292},
  doi = {10.1145/3038912.3052673},
  pdf = {http://novasys.di.fct.unl.pt/~alinde/publications/fp0964-vanderlinde.pdf},
  keywords = {systems, Legion}
}
@inproceedings{Briot2016group,
  author = {Briot, Lo{\"\i}ck and Urso, Pascal and Shapiro, Marc},
  title = {High Responsiveness for Group Editing {CRDTs}},
  booktitle = {19th International Conference on Supporting Group Work},
  series = {GROUP 2016},
  year = {2016},
  pages = {51--60},
  publisher = {ACM},
  month = nov,
  doi = {10.1145/2957276.2957300},
  pdf = {https://hal.inria.fr/hal-01343941/document},
  keywords = {text-editing, RGASplit}
}
@inproceedings{Nicolaescu2016YATA,
  author = {Nicolaescu, Petru and Jahns, Kevin and Derntl, Michael and Klamma, Ralf},
  title = {Near Real-Time Peer-to-Peer Shared Editing on Extensible Data Types},
  booktitle = {19th International Conference on Supporting Group Work},
  series = {GROUP 2016},
  year = {2016},
  pages = {39--49},
  publisher = {ACM},
  month = nov,
  doi = {10.1145/2957276.2957310},
  pdf = {https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types},
  keywords = {text-editing, Yjs}
}
@inproceedings{Lv2016stringbased,
  author = {Lv, Xiao and He, Fazhi and Cai, Weiwei and Cheng, Yuan},
  title = {An efficient collaborative editing algorithm supporting string-based operations},
  booktitle = {20th IEEE International Conference on Computer Supported Cooperative Work in Design},
  series = {CSCWD 2016},
  year = {2016},
  pages = {45--50},
  publisher = {IEEE},
  month = sep,
  doi = {10.1109/CSCWD.2016.7565961},
  keywords = {text-editing}
}
@inproceedings{Attiya2016text,
  author = {Attiya, Hagit and Burckhardt, Sebastian and Gotsman, Alexey and Morrison, Adam and Yang, Hongseok and Zawirski, Marek},
  title = {Specification and Complexity of Collaborative Text Editing},
  booktitle = {ACM Symposium on Principles of Distributed Computing},
  series = {PODC 2016},
  year = {2016},
  month = jul,
  publisher = {ACM},
  pages = {259--268},
  doi = {10.1145/2933057.2933090},
  pdf = {http://www.cs.ox.ac.uk/people/hongseok.yang/paper/podc16-full.pdf},
  keywords = {text-editing, specification, verification}
}
@inproceedings{Akkoorath2016Cure,
  author = {Akkoorath, Deepthi Devaki and Tomsic, Alejandro Z. and Bravo, Manuel and Li, Zhongmiao and Crain, Tyler and Bieniusa, Annette and Pregui{\c c}a, Nuno and Shapiro, Marc},
  title = {{Cure}: Strong Semantics Meets High Availability and Low Latency},
  booktitle = {36th IEEE International Conference on Distributed Computing Systems},
  series = {ICDCS 2016},
  year = {2016},
  month = jun,
  publisher = {IEEE},
  pages = {405--414},
  doi = {10.1109/ICDCS.2016.98},
  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/Cure-final-ICDCS16.pdf},
  keywords = {systems, Cure, Antidote}
}
@inproceedings{Brown2016bigsets,
  author = {Brown, Russell and Lakhani, Zeeshan and Place, Paul},
  title = {Big(Ger) Sets: Decomposed Delta {CRDT} Sets in {Riak}},
  booktitle = {2nd Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2016},
  year = {2016},
  month = apr,
  articleno = {5},
  publisher = {ACM},
  doi = {10.1145/2911151.2911156},
  eprint = {1605.06424},
  keywords = {set-crdt, systems, composition}
}
@inproceedings{Zawirski2016register,
  author = {Zawirski, Marek and Baquero, Carlos and Bieniusa, Annette and Pregui\c{c}a, Nuno and Shapiro, Marc},
  title = {Eventually Consistent Register Revisited},
  booktitle = {2nd Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2016},
  year = {2016},
  month = apr,
  articleno = {9},
  publisher = {ACM},
  doi = {10.1145/2911151.2911157},
  url = {https://core.ac.uk/download/pdf/154274593.pdf},
  eprint = {1511.05010},
  keywords = {state-based}
}
@inproceedings{Baquero2016embedded,
  author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Lerche, Carl},
  title = {The problem with embedded {CRDT} counters and a solution},
  booktitle = {2nd Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2016},
  year = {2016},
  month = apr,
  articleno = {10},
  publisher = {ACM},
  doi = {10.1145/2911151.2911159},
  url = {http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf},
  keywords = {composition, counters}
}
@inproceedings{Weilbach2016cdvcs,
  author = {Weilbach, Christian and K\"{u}hne, Konrad and Bieniusa, Annette},
  title = {Decoupling Conflict Resolution with {CDVCS}},
  booktitle = {2nd Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2016},
  year = {2016},
  month = apr,
  articleno = {11},
  publisher = {ACM},
  doi = {10.1145/2911151.2911154},
  keywords = {systems, Replikativ}
}
@inproceedings{vanderLinde06delta,
  author = {van der Linde, Albert and Leit\~{a}o, Jo\~{a}o and Pregui\c{c}a, Nuno},
  title = {{$\Delta$-CRDTs}: Making {$\delta$-CRDTs} Delta-based},
  booktitle = {2nd Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2016},
  year = {2016},
  month = apr,
  articleno = {12},
  publisher = {ACM},
  doi = {10.1145/2911151.2911163},
  pdf = {https://novasys.di.fct.unl.pt/~alinde/publications/a12-van_der_linde.pdf},
  keywords = {state-based}
}
@inproceedings{Akkoorath2016objects,
  author = {Akkoorath, Deepthi Devaki and Bieniusa, Annette},
  title = {Highly-Scalable Concurrent Objects},
  booktitle = {2nd Workshop on the Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2016},
  year = {2016},
  month = apr,
  articleno = {13},
  publisher = {ACM},
  doi = {10.1145/2911151.2911158},
  pdf = {https://softech.cs.uni-kl.de/homepage/publications/Akkoorath.Bieniusa2016.pdf},
  keywords = {shared-memory concurrency}
}
@inproceedings{Nedelec2016CRATE,
  author = {N{\'e}delec, Brice and Molli, Pascal and Mostefaoui, Achour},
  title = {{CRATE}: Writing Stories Together with our Browsers},
  booktitle = {25th International World Wide Web Conference},
  series = {WWW 2016},
  year = {2016},
  pages = {231--234},
  publisher = {ACM},
  month = apr,
  doi = {10.1145/2872518.2890539},
  pdf = {https://hal.archives-ouvertes.fr/hal-01303333},
  keywords = {text-editing, LSEQ}
}
@inproceedings{Gotsman2016CISE,
  author = {Gotsman, Alexey and Yang, Hongseok and Ferreira, Carla and Najafzadeh, Mahsa and Shapiro, Marc},
  title = {{'Cause I'm Strong Enough}: Reasoning About Consistency Choices in Distributed Systems},
  booktitle = {43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  series = {POPL 2016},
  year = {2016},
  month = jan,
  publisher = {ACM},
  pages = {371--384},
  numpages = {14},
  doi = {10.1145/2837614.2837625},
  pdf = {http://software.imdea.org/~gotsman/papers/logic-popl16.pdf},
  keywords = {specification, verification}
}
@inproceedings{Zawirski2015SwiftCloud,
  author = {Zawirski, Marek and Pregui{\c c}a, Nuno and Duarte, S{\'e}rgio and Bieniusa, Annette and Balegas, Valter and Shapiro, Marc},
  title = {Write Fast, Read in the Past: Causal Consistency for Client-side Applications},
  booktitle = {16th Annual Middleware Conference},
  year = {2015},
  month = dec,
  publisher = {ACM/IFIP/USENIX},
  pages = {75--87},
  doi = {10.1145/2814576.2814733},
  pdf = {http://lip6.fr/Marc.Shapiro/papers/write-fast-read-past-middleware-2015.pdf},
  keywords = {systems, SwiftCloud}
}
@inproceedings{Briquemont2015partial,
  author = {Iwan Briquemont and Manuel Bravo and Zhongmiao Li and Peter Van Roy},
  title = {Conflict-free Partially Replicated Data Types},
  booktitle = {7th IEEE International Conference on Cloud Computing Technology and Science},
  series = {CloudCom 2015},
  year = {2015},
  month = nov,
  publisher = {IEEE},
  doi = {10.1109/CloudCom.2015.81},
  url = {https://dial.uclouvain.be/pr/boreal/object/boreal%3A214300/datastream/PDF_01/view},
  keywords = {systems, SwiftCloud}
}
@inproceedings{Balegas2015invariants,
  author = {Balegas, Valter and Serra, Diogo and Duarte, S\'{e}rgio and Ferreira, Carla and Shapiro, Marc and Rodrigues, Rodrigo and Pregui\c{c}a, Nuno},
  title = {Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants},
  booktitle = {34th IEEE Symposium on Reliable Distributed Systems},
  series = {SRDS 2015},
  year = {2015},
  month = sep,
  publisher = {IEEE},
  pages = {31--36},
  doi = {10.1109/SRDS.2015.32},
  eprint = {1503.09052},
  keywords = {counters}
}
@inproceedings{Meiklejohn2015Lasp2,
  author = {Meiklejohn, Christopher and Van Roy, Peter},
  title = {{Lasp}: A Language for Distributed, Coordination-free Programming},
  booktitle = {17th International Symposium on Principles and Practice of Declarative Programming},
  series = {PPDP 2015},
  year = {2015},
  month = jul,
  publisher = {ACM},
  pages = {184--195},
  doi = {10.1145/2790449.2790525},
  pdf = {https://www.info.ucl.ac.be/~pvr/ppdp-2015-cr.pdf},
  keywords = {computation, systems}
}
@inproceedings{Nicolaescu2015Yjs,
  author = {Nicolaescu, Petru and Jahns, Kevin and Derntl, Michael and Klamma, Ralf},
  title = {{Yjs}: A Framework for Near Real-Time {P2P} Shared Editing on Arbitrary Data Types},
  booktitle = {15th International Conference on Web Engineering},
  series = {ICWE 2015},
  year = {2015},
  month = jun,
  publisher = {Springer LNCS volume 9114},
  pages = {675--678},
  doi = {10.1007/978-3-319-19890-3_55},
  url = {http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf},
  keywords = {systems, Yjs}
}
@inproceedings{Yu2015undo,
  author = {Yu, Weihai and Andr{\'e}, Luc and Ignat, Claudia-Lavinia},
  title = {A {CRDT} Supporting Selective Undo for Collaborative Text Editing},
  booktitle = {15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems},
  series = {DAIS 2015},
  year = {2015},
  pages = {193--206},
  publisher = {Springer LNCS volume 9038},
  month = jun,
  doi = {10.1007/978-3-319-19129-4_16},
  pdf = {https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf},
  keywords = {text-editing, undo}
}
@inproceedings{Tao2015filesystems,
  author = {Tao, Vinh and Shapiro, Marc and Rancurel, Vianney},
  title = {Merging semantics for conflict updates in geo-distributed file systems},
  booktitle = {8th ACM International Systems and Storage Conference},
  series = {SYSTOR 2015},
  year = {2015},
  publisher = {ACM},
  month = may,
  articleno = {10},
  doi = {10.1145/2757667.2757683},
  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf},
  keywords = {trees}
}
@techreport{Baquero2015composition,
  author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Cunha, Alcino and Ferreira, Carla},
  title = {Composition of State-based {CRDTs}},
  year = {2015},
  month = may,
  institution = {HASLab, INESC TEC},
  url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf},
  keywords = {state-based}
}
@inproceedings{Almeida2015delta,
  author = {Almeida, Paulo S{\'e}rgio and Shoker, Ali and Baquero, Carlos},
  title = {Efficient State-Based {CRDT}s by Delta-Mutation},
  booktitle = {International Conference on Networked Systems},
  series = {NETYS 2015},
  year = 2015,
  pages = {62--76},
  month = may,
  publisher = {Springer LNCS volume 9466},
  doi = {10.1007/978-3-319-26850-7_5},
  eprint = {1410.2803},
  keywords = {state-based}
}
@inproceedings{Navalho2015computations,
  author = {Navalho, David and Duarte, S\'{e}rgio and Pregui\c{c}a, Nuno},
  title = {A Study of {CRDTs} That Do Computations},
  booktitle = {1st Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2015},
  year = {2015},
  month = apr,
  articleno = {1},
  publisher = {ACM},
  doi = {10.1145/2745947.2745948},
  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/papoc-2015-1.pdf},
  keywords = {computation}
}
@inproceedings{Holt2015claret,
  author = {Holt, Brandon and Zhang, Irene and Ports, Dan and Oskin, Mark and Ceze, Luis},
  title = {{Claret}: Using Data Types for Highly Concurrent Distributed Transactions},
  booktitle = {1st Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2015},
  year = {2015},
  month = apr,
  articleno = {4},
  publisher = {ACM},
  doi = {10.1145/2745947.2745951},
  pdf = {http://irenezhang.net/papers/claret-papoc15.pdf},
  keywords = {transactions, systems}
}
@inproceedings{Castineira2015offline,
  author = {Casti{\~n}eira, Santiago J and Bieniusa, Annette},
  title = {Collaborative offline web applications using conflict-free replicated data types},
  booktitle = {1st Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2015},
  year = {2015},
  month = apr,
  articleno = {5},
  publisher = {ACM},
  doi = {10.1145/2745947.2745952},
  keywords = {systems}
}
@inproceedings{Meiklejohn2015Lasp1,
  author = {Meiklejohn, Christopher and Van Roy, Peter},
  title = {Lasp: A Language for Distributed, Eventually Consistent Computations with CRDTs},
  booktitle = {1st Workshop on Principles and Practice of Consistency for Distributed Data},
  series = {PaPoC 2015},
  year = {2015},
  month = apr,
  articleno = {7},
  publisher = {ACM},
  doi = {10.1145/2745947.2745954},
  url = {https://www.info.ucl.ac.be/~pvr/papoc-2015-lasp-abstract.pdf},
  keywords = {computation}
}
@article{Burckhardt2014principles,
  author = {Burckhardt, Sebastian},
  title = {Principles of Eventual Consistency},
  journal = {Foundations and Trends in Programming Languages},
  year = {2014},
  volume = {1},
  number = {1-2},
  pages = {1--150},
  month = oct,
  publisher = {now publishers},
  doi = {10.1561/2500000011},
  pdf = {https://www.nowpublishers.com/article/Download/PGL-011},
  keywords = {introduction}
}
@inproceedings{Li2014Sieve,
  author = {Li, Cheng and Leit\~{a}o, Jo\~{a}o and Clement, Allen and Pregui{\c c}a, Nuno and Rodrigues, Rodrigo and Vafeiadis, Viktor},
  title = {Automating the Choice of Consistency Levels in Replicated Systems},
  booktitle = {USENIX Annual Technical Conference},
  series = {ATC 2014},
  year = {2014},
  month = jun,
  publisher = {USENIX},
  pages = {281--292},
  url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2},
  keywords = {verification}
}
@incollection{Zeller2014verification,
  author = {Zeller, Peter and Bieniusa, Annette and Poetzsch-Heffter, Arnd},
  title = {Formal Specification and Verification of {CRDTs}},
  booktitle = {34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems},
  series = {FORTE 2014},
  year = {2014},
  month = jun,
  pages = {33--48},
  publisher = {Springer LNCS volume 8461},
  doi = {10.1007/978-3-662-43613-4_3},
  url = {https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf},
  keywords = {specification, verification}
}
@inproceedings{Baquero2014opbased,
  author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and Shoker, Ali},
  title = {Making Operation-Based {CRDT}s Operation-Based},
  booktitle = {14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems},
  series = {DAIS 2014},
  pages = {126--140},
  month = jun,
  year = 2014,
  publisher = {Springer LNCS volume 8460},
  doi = {10.1007/978-3-662-43352-2_11},
  pdf = {http://gsd.di.uminho.pt/members/cbm/ps/crdtOpsMiddleware.pdf},
  keywords = {operation-based},
  note = {A shorter paper with the same title appears in PaPEC 2014}
}
@inproceedings{Brown2014Riak,
  author = {Brown, Russell and Cribbs, Sean and Meiklejohn, Christopher and Elliott, Sam},
  title = {{Riak DT Map}: A Composable, Convergent Replicated Dictionary},
  booktitle = {1st Workshop on Principles and Practice of Eventual Consistency},
  series = {PaPEC 2014},
  year = {2014},
  month = apr,
  articleno = {1},
  publisher = {ACM},
  doi = {10.1145/2596631.2596633},
  pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=31},
  keywords = {systems, composition}
}
@inproceedings{Almeida2014decomposition,
  author = {Almeida, Paulo S{\'e}rgio and Shoker, Ali and Baquero, Carlos},
  title = {Efficient State-based {CRDT}s by Decomposition (Work in progress report)},
  booktitle = {1st Workshop on Principles and Practice of Eventual Consistency},
  series = {PaPEC 2014},
  year = {2014},
  month = apr,
  publisher = {ACM},
  articleno = {3},
  doi = {10.1145/2596631.2596634},
  pdf = {https://core.ac.uk/download/pdf/154274611.pdf},
  keywords = {composition}
}
@inproceedings{AhmedNacer2014merging,
  author = {Ahmed-Nacer, Mehdi and Urso, Pascal and Balegas, Valter and Pergui{\c c}a, Nuno},
  title = {Merging {OT} and {CRDT} algorithms},
  booktitle = {1st Workshop on Principles and Practice of Eventual Consistency},
  series = {PaPEC 2014},
  year = {2014},
  month = apr,
  articleno = {9},
  publisher = {ACM},
  doi = {10.1145/2596631.2596636},
  pdf = {https://hal.inria.fr/file/index/docid/957167/filename/main.pdf},
  keywords = {text-editing}
}
@inproceedings{Meiklejohn2014composability,
  author = {Meiklejohn, Christopher},
  title = {On the Composability of the {Riak DT Map}: Expanding from Embedded to Multi-key Structures},
  booktitle = {1st Workshop on Principles and Practice of Eventual Consistency},
  series = {PaPEC 2014},
  year = {2014},
  articleno = {13},
  publisher = {ACM},
  doi = {10.1145/2596631.2596635},
  pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=34},
  keywords = {composition}
}
@inproceedings{Grishchenko2014oplogs,
  author = {Grishchenko, Victor},
  title = {{Citrea} and {Swarm}: Partially ordered op logs in the browser},
  booktitle = {1st Workshop on Principles and Practice of Eventual Consistency},
  series = {PaPEC 2014},
  year = {2014},
  month = apr,
  articleno = {8},
  publisher = {ACM},
  doi = {10.1145/2596631.2596641},
  url = {http://www.ds.ewi.tudelft.nl/~victor/polo.pdf},
  keywords = {text-editing, operation-based}
}
@inproceedings{Kuper2014LVars,
  author = {Kuper, Lindsey and Newton, Ryan R},
  title = {Joining Forces: Toward a Unified Account of {LVars} and Convergent Replicated Data Types},
  booktitle = {5th Workshop on Determinism and Correctness in Parallel Programming},
  series = {WoDet 2014},
  year = {2014},
  month = mar,
  url = {http://wodet.cs.washington.edu/wp-content/uploads/2014/02/wodet2014-final1.pdf},
  keywords = {crdt-related, shared-memory concurrency}
}
@inproceedings{Burckhardt2014specification,
  author = {Burckhardt, Sebastian and Gotsman, Alexey and Yang, Hongseok and Zawirski, Marek},
  title = {Replicated Data Types: Specification, Verification, Optimality},
  booktitle = {41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  series = {POPL 2014},
  year = {2014},
  month = jan,
  publisher = {ACM},
  pages = {271--284},
  doi = {10.1145/2535838.2535848},
  pdf = {http://software.imdea.org/~gotsman/papers/distrmm-popl14-ext.pdf},
  keywords = {specification, verification}
}
@inproceedings{AhmedNacer2013concurrency,
  author = {Ahmed-Nacer, Mehdi and Urso, Pascal and Balegas, Valter and Pregui{\c c}a, Nuno},
  title = {Concurrency Control and Awareness Support for Multi-synchronous Collaborative Editing},
  booktitle = {9th IEEE International Conference on Collaborative Computing},
  series = {CollaborateCom 2013},
  year = {2013},
  publisher = {ICST},
  month = oct,
  doi = {10.4108/icst.collaboratecom.2013.254113},
  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/collaboratecom-2013.pdf},
  keywords = {text-editing}
}
@inproceedings{Nedelec2013LSEQ,
  author = {N{\'e}delec, Brice and Molli, Pascal and Mostefaoui, Achour and Desmontils, Emmanuel},
  title = {{LSEQ}: an Adaptive Structure for Sequences in Distributed Collaborative Editing},
  booktitle = {13th ACM Symposium on Document Engineering},
  series = {DocEng 2013},
  year = {2013},
  pages = {37--46},
  publisher = {ACM},
  month = sep,
  doi = {10.1145/2494266.2494278},
  pdf = {https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf},
  keywords = {text-editing, LSEQ}
}
@article{Almeida2013counters,
  author = {Almeida, Paulo S\'{e}rgio and Baquero, Carlos},
  title = {Scalable Eventually Consistent Counters over Unreliable Networks},
  year = {2013},
  month = jul,
  eprint = {1307.3207},
  url = {https://arxiv.org/abs/1307.3207},
  keywords = {counters}
}
@inproceedings{LeMerrer2013Bitbox,
  author = {Le Merrer, Erwan and Le Scouarnec, Nicolas and Straub, Gilles},
  title = {{Bitbox}: Eventually Consistent File Sharing},
  booktitle = {1st International Conference on Networked Systems},
  series = {NETYS 2013},
  year = {2013},
  month = may,
  pages = {274–278},
  publisher = {Springer LNCS volume 7853},
  doi = {10.1007/978-3-642-40148-0_23},
  keywords = {systems, Bitbox}
}
@inproceedings{Navalho2013stream,
  author = {Navalho, David and Duarte, S\'{e}rgio and Pregui\c{c}a, Nuno and Shapiro, Marc},
  title = {Incremental Stream Processing Using Computational Conflict-Free Replicated Data Types},
  booktitle = {3rd International Workshop on Cloud Data and Platforms},
  series = {CloudDP 2013},
  year = {2013},
  month = apr,
  isbn = {9781450320757},
  publisher = {ACM},
  pages = {31--36},
  doi = {10.1145/2460756.2460762},
  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/computational-CRDTs-CloudDP-2013.pdf},
  keywords = {computation}
}
@inproceedings{Truong2012authenticating,
  author = {Truong, Hien Thi Thu and Ignat, Claudia-Lavinia and Molli, Pascal},
  title = {Authenticating operation-based history in collaborative systems},
  booktitle = {17th ACM International Conference on Supporting Group Work},
  series = {GROUP 2012},
  year = {2012},
  month = oct,
  pages = {131--140},
  publisher = {ACM},
  doi = {10.1145/2389176.2389197},
  url = {https://hal.inria.fr/hal-00761045/document},
  keywords = {security}
}
@inproceedings{Conway2012lattices,
  author = {Conway, Neil and Marczak, William R. and Alvaro, Peter and Hellerstein, Joseph M. and Maier, David},
  title = {Logic and Lattices for Distributed Programming},
  booktitle = {3rd ACM Symposium on Cloud Computing},
  series = {SoCC 2012},
  year = {2012},
  month = oct,
  publisher = {ACM},
  articleno = {1},
  pages = {1--14},
  doi = {10.1145/2391229.2391230},
  pdf = {https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.pdf},
  keywords = {crdt-related}
}
@inproceedings{Bieniusa2012sets,
  author = {Bieniusa, Annette and Zawirski, Marek and Pregui\c{c}a, Nuno and Shapiro, Marc and Baquero, Carlos and Balegas, Valter and Duarte, S{\'e}rgio},
  title = {Brief Announcement: Semantics of Eventually Consistent Replicated Sets},
  booktitle = {26th International Symposium on Distributed Computing},
  series = {DISC 2012},
  year = {2012},
  month = oct,
  publisher = {Springer LNCS volume 7611},
  pages = {441--442},
  doi = {10.1007/978-3-642-33651-5_48},
  url = {https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf},
  keywords = {set-crdt, specification}
}
@techreport{Bieniusa2012optimized,
  author = {Bieniusa, Annette and Zawirski, Marek and Pregui{\c c}a, Nuno and Shapiro, Marc and Baquero, Carlos and Balegas, Valter and Duarte, S{\'e}rgio},
  title = {An Optimized Conflict-free Replicated Set},
  type = {Research Report},
  institution = {INRIA},
  number = {RR-8083},
  year = {2012},
  month = oct,
  eprint = {1210.3368},
  pdf = {http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf},
  keywords = {set-crdt}
}
@techreport{AhmedNacer2012filesystem,
  author = {Ahmed-Nacer, Mehdi and Martin, St{\'e}phane and Urso, Pascal},
  title = {File system on {CRDT}},
  institution = {INRIA},
  year = {2012},
  month = jul,
  number = {RR-8027},
  publisher = {INRIA},
  type = {Research Report},
  eprint = {1207.5990},
  url = {https://hal.inria.fr/hal-00720681/},
  keywords = {trees}
}
@inproceedings{Burckhardt2012CloudTypes,
  author = {Burckhardt, Sebastian and F{\"a}hndrich, Manuel and Leijen, Daan and Wood, Benjamin P},
  title = {Cloud Types for Eventual Consistency},
  booktitle = {26th European Conference on Object-Oriented Programming},
  series = {ECOOP 2012},
  year = {2012},
  month = jun,
  pages = {283--307},
  publisher = {Springer LNCS volume 7313},
  doi = {10.1007/978-3-642-31057-7_14},
  url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final-with-color.pdf},
  keywords = {crdt-related}
}
@inproceedings{Burckhardt2012transactions,
  author = {Burckhardt, Sebastian and Leijen, Daan and F{\"a}hndrich, Manuel and Sagiv, Mooly},
  title = {Eventually Consistent Transactions},
  booktitle = {21st European Symposium on Programming},
  series = {ESOP 2012},
  year = {2012},
  month = mar,
  publisher = {Springer LNCS volume 7211},
  pages = {67--86},
  doi = {10.1007/978-3-642-28869-2_4},
  pdf = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/ecr-esop2012.pdf},
  keywords = {crdt-related, transactions}
}
@inproceedings{Shapiro2011CRDTs,
  author = {Shapiro, Marc and Pregui\c{c}a, Nuno and Baquero, Carlos and Zawirski, Marek},
  title = {Conflict-free Replicated Data Types},
  booktitle = {13th International Conference on Stabilization, Safety, and Security of Distributed Systems},
  series = {SSS 2011},
  year = {2011},
  month = oct,
  pages = {386--400},
  doi = {10.1007/978-3-642-24550-3_29},
  pdf = {https://pages.lip6.fr/Marek.Zawirski/papers/RR-7687.pdf},
  publisher = {Springer LNCS volume 6976},
  keywords = {introduction}
}
@inproceedings{AhmedNacer2011evaluating,
  author = {Ahmed-Nacer, Mehdi and Ignat, Claudia-Lavinia and Oster, G{\'e}rald and Roh, Hyun-Gul and Urso, Pascal},
  title = {Evaluating {CRDTs} for real-time document editing},
  booktitle = {11th ACM Symposium on Document Engineering},
  series = {DocEng 2011},
  year = {2011},
  pages = {103--112},
  publisher = {ACM},
  month = sep,
  doi = {10.1145/2034691.2034717},
  pdf = {https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf},
  keywords = {text-editing}
}
@article{Roh2011RGA,
  author = {Roh, Hyun-Gul and Jeon, Myeongjae and Kim, Jin-Soo and Lee, Joonwon},
  title = {Replicated Abstract Data Types: Building Blocks for Collaborative Applications},
  journal = {Journal of Parallel and Distributed Computing},
  volume = {71},
  number = {3},
  month = mar,
  year = {2011},
  issn = {0743-7315},
  pages = {354--368},
  publisher = {Elsevier},
  doi = {10.1016/j.jpdc.2010.12.006},
  pdf = {http://csl.snu.ac.kr/papers/jpdc11.pdf},
  keywords = {text-editing, RGA}
}
@techreport{Shapiro2011comprehensive,
  author = {Shapiro, Marc and Pregui{\c c}a, Nuno and Baquero, Carlos and Zawirski, Marek},
  title = {A comprehensive study of Convergent and Commutative Replicated Data Types},
  year = {2011},
  number = {7506},
  month = jan,
  institution = {INRIA},
  type = {Research Report},
  url = {http://hal.inria.fr/inria-00555588/},
  keywords = {introduction}
}
@inproceedings{Martin2010xml,
  author = {Martin, St{\'e}phane and Urso, Pascal and Weiss, St{\'e}phane},
  title = {Scalable {XML} Collaborative Editing with Undo},
  booktitle = {On the Move to Meaningful Internet Systems (OTM)},
  year = {2010},
  pages = {507--514},
  publisher = {Springer LNCS volume 6426},
  month = oct,
  doi = {10.1007/978-3-642-16934-2_37},
  eprint = {1010.3615},
  keywords = {trees, undo}
}
@article{Weiss2010LogootUndo,
  author = {Weiss, Stephane and Urso, Pascal and Molli, Pascal},
  title = {{Logoot-Undo}: Distributed Collaborative Editing System on {P2P} Networks},
  journal = {IEEE Transactions on Parallel and Distributed Systems},
  volume = {21},
  number = {8},
  month = aug,
  year = {2010},
  issn = {1045-9219},
  pages = {1162--1174},
  publisher = {IEEE},
  doi = {10.1109/TPDS.2009.173},
  pdf = {https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf},
  keywords = {text-editing, Logoot, undo}
}
@inproceedings{Grishchenko2010hypertext,
  author = {Grishchenko, Victor},
  title = {Deep Hypertext with Embedded Revision Control Implemented in Regular Expressions},
  booktitle = {6th International Symposium on Wikis and Open Collaboration},
  series = {WikiSym 2010},
  year = {2010},
  month = jul,
  publisher = {ACM},
  articleno = {3},
  doi = {10.1145/1832772.1832777},
  url = {http://www.st.ewi.tudelft.nl/victor/articles/ctre.pdf},
  keywords = {text-editing}
}
@article{Letia2010consistency,
  author = {Letia, Mihai and Pregui{\c c}a, Nuno and Shapiro, Marc},
  title = {Consistency without concurrency control in large, dynamic systems},
  journal = {ACM SIGOPS Operating Systems Review},
  year = {2010},
  volume = {44},
  number = {2},
  pages = {29--34},
  month = apr,
  publisher = {ACM},
  doi = {10.1145/1773912.1773921},
  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf},
  keywords = {introduction}
}
@inproceedings{Preguica2009Treedoc,
  author = {Pregui{\c c}a, Nuno and Marques, Joan Manuel and Shapiro, Marc and Letia, Mihai},
  title = {A Commutative Replicated Data Type for Cooperative Editing},
  booktitle = {29th IEEE International Conference on Distributed Computing Systems},
  series = {ICDCS 2009},
  year = {2009},
  pages = {395--403},
  publisher = {IEEE},
  doi = {10.1109/ICDCS.2009.20},
  pdf = {https://hal.inria.fr/inria-00445975/document},
  keywords = {text-editing, Treedoc}
}
@inproceedings{Weiss2009Logoot,
  author = {Weiss, Stephane and Urso, Pascal and Molli, Pascal},
  title = {{Logoot}: A Scalable Optimistic Replication Algorithm for Collaborative Editing on {P2P} Networks},
  booktitle = {29th IEEE International Conference on Distributed Computing Systems},
  series = {ICDCS 2009},
  year = {2009},
  pages = {404--412},
  publisher = {IEEE},
  doi = {10.1109/ICDCS.2009.75},
  pdf = {https://hal.inria.fr/inria-00432368/document},
  keywords = {text-editing, Logoot}
}
@inproceedings{Weiss2007Wooki,
  author = {Weiss, St{\'e}phane and Urso, Pascal and Molli, Pascal},
  title = {{Wooki}: A {P2P} Wiki-Based Collaborative Writing Tool},
  booktitle = {8th International Conference on Web Information Systems Engineering},
  series = {WISE 2007},
  year = {2007},
  pages = {503--512},
  publisher = {Springer LNCS volume 4831},
  month = dec,
  doi = {10.1007/978-3-540-76993-4_42},
  pdf = {http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf},
  keywords = {text-editing, WOOTO}
}
@inproceedings{Oster2006WOOT,
  author = {Oster, G{\'e}rald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad},
  title = {Data consistency for {P2P} collaborative editing},
  booktitle = {20th ACM Conference on Computer Supported Cooperative Work},
  series = {CSCW 2006},
  year = {2006},
  pages = {259--268},
  publisher = {ACM},
  month = nov,
  doi = {10.1145/1180875.1180916},
  pdf = {https://hal.inria.fr/file/index/docid/108523/filename/OsterCSCW06.pdf},
  keywords = {text-editing, WOOT}
}
@techreport{Oster2005WOOT,
  author = {Oster, G{\'e}rald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad},
  title = {Real time group editors without operational transformation},
  year = {2005},
  number = {RR-5580},
  month = may,
  institution = {INRIA},
  type = {Research Report},
  url = {https://hal.inria.fr/inria-00071240/document},
  keywords = {text-editing, WOOT}
}

This file was generated by bibtex2html 1.99.