From bbeaa00f1b23d1fc1a5c4e50ef89cee73eb140b2 Mon Sep 17 00:00:00 2001 From: Martin Kleppmann Date: Tue, 4 Feb 2020 19:38:53 +0000 Subject: [PATCH] Add a BibTeX database and conversion to HTML --- _config.yml | 2 +- _data/toc.yml | 2 + _includes/editable.html | 2 +- papers.bib | 1033 +++++++++++++++++++++++++++++++++++ papers.html | 1153 +++++++++++++++++++++++++++++++++++++++ papers_bib.html | 1106 +++++++++++++++++++++++++++++++++++++ update.sh | 16 + 7 files changed, 3312 insertions(+), 2 deletions(-) create mode 100644 papers.bib create mode 100644 papers.html create mode 100644 papers_bib.html create mode 100755 update.sh diff --git a/_config.yml b/_config.yml index 2699603..4b6300e 100644 --- a/_config.yml +++ b/_config.yml @@ -15,4 +15,4 @@ logo_pixels: 34 color: "#30638e" markdown: kramdown -exclude: [_site, LICENSE, README.md, vendor] +exclude: [_site, LICENSE, README.md, vendor, papers.bib, update.sh] diff --git a/_data/toc.yml b/_data/toc.yml index 7e248f7..caa269f 100644 --- a/_data/toc.yml +++ b/_data/toc.yml @@ -3,6 +3,8 @@ links: - title: Resources url: resources + - title: Papers + url: papers.html - title: Implementations url: implementations - title: CRDT Glossary diff --git a/_includes/editable.html b/_includes/editable.html index bf5b1ec..f36da92 100644 --- a/_includes/editable.html +++ b/_includes/editable.html @@ -1,2 +1,2 @@ - Edit this page + Edit this page Create issue diff --git a/papers.bib b/papers.bib new file mode 100644 index 0000000..c60c5f4 --- /dev/null +++ b/papers.bib @@ -0,0 +1,1033 @@ +% General introductions to CRDTs + +@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 (SSS)}, + year = {2011}, + location = {Grenoble, France}, + pages = {386--400}, + numpages = {15}, + url = {http://dl.acm.org/citation.cfm?id=2050613.2050642}, + acmid = {2050642}, + publisher = {Springer-Verlag}, + address = {Berlin, Heidelberg}, + keywords = {eventual consistency, large-scale distributed systems, replicated shared objects} +} + +@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 Research Report}, +url = {http://hal.inria.fr/inria-00555588/} +} + +@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, +doi = {10.1145/1773912.1773921}, +url = {http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf} +} + +@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, +doi = {10.1561/2500000011}, +url = {http://www.nowpublishers.com/articles/foundations-and-trends-in-programming-languages/PGL-011} +} + +@incollection{Preguica2018encyclopedia, +author = {Pregui{\c c}a, Nuno and Baquero, Carlos and Shapiro, Marc}, +title = {{Conflict-Free Replicated Data Types (CRDTs)}}, +booktitle = {Encyclopedia of Big Data Technologies}, +year = {2018}, +publisher = {Springer International Publishing}, +month = may, +doi = {10.1007/978-3-319-63962-8_185-1}, +url = {https://arxiv.org/abs/1805.06358} +} + +@article{Preguica2018crdts, +author = {Pregui{\c c}a, Nuno}, +title = {{Conflict-free Replicated Data Types: An Overview}}, +year = {2018}, +eprint = {1806.10254}, +month = jun, +url = {https://arxiv.org/abs/1806.10254} +} + +% Operation-based, state-based, delta-based + +@inproceedings{Baquero2014opbased, + author = "Baquero, Carlos and Almeida, Paulo S{\'e}rgio and + Shoker, Ali", + title = {Making Operation-Based {CRDT}s Operation-Based}, + booktitle = dais, + year = 2014, + editor = "Magoutis, Kostas and Pietzuch, Peter", + series = lncs, + volume = 8460, + pages = "126--140", + month = {jun}, + address = {Berlin, Germany}, + organization = {IFIP}, + publisher = springer, + doi = "10.1007/978-3-662-43352-2_11", + url = "http://dx.doi.org/10.1007/978-3-662-43352-2_11" +} + +@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}, +eprinttype = {arxiv}, +month = oct, +url = {https://arxiv.org/abs/1710.04469} +} + +@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 = {INESC TEC High-assurance Software Laboratory (HASLab)}, +url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf} +} + +@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 (NETYS)}, + year = 2015, + editor = "Bouajjani, Ahmed and Fauconnier, Hugues", + volume = 9466, + series = lncs, + pages = "62--76", + month = {may}, + address = {Agadir, Morocco}, + publisher = springer, + doi = "10.1007/978-3-319-26850-7_5", + url = "http://dx.doi.org/10.1007/978-3-319-26850-7_5" +} + +@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 = {Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data}, + series = {PaPoC '16}, + year = {2016}, + isbn = {978-1-4503-4296-4}, + location = {London, United Kingdom}, + pages = {12:1--12:4}, + articleno = {12}, + numpages = {4}, + url = {http://doi.acm.org/10.1145/2911151.2911163}, + doi = {10.1145/2911151.2911163}, + acmid = {2911163}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {CRDT, replication, weak consistency} +} + +@article{Almeida2018delta, + author = {Paulo S{\'{e}}rgio Almeida and + Ali Shoker and + Carlos Baquero}, + title = {{Delta state replicated data types}}, + journal = {J. Parallel Distrib. Comput.}, + volume = {111}, + pages = {162--173}, + year = {2018}, + url = {https://doi.org/10.1016/j.jpdc.2017.08.003}, + url = {http://arxiv.org/abs/1603.01529}, + doi = {10.1016/j.jpdc.2017.08.003}, + timestamp = {Mon, 06 Nov 2017 12:13:23 +0100}, + biburl = {http://dblp.org/rec/bib/journals/jpdc/AlmeidaSB18}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + + +% Text editing CRDTs + +% WOOT +@inproceedings{Oster2006WOOT, +author = {Oster, G{\'e}rald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad}, +title = {{Data consistency for P2P collaborative editing}}, +booktitle = {ACM Conference on Computer Supported Cooperative Work}, +year = {2006}, +pages = {259--268}, +publisher = {ACM Press}, +month = nov, +doi = {10.1145/1180875.1180916}, +url = {https://hal.archives-ouvertes.fr/file/index/docid/108523/filename/OsterCSCW06.pdf} +} + +% WOOTO +@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 (WISE)}, +year = {2007}, +pages = {503--512}, +publisher = {Springer Berlin Heidelberg}, +month = dec, +doi = {10.1007/978-3-540-76993-4_42}, +url = {http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf} +} + +% Detailed specification and analysis of WOOT CRDT +@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, +annote = {}, +institution = {INRIA Research Report}, +url = {https://hal.inria.fr/inria-00071240/document} +} + +% Treedoc +@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 = {Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems}, + series = {ICDCS '09}, + year = {2009}, + isbn = {978-0-7695-3659-0}, + pages = {395--403}, + numpages = {9}, + url = {http://dx.doi.org/10.1109/ICDCS.2009.20}, +url = {https://hal.inria.fr/inria-00445975/document}, + doi = {10.1109/ICDCS.2009.20}, + acmid = {1584604}, + publisher = {IEEE Computer Society}, + address = {Washington, DC, USA}, + keywords = {commutative replicated data type, distributed algorithms, replicated data, co-operative editing, dense identifier space} +} + +% Logoot +@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 = {Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems}, + series = {ICDCS '09}, + year = {2009}, + isbn = {978-0-7695-3659-0}, + pages = {404--412}, + numpages = {9}, + url = {http://dx.doi.org/10.1109/ICDCS.2009.75}, + doi = {10.1109/ICDCS.2009.75}, + acmid = {1584605}, + publisher = {IEEE Computer Society}, + address = {Washington, DC, USA}, + keywords = {P2P, Collaborative Editing} +} + +% Logoot-Undo +@article{Weiss2010LogootUndo, + author = {Weiss, Stephane and Urso, Pascal and Molli, Pascal}, + title = {{Logoot-Undo: Distributed Collaborative Editing System on P2P Networks}}, + journal = {IEEE Trans. Parallel Distrib. Syst.}, + issue_date = {August 2010}, + volume = {21}, + number = {8}, + month = aug, + year = {2010}, + issn = {1045-9219}, + pages = {1162--1174}, + numpages = {13}, + url = {https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf}, + doi = {10.1109/TPDS.2009.173}, + acmid = {1850304}, + publisher = {IEEE Press}, + address = {Piscataway, NJ, USA}, + keywords = {CRDT., Collaborative editing, Collaborative editing, P2P, group undo, scalability, optimistic replication, CRDT., P2P, group undo, optimistic replication, scalability} +} + +% RGA +@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 = {J. Parallel Distrib. Comput.}, + issue_date = {March, 2011}, + volume = {71}, + number = {3}, + month = mar, + year = {2011}, + issn = {0743-7315}, + pages = {354--368}, + numpages = {15}, + url = {http://dx.doi.org/10.1016/j.jpdc.2010.12.006}, + doi = {10.1016/j.jpdc.2010.12.006}, + acmid = {1931272}, + publisher = {Academic Press, Inc.}, + address = {Orlando, FL, USA}, + keywords = {Collaboration, Distributed data structures, Optimistic algorithm, Optimistic replication, Replicated abstract data types} +} + +% LSEQ +@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 (DocEng)}, +year = {2013}, +pages = {37--46}, +publisher = {ACM Press}, +month = sep, +doi = {10.1145/2494266.2494278}, +url = {https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf} +} + +@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 (WWW)}, +year = {2016}, +pages = {231--234}, +publisher = {ACM Press}, +month = apr, +doi = {10.1145/2872518.2890539}, +url = {https://hal.archives-ouvertes.fr/hal-01303333} +} + +@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 (DocEng)}, +year = {2011}, +pages = {103--112}, +publisher = {ACM Press}, +month = sep, +doi = {10.1145/2034691.2034717}, +url = {https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf} +} + +% RGASplit and similar block-wise variants of other algorithms +@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 (GROUP)}, +year = {2016}, +pages = {51--60}, +publisher = {ACM Press}, +month = nov, +doi = {10.1145/2957276.2957300}, +url = {https://hal.inria.fr/hal-01343941/document} +} + +@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 (DAIS)}, +year = {2015}, +pages = {193--206}, +publisher = {Springer}, +month = jun, +doi = {10.1007/978-3-319-19129-4_16}, +url = {https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf} +} + +@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 (CSCWD)}, +year = {2016}, +pages = {45--50}, +publisher = {IEEE}, +month = sep, +doi = {10.1109/CSCWD.2016.7565961}, +url = {http://ieeexplore.ieee.org/document/7565961/} +} + +% Move operation for text +@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}, +year = {2013}, +publisher = {ICST}, +month = oct, +annote = {Includes a move operation for text documents}, +doi = {10.4108/icst.collaboratecom.2013.254113}, +url = {http://eudl.eu/doi/10.4108/icst.collaboratecom.2013.254113} +} + +% YATA / Yjs +@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 (GROUP)}, +year = {2016}, +pages = {39--49}, +publisher = {ACM Press}, +month = nov, +doi = {10.1145/2957276.2957310}, +url = {https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types} +} + + +% Tree CRDTs + +% Extended version available as INRIA tech report RR-7362 https://hal.inria.fr/inria-00508436/ +@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}, +month = oct, +doi = {10.1007/978-3-642-16934-2_37}, +url = {https://arxiv.org/pdf/1010.3615.pdf} +} + +@techreport{AhmedNacer2012filesystem, +author = {Ahmed-Nacer, Mehdi and Martin, St{\'e}phane and Urso, Pascal}, +title = {{File system on CRDT}}, +institution = {INRIA}, +year = {2012}, +number = {RR-8027}, +month = jul, +publisher = {INRIA}, +url = {https://hal.inria.fr/hal-00720681/} +} + +@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, +doi = {10.1109/TPDS.2017.2697382}, +url = {http://arxiv.org/abs/1608.03960} +} + +@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 (SYSTOR)}, +year = {2015}, +publisher = {ACM Press}, +month = may, +doi = {10.1145/2757667.2757683}, +url = {https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf} +} + +@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 (VMCAI)}, +year = {2018}, +pages = {358--381}, +publisher = {Springer International Publishing}, +month = jan, +doi = {10.1007/978-3-319-73721-8_17}, +url = {https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf} +} + + + +% PaPEC 2014 +% https://dblp.uni-trier.de/db/conf/eurosys/papec2014.html +% https://dl.acm.org/doi/proceedings/10.1145/2596631 +% There is a paper "Making Operation-based CRDTs Operation-based" by Baquero et al. but it's +% just a 2-page extended abstract; the longer version (with the same title) is at DAIS 2014. + +@string{papec14 = "First Workshop on Principles and Practice of Eventual Consistency (PaPEC)"} + +@inproceedings{Brown2014Riak, + author = {Brown, Russell and Cribbs, Sean and Meiklejohn, Christopher and Elliott, Sam}, + title = {{Riak DT Map: A Composable, Convergent Replicated Dictionary}}, + booktitle = {Proceedings of the First Workshop on Principles and Practice of Eventual Consistency}, + series = {PaPEC '14}, + year = {2014}, + isbn = {978-1-4503-2716-9}, + location = {Amsterdam, The Netherlands}, + pages = {1:1--1:1}, + articleno = {1}, + numpages = {1}, + url = {http://doi.acm.org/10.1145/2596631.2596633}, + doi = {10.1145/2596631.2596633}, + acmid = {2596633}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {QuickCheck, commutative operations, data replication, dynamo, erlang, eventual consistency, property-based testing, riak} +} + +@inproceedings{Almeida2014decomposition, + author = {Paulo S{\'e}rgio Almeida and Ali Shoker and Carlos Baquero}, + title = {Efficient State-based {CRDT}s by Decomposition (Work in progress report)}, + booktitle = papec14, + year = 2014, + address = amsterdam, + publisher = acm +} + +@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}, +year = {2014}, +publisher = {ACM Press}, +month = apr, +doi = {10.1145/2596631.2596636}, +url = {https://hal.inria.fr/file/index/docid/957167/filename/main.pdf} +} + +@inproceedings{Meiklejohn2014composability, + author = {Meiklejohn, Christopher}, + title = {On the Composability of the Riak DT Map: Expanding from Embedded to Multi-key Structures}, + booktitle = {Proceedings of the First Workshop on Principles and Practice of Eventual Consistency}, + series = {PaPEC '14}, + year = {2014}, + isbn = {978-1-4503-2716-9}, + location = {Amsterdam, The Netherlands}, + pages = {13:1--13:2}, + articleno = {13}, + numpages = {2}, + url = {http://doi.acm.org/10.1145/2596631.2596635}, + doi = {10.1145/2596631.2596635}, + acmid = {2596635}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {commutative operations, data replication, dynamo, erlang, eventual consistency, riak} +} + +@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}, +year = {2014}, +publisher = {ACM Press}, +month = apr, +doi = {10.1145/2596631.2596641}, +url = {http://www.ds.ewi.tudelft.nl/~victor/polo.pdf} +} + +% Associated master's thesis: https://www.dropbox.com/s/t0cyzfvmah9cldw/Master%20Thesis%20-%20Santiago%20Casti%C3%B1eira.pdf +@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 Eventual Consistency}, +year = {2015}, +publisher = {ACM Press}, +doi = {10.1145/2745947.2745952} +} + +% PaPoC 2015 +% https://dblp.uni-trier.de/db/conf/eurosys/papoc2015.html +% https://dl.acm.org/doi/proceedings/10.1145/2745947 + +@string{papoc15 = "First Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)"} + +@inproceedings{Holt2015claret, + author = {Brandon Holt and Irene Zhang and Dan Ports and Mark + Oskin and Luis Ceze}, + title = {Claret: Using Data Types for Highly Concurrent + Distributed Transactions}, + booktitle = papoc, + year = 2015, + address = {Bordeaux, France}, + publisher = acm +} + +% PaPoC 2016 +% https://dblp.uni-trier.de/db/conf/eurosys/papoc2016.html +% https://dl.acm.org/doi/proceedings/10.1145/2911151 +@string{papoc16 = "2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC)"} + +@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 = {Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data}, + series = {PaPoC '16}, + year = {2016}, + isbn = {978-1-4503-4296-4}, + location = {London, United Kingdom}, + pages = {9:1--9:3}, + articleno = {9}, + numpages = {3}, + url = {http://doi.acm.org/10.1145/2911151.2911157}, + doi = {10.1145/2911151.2911157}, + acmid = {2911157}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {CRDTs, eventual consistency, multi-value-register} +} + +@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}, +year = {2016}, +publisher = {ACM Press}, +month = apr, +doi = {10.1145/2911151.2911159}, +url = {http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf} +} + + +% PaPoC 2017 +% https://dblp.uni-trier.de/db/conf/eurosys/papoc2017.html +% https://dl.acm.org/doi/proceedings/10.1145/3064889 +@string{papoc17 = "3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)"} + +@inproceedings{Zeller2017Repliss, +author = {Zeller, Peter}, +title = {{Testing Properties of Weakly Consistent Programs with Repliss}}, +booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data}, +series = {PaPoC'17}, +year = {2017}, +isbn = {978-1-4503-4933-8}, +location = {Belgrade, Serbia}, +pages = {3:1--3:5}, +articleno = {3}, +numpages = {5}, +url = {https://dl.acm.org/authorize?N37605}, +doi = {10.1145/3064889.3064893}, +acmid = {3064893}, +publisher = {ACM}, +address = {New York, NY, USA}, +keywords = {Property-based Testing, Weak Consistency} +} + +% PaPoC 2018 +% https://dblp.uni-trier.de/db/conf/eurosys/papoc2018.html +% https://dl.acm.org/doi/proceedings/10.1145/3194261 +@string{papoc18 = "5th Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC)"} + +% PaPoC 2019 +% https://dl.acm.org/doi/proceedings/10.1145/3301419 +@string{papoc19 = "6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)"} + +@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 (PaPoC)}, +year = {2019}, +publisher = {ACM Press}, +month = mar, +doi = {10.1145/3301419.3323972}, +url = {https://martin.kleppmann.com/papers/interleaving-papoc19.pdf} +} + + +% Systems that use CRDTs + +@inproceedings{Preguica2014Swiftcloud, + author = {Nuno Pregui{\c{c}}a and + Marek Zawirski and + Annette Bieniusa and + S{\'{e}}rgio Duarte and + Valter Balegas and + Carlos Baquero and + Marc Shapiro}, + title = {{SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way + to the Client Machine}}, + booktitle = {33rd {IEEE} International Symposium on Reliable Distributed Systems + Workshops, {SRDS} Workshops 2014, Nara, Japan, October 6-9, 2014}, + pages = {30--33}, + year = {2014}, + publisher = {IEEE Computer Society}, + url = {https://ieeexplore.ieee.org/document/7000132}, + url = {http://arxiv.org/abs/1310.3107} +} + +% Swiftcloud +@inproceedings{Briquemont2015partial, +author = {Iwan Briquemont and Manuel Bravo and Zhongmiao Li and Peter Van Roy}, +title = {Conflict-free Partially Replicated Data Types}, +booktitle = {Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science (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} +} + +@inproceedings{Sovran2011Walter, + author = {Sovran, Yair and Power, Russell and Aguilera, Marcos K. and Li, Jinyang}, + title = {{Transactional Storage for Geo-replicated Systems}}, + booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles}, + series = {SOSP '11}, + year = {2011}, + isbn = {978-1-4503-0977-6}, + location = {Cascais, Portugal}, + pages = {385--400}, + numpages = {16}, + url = {http://doi.acm.org/10.1145/2043556.2043592}, + doi = {10.1145/2043556.2043592}, + acmid = {2043592}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {asynchronous replication, distributed storage, geo-distributed systems, key-value store, parallel snapshot isolation, transactions} +} + +@inproceedings{Meiklejohn2015Lasp, + author = {Meiklejohn, Christopher and Van Roy, Peter}, + title = {Lasp: A Language for Distributed, Coordination-free Programming}, + booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming}, + series = {PPDP '15}, + year = {2015}, + isbn = {978-1-4503-3516-4}, + location = {Siena, Italy}, + pages = {184--195}, + numpages = {12}, + url = {http://doi.acm.org/10.1145/2790449.2790525}, + doi = {10.1145/2790449.2790525}, + acmid = {2790525}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {Erlang, commutative operations, eventual consistency} +} + +@inproceedings{Akkoorath2016Cure, +author={D. D. Akkoorath and A. Z. Tomsic and M. Bravo and Z. Li and T. Crain and A. Bieniusa and N. Pregui{\c c}a and M. Shapiro}, +booktitle={Proceedings of the 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS)}, +title={{Cure: Strong Semantics Meets High Availability and Low Latency}}, +year={2016}, +volume={}, +number={}, +pages={405-414}, +keywords={application program interfaces;cloud computing;CAP theorem;Cure;NoSQL databases;NoSQL-style AP databases;atomicity;causal consistency;classical CP databases;cloud-scale applications;developer friendly API;high-level data types;latency;multikey updates;parallelism;strong semantics;Clocks;Convergence;Databases;Programming;Protocols;Semantics;Servers}, +doi={10.1109/ICDCS.2016.98}, +ISSN={1063-6927}, +month={June} +} + +@inproceedings{Jungnickel2017imap, + author = {Jungnickel, Tim and Oldenburg, Lennart}, + title = {Pluto: The {CRDT}-Driven {IMAP} Server}, + booktitle = {Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)}, + year = 2017, + series = {PaPoC'17}, + pages = {1:1--1:5}, + address = {Belgrade, Serbia}, + publisher = {ACM}, + Keywords = {CRDT, Cloud Deployments, Consistency Control, IMAP}, + doi = {10.1145/3064889.3064891}, + url = {http://doi.acm.org/10.1145/3064889.3064891} +} + +@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 = {2018 International Conference on Management of Data (SIGMOD)}, +year = {2018}, +month = {June}, +publisher = {ACM}, +url = {https://www.microsoft.com/en-us/research/publication/faster-concurrent-key-value-store-place-updates/}, +doi = {10.1145/3183713.3196898} +} + +@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 (CDVE)}, +year = {2017}, +pages = {39--47}, +publisher = {Springer International Publishing}, +month = sep, +doi = {10.1007/978-3-319-66805-5_5} +} + + +% Other datatypes + +@article{Almeida2013counters, + author = {Paulo S{\'{e}}rgio Almeida and + Carlos Baquero}, + title = {{Scalable Eventually Consistent Counters over Unreliable Networks}}, + journal = {CoRR}, + volume = {abs/1307.3207}, + year = {2013}, + url = {http://arxiv.org/abs/1307.3207}, + archivePrefix = {arXiv}, + eprint = {1307.3207}, + timestamp = {Wed, 07 Jun 2017 14:40:38 +0200}, + biburl = {http://dblp.org/rec/bib/journals/corr/AlmeidaB13}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@mastersthesis{Enes2017sync, + author = {Vitor Enes}, + title = {{Efficient Synchronization of State-based CRDTs}}, + school = {Universidade do Minho}, + year = {2017}, + url = {https://vitorenes.org/page/other/msc-thesis.pdf} +} + +% bounded counter crdt +@inproceedings{Balegas2015invariants, + author = {Valter Balegas and + Diogo Serra and + S{\'{e}}rgio Duarte and + Carla Ferreira and + Marc Shapiro and + Rodrigo Rodrigues and + Nuno M. Pregui{\c{c}}a}, + title = {{Extending Eventually Consistent Cloud Databases for Enforcing Numeric + Invariants}}, + booktitle = {34th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2015, + Montreal, QC, Canada, September 28 - October 1, 2015}, + pages = {31--36}, + year = {2015}, + publisher = {IEEE Computer Society}, + url = {https://ieeexplore.ieee.org/document/7371565}, + doi = {10.1109/SRDS.2015.32} +} + +@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 = {Proceedings of the 26th international conference on Distributed Computing}, + series = {DISC'12}, + year = {2012}, + isbn = {978-3-642-33650-8}, + location = {Salvador, Brazil}, + pages = {441--442}, + numpages = {2}, + url = {https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf}, + doi = {10.1007/978-3-642-33651-5_48}, + acmid = {2427932}, + publisher = {Springer-Verlag}, + address = {Berlin, Heidelberg} +} + +@techreport{Bieniusa2012optimized, + hal_id = {hal-00738680}, + url = {http://hal.inria.fr/hal-00738680}, + title = {{An optimized conflict-free replicated set}}, + 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}, + keywords = {Data replication; optimistic replication; commutative operations}, + language = {Anglais}, + affiliation = {REGAL - INRIA Rocquencourt , Laboratoire d'Informatique de Paris 6 - LIP6 , Centro de Investiga{\c c}{\\~a}o em Inform{\'a}tica e Tecnologias da Informa{\c c}{\\~a}o - CITI , Universidade do Minho Departamento de Inform{\'a}tica Distributed Systems Group - Universidade do Minho Departamento de Inform{\'a}tica}, + pages = {12}, + type = {Rapport de recherche}, + institution = {INRIA}, + number = {RR-8083}, + year = {2012}, + month = Oct, + pdf = {http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf} +} + +@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 (ICWE)}, +year = {2015}, +publisher = {Springer International Publishing}, +month = jun, +doi = {10.1007/978-3-319-19890-3_55}, +url = {http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf} +} + +@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}, +volume = {38}, +pages = {381--391}, +month = aug, +publisher = {Elsevier}, +doi = {10.1016/j.aei.2018.08.008}, +url = {https://linkinghub.elsevier.com/retrieve/pii/S147403461730486X} +} + + +% Specification and verification + +@incollection{Zeller2014verification, +author = {Zeller, Peter and Bieniusa, Annette and Poetzsch-Heffter, Arnd}, +title = {{Formal Specification and Verification of CRDTs}}, +booktitle = {FORTE 2014: Formal Techniques for Distributed Objects, Components, and Systems}, +year = {2014}, +pages = {33--48}, +publisher = {Springer Berlin Heidelberg}, +address = {Berlin, Heidelberg}, +annote = {Proves correctness of several state-based CRDTs using Isabelle}, +doi = {10.1007/978-3-662-43613-4_3}, +isbn = {978-3-662-43612-7}, +url = {https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf} +} + +@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}, +url = {https://arxiv.org/abs/1707.01747} +} + +@inproceedings{Burckhardt2014specification, + author = {Burckhardt, Sebastian and Gotsman, Alexey and Yang, Hongseok and Zawirski, Marek}, + title = {{Replicated Data Types: Specification, Verification, Optimality}}, + booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, + series = {POPL '14}, + year = {2014}, + isbn = {978-1-4503-2544-8}, + location = {San Diego, California, USA}, + pages = {271--284}, + numpages = {14}, + url = {http://doi.acm.org/10.1145/2535838.2535848}, + doi = {10.1145/2535838.2535848}, + acmid = {2535848}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {eventual consistency, replication, weak memory} +} + +@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)}}, +journal = {arXiv}, +volume = {1805.04263}, +year = {2018}, +month = may, +url = {https://arxiv.org/abs/1805.04263} +} + +@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 = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, + series = {POPL '16}, + year = {2016}, + isbn = {978-1-4503-3549-2}, + location = {St. Petersburg, FL, USA}, + pages = {371--384}, + numpages = {14}, + url = {http://software.imdea.org/~gotsman/papers/logic-popl16.pdf}, + doi = {10.1145/2837614.2837625}, + acmid = {2837625}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {Replication, causal consistency, integrity invariants} +} + +@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 = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing}, + series = {PODC '16}, + year = {2016}, + isbn = {978-1-4503-3964-3}, + location = {Chicago, Illinois, USA}, + pages = {259--268}, + numpages = {10}, + url = {http://doi.acm.org/10.1145/2933057.2933090}, + doi = {10.1145/2933057.2933090}, + acmid = {2933090}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {collaborative text editing, eventual consistency} +} + +% safety analysis +@inproceedings{Li2014Sieve, + author = {Cheng Li and Joao Leit{\~a}o and Allen Clement and Nuno Pregui{\c c}a and Rodrigo Rodrigues and Viktor Vafeiadis}, + title = {{Automating the Choice of Consistency Levels in Replicated Systems}}, + booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)}, + year = {2014}, + isbn = {978-1-931971-10-2}, + address = {Philadelphia, PA}, + pages = {281--292}, + url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2}, + publisher = {USENIX Association} +} + + +% Close relatives to CRDTs + +@techreport{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}}, +year = {2012}, +number = {UCB/EECS-2012-167}, +month = jun, +institution = {Electrical Engineering and Computer Sciences, University of California at Berkeley}, +url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.html} +} + +@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 (ECOOP)}, +year = {2012}, +pages = {283--307}, +publisher = {Springer}, +month = jun, +doi = {10.1007/978-3-642-31057-7_14}, +url = {http://research.microsoft.com/pubs/163842/final-with-color.pdf} +} + +@inproceedings{Burckhardt2012transactions, + author = {Sebastian Burckhardt and + Daan Leijen and + Manuel F{\"a}hndrich and + Mooly Sagiv}, + title = {Eventually Consistent Transactions}, + booktitle = {21st European Symposium on Programming (ESOP)}, + year = {2012}, + pages = {67-86}, + ee = {http://dx.doi.org/10.1007/978-3-642-28869-2_4}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@TechReport{Burckhardt2013eventual, +author = {Burckhardt, Sebastian and Gotsman, Alexey and Yang, Hongseok Yang}, +title = {{Understanding Eventual Consistency}}, +institution = {Microsoft Research}, +year = {2013}, +number = {MSR-TR-2013-39}, +url = {https://www.microsoft.com/en-us/research/publication/understanding-eventual-consistency/} +} + +@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} +} + +@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}, +year = {2014}, +month = mar, +url = {http://www.cs.indiana.edu/~lkuper/papers/joining-wodet14.pdf} +} diff --git a/papers.html b/papers.html new file mode 100644 index 0000000..d983604 --- /dev/null +++ b/papers.html @@ -0,0 +1,1153 @@ +--- +layout: page +title: CRDT Papers +--- + + + +

CRDT Papers

+
+ +
+[1] +
+
+Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. + Conflict-free replicated data types. + In 13th International Conference on Stabilization, Safety, and + Security of Distributed Systems (SSS), pages 386--400, Berlin, Heidelberg, + 2011. Springer-Verlag. +[ bib | +http ] +
+Keywords: eventual consistency, large-scale distributed systems, replicated shared objects +
+ +
+ + +
+[2] +
+
+Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. + A comprehensive study of convergent and commutative replicated data + types. + Technical Report 7506, INRIA Research Report, January 2011. +[ bib | +http ] + +
+ + +
+[3] +
+
+Mihai Letia, Nuno Preguiça, and Marc Shapiro. + Consistency without concurrency control in large, dynamic systems. + ACM SIGOPS Operating Systems Review, 44(2):29--34, April 2010. +[ bib | +DOI | +.pdf ] + +
+ + +
+[4] +
+
+Sebastian Burckhardt. + Principles of Eventual Consistency. + Foundations and Trends in Programming Languages, 1(1-2):1--150, + October 2014. +[ bib | +DOI | +http ] + +
+ + +
+[5] +
+
+Nuno Preguiça, Carlos Baquero, and Marc Shapiro. + Conflict-Free Replicated Data Types (CRDTs). + In Encyclopedia of Big Data Technologies. Springer + International Publishing, May 2018. +[ bib | +DOI | +http ] + +
+ + +
+[6] +
+
+Nuno Preguiça. + Conflict-free Replicated Data Types: An Overview. + June 2018. +[ bib | +arXiv | +http ] + +
+ + +
+[7] +
+
+Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. + Making operation-based CRDTs operation-based. + volume 8460, pages 126--140, Berlin, Germany, jun 2014. IFIP. +[ bib | +DOI | +http ] + +
+ + +
+[8] +
+
+Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. + Pure operation-based replicated data types. + October 2017. +[ bib | +arXiv | +http ] + +
+ + +
+[9] +
+
+Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira. + Composition of State-based CRDTs. + Technical report, INESC TEC High-assurance Software Laboratory + (HASLab), May 2015. +[ bib | +.pdf ] + +
+ + +
+[10] +
+
+Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. + Efficient state-based CRDTs by delta-mutation. + In Ahmed Bouajjani and Hugues Fauconnier, editors, International + Conference on Networked Systems (NETYS), volume 9466, pages 62--76, Agadir, + Morocco, may 2015. +[ bib | +DOI | +http ] + +
+ + +
+[11] +
+
+Albert van der Linde, João Leitão, and Nuno Preguiça. + δ-crdts: Making δ-crdts delta-based. + In Proceedings of the 2Nd Workshop on the Principles and + Practice of Consistency for Distributed Data, PaPoC '16, pages 12:1--12:4, + New York, NY, USA, 2016. ACM. +[ bib | +DOI | +http ] +
+Keywords: CRDT, replication, weak consistency +
+ +
+ + +
+[12] +
+
+Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. + Delta state replicated data types. + J. Parallel Distrib. Comput., 111:162--173, 2018. +[ bib | +DOI | +http ] + +
+ + +
+[13] +
+
+Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine. + Data consistency for P2P collaborative editing. + In ACM Conference on Computer Supported Cooperative Work, pages + 259--268. ACM Press, November 2006. +[ bib | +DOI | +.pdf ] + +
+ + +
+[14] +
+
+Stéphane Weiss, Pascal Urso, and Pascal Molli. + Wooki: A P2P Wiki-Based Collaborative Writing Tool. + In 8th International Conference on Web Information Systems + Engineering (WISE), pages 503--512. Springer Berlin Heidelberg, December + 2007. +[ bib | +DOI | +.pdf ] + +
+ + +
+[15] +
+
+Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine. + Real time group editors without operational transformation. + Technical Report RR-5580, INRIA Research Report, May 2005. +[ bib | +http ] + +
+ + +
+[16] +
+
+Nuno Preguiça, Joan Manuel Marques, Marc Shapiro, and Mihai Letia. + A Commutative Replicated Data Type for Cooperative Editing. + In Proceedings of the 2009 29th IEEE International Conference on + Distributed Computing Systems, ICDCS '09, pages 395--403, Washington, DC, + USA, 2009. IEEE Computer Society. +[ bib | +DOI | +http ] +
+Keywords: commutative replicated data type, distributed algorithms, replicated data, co-operative editing, dense identifier space +
+ +
+ + +
+[17] +
+
+Stephane Weiss, Pascal Urso, and Pascal Molli. + Logoot: A Scalable Optimistic Replication Algorithm for + Collaborative Editing on P2P Networks. + In Proceedings of the 2009 29th IEEE International Conference on + Distributed Computing Systems, ICDCS '09, pages 404--412, Washington, DC, + USA, 2009. IEEE Computer Society. +[ bib | +DOI | +http ] +
+Keywords: P2P, Collaborative Editing +
+ +
+ + +
+[18] +
+
+Stephane Weiss, Pascal Urso, and Pascal Molli. + Logoot-Undo: Distributed Collaborative Editing System on P2P + Networks. + IEEE Trans. Parallel Distrib. Syst., 21(8):1162--1174, August + 2010. +[ bib | +DOI | +.pdf ] +
+Keywords: CRDT., Collaborative editing, Collaborative editing, P2P, group undo, scalability, optimistic replication, CRDT., P2P, group undo, optimistic replication, scalability +
+ +
+ + +
+[19] +
+
+Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee. + Replicated Abstract Data Types: Building Blocks for Collaborative + Applications. + J. Parallel Distrib. Comput., 71(3):354--368, March 2011. +[ bib | +DOI | +http ] +
+Keywords: Collaboration, Distributed data structures, Optimistic algorithm, Optimistic replication, Replicated abstract data types +
+ +
+ + +
+[20] +
+
+Brice Nédelec, Pascal Molli, Achour Mostefaoui, and Emmanuel Desmontils. + LSEQ: an Adaptive Structure for Sequences in Distributed + Collaborative Editing. + In 13th ACM Symposium on Document Engineering (DocEng), pages + 37--46. ACM Press, September 2013. +[ bib | +DOI | +.pdf ] + +
+ + +
+[21] +
+
+Brice Nédelec, Pascal Molli, and Achour Mostefaoui. + CRATE: Writing Stories Together with our Browsers. + In 25th International World Wide Web Conference (WWW), pages + 231--234. ACM Press, April 2016. +[ bib | +DOI | +http ] + +
+ + +
+[22] +
+
+Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, and + Pascal Urso. + Evaluating CRDTs for real-time document editing. + In 11th ACM Symposium on Document Engineering (DocEng), pages + 103--112. ACM Press, September 2011. +[ bib | +DOI | +.pdf ] + +
+ + +
+[23] +
+
+Loïck Briot, Pascal Urso, and Marc Shapiro. + High Responsiveness for Group Editing CRDTs. + In 19th International Conference on Supporting Group Work + (GROUP), pages 51--60. ACM Press, November 2016. +[ bib | +DOI | +http ] + +
+ + +
+[24] +
+
+Weihai Yu, Luc André, and Claudia-Lavinia Ignat. + A CRDT Supporting Selective Undo for Collaborative Text Editing. + In 15th IFIP WG 6.1 International Conference on Distributed + Applications and Interoperable Systems (DAIS), pages 193--206. Springer, + June 2015. +[ bib | +DOI | +.pdf ] + +
+ + +
+[25] +
+
+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), pages 45--50. IEEE, September 2016. +[ bib | +DOI | +http ] + +
+ + +
+[26] +
+
+Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Preguiça. + Concurrency Control and Awareness Support for Multi-synchronous + Collaborative Editing. + In 9th IEEE International Conference on Collaborative + Computing. ICST, October 2013. +[ bib | +DOI | +http ] + +
+ + +
+[27] +
+
+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), pages 39--49. ACM Press, November 2016. +[ bib | +DOI | +http ] + +
+ + +
+[28] +
+
+Stéphane Martin, Pascal Urso, and Stéphane Weiss. + Scalable XML Collaborative Editing with Undo. + In On the Move to Meaningful Internet Systems (OTM), pages + 507--514. Springer, October 2010. +[ bib | +DOI | +.pdf ] + +
+ + +
+[29] +
+
+Mehdi Ahmed-Nacer, Stéphane Martin, and Pascal Urso. + File system on CRDT. + Technical Report RR-8027, INRIA, July 2012. +[ bib | +http ] + +
+ + +
+[30] +
+
+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 | +http ] + +
+ + +
+[31] +
+
+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). ACM Press, May 2015. +[ bib | +DOI | +.pdf ] + +
+ + +
+[32] +
+
+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), pages 358--381. Springer + International Publishing, January 2018. +[ bib | +DOI | +.pdf ] + +
+ + +
+[33] +
+
+Russell Brown, Sean Cribbs, Christopher Meiklejohn, and Sam Elliott. + Riak DT Map: A Composable, Convergent Replicated Dictionary. + In Proceedings of the First Workshop on Principles and Practice + of Eventual Consistency, PaPEC '14, pages 1:1--1:1, New York, NY, USA, 2014. + ACM. +[ bib | +DOI | +http ] +
+Keywords: QuickCheck, commutative operations, data replication, dynamo, erlang, eventual consistency, property-based testing, riak +
+ +
+ + +
+[34] +
+
+Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. + Efficient state-based CRDTs by decomposition (work in progress + report). + In First Workshop on Principles and Practice of Eventual + Consistency (PaPEC), 2014. +[ bib ] + +
+ + +
+[35] +
+
+Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Perguiça. + Merging OT and CRDT algorithms. + In 1st Workshop on Principles and Practice of Eventual + Consistency. ACM Press, April 2014. +[ bib | +DOI | +.pdf ] + +
+ + +
+[36] +
+
+Christopher Meiklejohn. + On the composability of the riak dt map: Expanding from embedded to + multi-key structures. + In Proceedings of the First Workshop on Principles and Practice + of Eventual Consistency, PaPEC '14, pages 13:1--13:2, New York, NY, USA, + 2014. ACM. +[ bib | +DOI | +http ] +
+Keywords: commutative operations, data replication, dynamo, erlang, eventual consistency, riak +
+ +
+ + +
+[37] +
+
+Victor Grishchenko. + Citrea and Swarm: Partially ordered op logs in the browser. + In 1st Workshop on Principles and Practice of Eventual + Consistency. ACM Press, April 2014. +[ bib | +DOI | +.pdf ] + +
+ + +
+[38] +
+
+Santiago J Castiñeira and Annette Bieniusa. + Collaborative offline web applications using conflict-free replicated + data types. + In 1st Workshop on Principles and Practice of Eventual + Consistency. ACM Press, 2015. +[ bib | +DOI ] + +
+ + +
+[39] +
+
+Brandon Holt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze. + Claret: Using data types for highly concurrent distributed + transactions. + Bordeaux, France, 2015. +[ bib ] + +
+ + +
+[40] +
+
+Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça, and Marc + Shapiro. + Eventually Consistent Register Revisited. + In Proceedings of the 2Nd Workshop on the Principles and + Practice of Consistency for Distributed Data, PaPoC '16, pages 9:1--9:3, New + York, NY, USA, 2016. ACM. +[ bib | +DOI | +http ] +
+Keywords: CRDTs, eventual consistency, multi-value-register +
+ +
+ + +
+[41] +
+
+Carlos Baquero, Paulo Sérgio Almeida, and Carl Lerche. + The problem with embedded CRDT counters and a solution. + In 2nd Workshop on the Principles and Practice of Consistency + for Distributed Data. ACM Press, April 2016. +[ bib | +DOI | +.pdf ] + +
+ + +
+[42] +
+
+Peter Zeller. + Testing Properties of Weakly Consistent Programs with Repliss. + In Proceedings of the 3rd International Workshop on Principles + and Practice of Consistency for Distributed Data, PaPoC'17, pages 3:1--3:5, + New York, NY, USA, 2017. ACM. +[ bib | +DOI | +http ] +
+Keywords: Property-based Testing, Weak Consistency +
+ +
+ + +
+[43] +
+
+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). ACM Press, March 2019. +[ bib | +DOI | +.pdf ] + +
+ + +
+[44] +
+
+Nuno Preguiça, Marek Zawirski, Annette Bieniusa, Sérgio Duarte, + Valter Balegas, Carlos Baquero, and Marc Shapiro. + SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to + the Client Machine. + In 33rd IEEE International Symposium on Reliable Distributed + Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, + pages 30--33. IEEE Computer Society, 2014. +[ bib | +http ] + +
+ + +
+[45] +
+
+Iwan Briquemont, Manuel Bravo, Zhongmiao Li, and Peter Van Roy. + Conflict-free partially replicated data types. + In Proceedings of the 7th IEEE International Conference on Cloud + Computing Technology and Science (CloudCom 2015). IEEE, Nov 2015. +[ bib | +DOI | +http ] + +
+ + +
+[46] +
+
+Yair Sovran, Russell Power, Marcos K. Aguilera, and Jinyang Li. + Transactional Storage for Geo-replicated Systems. + In Proceedings of the Twenty-Third ACM Symposium on Operating + Systems Principles, SOSP '11, pages 385--400, New York, NY, USA, 2011. ACM. +[ bib | +DOI | +http ] +
+Keywords: asynchronous replication, distributed storage, geo-distributed systems, key-value store, parallel snapshot isolation, transactions +
+ +
+ + +
+[47] +
+
+Christopher Meiklejohn and Peter Van Roy. + Lasp: A language for distributed, coordination-free programming. + In Proceedings of the 17th International Symposium on Principles + and Practice of Declarative Programming, PPDP '15, pages 184--195, New York, + NY, USA, 2015. ACM. +[ bib | +DOI | +http ] +
+Keywords: Erlang, commutative operations, eventual consistency +
+ +
+ + +
+[48] +
+
+D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, + N. Preguiça, and M. Shapiro. + Cure: Strong Semantics Meets High Availability and Low Latency. + In Proceedings of the 2016 IEEE 36th International Conference on + Distributed Computing Systems (ICDCS), pages 405--414, June 2016. +[ bib | +DOI ] +
+Keywords: application program interfaces;cloud computing;CAP theorem;Cure;NoSQL databases;NoSQL-style AP databases;atomicity;causal consistency;classical CP databases;cloud-scale applications;developer friendly API;high-level data types;latency;multikey updates;parallelism;strong semantics;Clocks;Convergence;Databases;Programming;Protocols;Semantics;Servers +
+ +
+ + +
+[49] +
+
+Tim Jungnickel and Lennart Oldenburg. + Pluto: The CRDT-driven IMAP server. + In Workshop on Principles and Practice of Consistency for + Distributed Data (PaPoC), PaPoC'17, pages 1:1--1:5, Belgrade, Serbia, 2017. + ACM. +[ bib | +DOI | +http ] +
+Keywords: CRDT, Cloud Deployments, Consistency Control, IMAP +
+ +
+ + +
+[50] +
+
+Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin Levandoski, James + Hunter, and Mike Barnett. + FASTER: A Concurrent Key-Value Store with In-Place Updates. + In 2018 International Conference on Management of Data + (SIGMOD). ACM, June 2018. +[ bib | +DOI | +http ] + +
+ + +
+[51] +
+
+Weihai Yu, Gérald Oster, and Claudia-Lavinia Ignat. + Handling Disturbance and Awareness of Concurrent Updates in a + Collaborative Editor. + In 14th International Conference on Cooperative Design, + Visualization, and Engineering (CDVE), pages 39--47. Springer International + Publishing, September 2017. +[ bib | +DOI ] + +
+ + +
+[52] +
+
+Paulo Sérgio Almeida and Carlos Baquero. + Scalable Eventually Consistent Counters over Unreliable Networks. + CoRR, abs/1307.3207, 2013. +[ bib | +arXiv | +http ] + +
+ + +
+[53] +
+
+Vitor Enes. + Efficient Synchronization of State-based CRDTs. + Master's thesis, Universidade do Minho, 2017. +[ bib | +.pdf ] + +
+ + +
+[54] +
+
+Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, + Rodrigo Rodrigues, and Nuno M. Preguiça. + Extending Eventually Consistent Cloud Databases for Enforcing + Numeric Invariants. + In 34th IEEE Symposium on Reliable Distributed Systems, SRDS + 2015, Montreal, QC, Canada, September 28 - October 1, 2015, pages 31--36. + IEEE Computer Society, 2015. +[ bib | +DOI | +http ] + +
+ + +
+[55] +
+
+Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos + Baquero, Valter Balegas, and Sérgio Duarte. + Brief announcement: semantics of eventually consistent replicated + sets. + In Proceedings of the 26th international conference on + Distributed Computing, DISC'12, pages 441--442, Berlin, Heidelberg, 2012. + Springer-Verlag. +[ bib | +DOI | +.pdf ] + +
+ + +
+[56] +
+
+Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos + Baquero, Valter Balegas, and Sérgio Duarte. + An optimized conflict-free replicated set. + Rapport de recherche RR-8083, INRIA, October 2012. +[ bib | +http | +.pdf ] +
+Keywords: Data replication; optimistic replication; commutative operations +
+ +
+ + +
+[57] +
+
+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). + Springer International Publishing, June 2015. +[ bib | +DOI | +.pdf ] + +
+ + +
+[58] +
+
+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 | +http ] + +
+ + +
+[59] +
+
+Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter. + Formal Specification and Verification of CRDTs. + In FORTE 2014: Formal Techniques for Distributed Objects, + Components, and Systems, pages 33--48. Springer Berlin Heidelberg, Berlin, + Heidelberg, 2014. +[ bib | +DOI | +.pdf ] + +
+ + +
+[60] +
+
+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 | +http ] + +
+ + +
+[61] +
+
+Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski. + Replicated Data Types: Specification, Verification, Optimality. + In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on + Principles of Programming Languages, POPL '14, pages 271--284, New York, NY, + USA, 2014. ACM. +[ bib | +DOI | +http ] +
+Keywords: eventual consistency, replication, weak memory +
+ +
+ + +
+[62] +
+
+Martin Kleppmann, Victor B F Gomes, Dominic P Mulligan, and Alastair R + Beresford. + OpSets: Sequential Specifications for Replicated Datatypes (Extended + Version). + arXiv, 1805.04263, May 2018. +[ bib | +http ] + +
+ + +
+[63] +
+
+Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc + Shapiro. + 'Cause I'm Strong Enough: Reasoning About Consistency Choices in + Distributed Systems. + In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium + on Principles of Programming Languages, POPL '16, pages 371--384, New York, + NY, USA, 2016. ACM. +[ bib | +DOI | +.pdf ] +
+Keywords: Replication, causal consistency, integrity invariants +
+ +
+ + +
+[64] +
+
+Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok + Yang, and Marek Zawirski. + Specification and Complexity of Collaborative Text Editing. + In Proceedings of the 2016 ACM Symposium on Principles of + Distributed Computing, PODC '16, pages 259--268, New York, NY, USA, 2016. + ACM. +[ bib | +DOI | +http ] +
+Keywords: collaborative text editing, eventual consistency +
+ +
+ + +
+[65] +
+
+Cheng Li, Joao Leitão, Allen Clement, Nuno Preguiça, Rodrigo + Rodrigues, and Viktor Vafeiadis. + Automating the Choice of Consistency Levels in Replicated Systems. + In 2014 USENIX Annual Technical Conference (USENIX ATC 14), + pages 281--292, Philadelphia, PA, 2014. USENIX Association. +[ bib | +http ] + +
+ + +
+[66] +
+
+Neil Conway, William R Marczak, Peter Alvaro, Joseph M Hellerstein, and David + Maier. + Logic and Lattices for Distributed Programming. + Technical Report UCB/EECS-2012-167, Electrical Engineering and + Computer Sciences, University of California at Berkeley, June 2012. +[ bib | +.html ] + +
+ + +
+[67] +
+
+Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P Wood. + Cloud Types for Eventual Consistency. + In 26th European Conference on Object-Oriented Programming + (ECOOP), pages 283--307. Springer, June 2012. +[ bib | +DOI | +.pdf ] + +
+ + +
+[68] +
+
+Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, and Mooly Sagiv. + Eventually consistent transactions. + In 21st European Symposium on Programming (ESOP), pages 67--86, + 2012. +[ bib ] + +
+ + +
+[69] +
+
+Sebastian Burckhardt, Alexey Gotsman, and Hongseok Yang Yang. + Understanding Eventual Consistency. + Technical Report MSR-TR-2013-39, Microsoft Research, 2013. +[ bib | +http ] + +
+ + +
+[70] +
+
+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 ] + +
+ + +
+[71] +
+
+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, March 2014. +[ bib | +.pdf ] + +
+

This file was generated by +bibtex2html 1.99.

diff --git a/papers_bib.html b/papers_bib.html new file mode 100644 index 0000000..d54cc90 --- /dev/null +++ b/papers_bib.html @@ -0,0 +1,1106 @@ + + +

CRDT Papers

+@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 (SSS)},
+  year = {2011},
+  location = {Grenoble, France},
+  pages = {386--400},
+  numpages = {15},
+  url = {http://dl.acm.org/citation.cfm?id=2050613.2050642},
+  acmid = {2050642},
+  publisher = {Springer-Verlag},
+  address = {Berlin, Heidelberg},
+  keywords = {eventual consistency, large-scale distributed systems, replicated shared objects}
+}
+
+ +
+@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 Research Report},
+  url = {http://hal.inria.fr/inria-00555588/}
+}
+
+ +
+@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,
+  doi = {10.1145/1773912.1773921},
+  url = {http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf}
+}
+
+ +
+@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,
+  doi = {10.1561/2500000011},
+  url = {http://www.nowpublishers.com/articles/foundations-and-trends-in-programming-languages/PGL-011}
+}
+
+ +
+@incollection{Preguica2018encyclopedia,
+  author = {Pregui{\c c}a, Nuno and Baquero, Carlos and Shapiro, Marc},
+  title = {{Conflict-Free Replicated Data Types (CRDTs)}},
+  booktitle = {Encyclopedia of Big Data Technologies},
+  year = {2018},
+  publisher = {Springer International Publishing},
+  month = may,
+  doi = {10.1007/978-3-319-63962-8_185-1},
+  url = {https://arxiv.org/abs/1805.06358}
+}
+
+ +
+@article{Preguica2018crdts,
+  author = {Pregui{\c c}a, Nuno},
+  title = {{Conflict-free Replicated Data Types: An Overview}},
+  year = {2018},
+  eprint = {1806.10254},
+  month = jun,
+  url = {https://arxiv.org/abs/1806.10254}
+}
+
+ +
+@inproceedings{Baquero2014opbased,
+  author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and
+                  Shoker, Ali},
+  title = {Making Operation-Based {CRDT}s Operation-Based},
+  booktitle = dais,
+  year = 2014,
+  editor = {Magoutis, Kostas and Pietzuch, Peter},
+  series = lncs,
+  volume = 8460,
+  pages = {126--140},
+  month = {jun},
+  address = {Berlin, Germany},
+  organization = {IFIP},
+  publisher = springer,
+  doi = {10.1007/978-3-662-43352-2_11},
+  url = {http://dx.doi.org/10.1007/978-3-662-43352-2_11}
+}
+
+ +
+@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},
+  eprinttype = {arxiv},
+  month = oct,
+  url = {https://arxiv.org/abs/1710.04469}
+}
+
+ +
+@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 = {INESC TEC High-assurance Software Laboratory (HASLab)},
+  url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf}
+}
+
+ +
+@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 (NETYS)},
+  year = 2015,
+  editor = {Bouajjani, Ahmed and Fauconnier, Hugues},
+  volume = 9466,
+  series = lncs,
+  pages = {62--76},
+  month = {may},
+  address = {Agadir, Morocco},
+  publisher = springer,
+  doi = {10.1007/978-3-319-26850-7_5},
+  url = {http://dx.doi.org/10.1007/978-3-319-26850-7_5}
+}
+
+ +
+@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 = {Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data},
+  series = {PaPoC '16},
+  year = {2016},
+  isbn = {978-1-4503-4296-4},
+  location = {London, United Kingdom},
+  pages = {12:1--12:4},
+  articleno = {12},
+  numpages = {4},
+  url = {http://doi.acm.org/10.1145/2911151.2911163},
+  doi = {10.1145/2911151.2911163},
+  acmid = {2911163},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {CRDT, replication, weak consistency}
+}
+
+ +
+@article{Almeida2018delta,
+  author = {Paulo S{\'{e}}rgio Almeida and
+               Ali Shoker and
+               Carlos Baquero},
+  title = {{Delta state replicated data types}},
+  journal = {J. Parallel Distrib. Comput.},
+  volume = {111},
+  pages = {162--173},
+  year = {2018},
+  url = {https://doi.org/10.1016/j.jpdc.2017.08.003},
+  url = {http://arxiv.org/abs/1603.01529},
+  doi = {10.1016/j.jpdc.2017.08.003},
+  timestamp = {Mon, 06 Nov 2017 12:13:23 +0100},
+  biburl = {http://dblp.org/rec/bib/journals/jpdc/AlmeidaSB18},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+ +
+@inproceedings{Oster2006WOOT,
+  author = {Oster, G{\'e}rald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad},
+  title = {{Data consistency for P2P collaborative editing}},
+  booktitle = {ACM Conference on Computer Supported Cooperative Work},
+  year = {2006},
+  pages = {259--268},
+  publisher = {ACM Press},
+  month = nov,
+  doi = {10.1145/1180875.1180916},
+  url = {https://hal.archives-ouvertes.fr/file/index/docid/108523/filename/OsterCSCW06.pdf}
+}
+
+ +
+@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 (WISE)},
+  year = {2007},
+  pages = {503--512},
+  publisher = {Springer Berlin Heidelberg},
+  month = dec,
+  doi = {10.1007/978-3-540-76993-4_42},
+  url = {http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf}
+}
+
+ +
+@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,
+  annote = {},
+  institution = {INRIA Research Report},
+  url = {https://hal.inria.fr/inria-00071240/document}
+}
+
+ +
+@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 = {Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems},
+  series = {ICDCS '09},
+  year = {2009},
+  isbn = {978-0-7695-3659-0},
+  pages = {395--403},
+  numpages = {9},
+  url = {http://dx.doi.org/10.1109/ICDCS.2009.20},
+  url = {https://hal.inria.fr/inria-00445975/document},
+  doi = {10.1109/ICDCS.2009.20},
+  acmid = {1584604},
+  publisher = {IEEE Computer Society},
+  address = {Washington, DC, USA},
+  keywords = {commutative replicated data type, distributed algorithms, replicated data, co-operative editing, dense identifier space}
+}
+
+ +
+@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 = {Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems},
+  series = {ICDCS '09},
+  year = {2009},
+  isbn = {978-0-7695-3659-0},
+  pages = {404--412},
+  numpages = {9},
+  url = {http://dx.doi.org/10.1109/ICDCS.2009.75},
+  doi = {10.1109/ICDCS.2009.75},
+  acmid = {1584605},
+  publisher = {IEEE Computer Society},
+  address = {Washington, DC, USA},
+  keywords = {P2P, Collaborative Editing}
+}
+
+ +
+@article{Weiss2010LogootUndo,
+  author = {Weiss, Stephane and Urso, Pascal and Molli, Pascal},
+  title = {{Logoot-Undo: Distributed Collaborative Editing System on P2P Networks}},
+  journal = {IEEE Trans. Parallel Distrib. Syst.},
+  issue_date = {August 2010},
+  volume = {21},
+  number = {8},
+  month = aug,
+  year = {2010},
+  issn = {1045-9219},
+  pages = {1162--1174},
+  numpages = {13},
+  url = {https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf},
+  doi = {10.1109/TPDS.2009.173},
+  acmid = {1850304},
+  publisher = {IEEE Press},
+  address = {Piscataway, NJ, USA},
+  keywords = {CRDT., Collaborative editing, Collaborative editing, P2P, group undo, scalability, optimistic replication, CRDT., P2P, group undo, optimistic replication, scalability}
+}
+
+ +
+@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 = {J. Parallel Distrib. Comput.},
+  issue_date = {March, 2011},
+  volume = {71},
+  number = {3},
+  month = mar,
+  year = {2011},
+  issn = {0743-7315},
+  pages = {354--368},
+  numpages = {15},
+  url = {http://dx.doi.org/10.1016/j.jpdc.2010.12.006},
+  doi = {10.1016/j.jpdc.2010.12.006},
+  acmid = {1931272},
+  publisher = {Academic Press, Inc.},
+  address = {Orlando, FL, USA},
+  keywords = {Collaboration, Distributed data structures, Optimistic algorithm, Optimistic replication, Replicated abstract data types}
+}
+
+ +
+@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 (DocEng)},
+  year = {2013},
+  pages = {37--46},
+  publisher = {ACM Press},
+  month = sep,
+  doi = {10.1145/2494266.2494278},
+  url = {https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf}
+}
+
+ +
+@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 (WWW)},
+  year = {2016},
+  pages = {231--234},
+  publisher = {ACM Press},
+  month = apr,
+  doi = {10.1145/2872518.2890539},
+  url = {https://hal.archives-ouvertes.fr/hal-01303333}
+}
+
+ +
+@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 (DocEng)},
+  year = {2011},
+  pages = {103--112},
+  publisher = {ACM Press},
+  month = sep,
+  doi = {10.1145/2034691.2034717},
+  url = {https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf}
+}
+
+ +
+@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 (GROUP)},
+  year = {2016},
+  pages = {51--60},
+  publisher = {ACM Press},
+  month = nov,
+  doi = {10.1145/2957276.2957300},
+  url = {https://hal.inria.fr/hal-01343941/document}
+}
+
+ +
+@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 (DAIS)},
+  year = {2015},
+  pages = {193--206},
+  publisher = {Springer},
+  month = jun,
+  doi = {10.1007/978-3-319-19129-4_16},
+  url = {https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf}
+}
+
+ +
+@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 (CSCWD)},
+  year = {2016},
+  pages = {45--50},
+  publisher = {IEEE},
+  month = sep,
+  doi = {10.1109/CSCWD.2016.7565961},
+  url = {http://ieeexplore.ieee.org/document/7565961/}
+}
+
+ +
+@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},
+  year = {2013},
+  publisher = {ICST},
+  month = oct,
+  annote = {Includes a move operation for text documents},
+  doi = {10.4108/icst.collaboratecom.2013.254113},
+  url = {http://eudl.eu/doi/10.4108/icst.collaboratecom.2013.254113}
+}
+
+ +
+@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 (GROUP)},
+  year = {2016},
+  pages = {39--49},
+  publisher = {ACM Press},
+  month = nov,
+  doi = {10.1145/2957276.2957310},
+  url = {https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types}
+}
+
+ +
+@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},
+  month = oct,
+  doi = {10.1007/978-3-642-16934-2_37},
+  url = {https://arxiv.org/pdf/1010.3615.pdf}
+}
+
+ +
+@techreport{AhmedNacer2012filesystem,
+  author = {Ahmed-Nacer, Mehdi and Martin, St{\'e}phane and Urso, Pascal},
+  title = {{File system on CRDT}},
+  institution = {INRIA},
+  year = {2012},
+  number = {RR-8027},
+  month = jul,
+  publisher = {INRIA},
+  url = {https://hal.inria.fr/hal-00720681/}
+}
+
+ +
+@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,
+  doi = {10.1109/TPDS.2017.2697382},
+  url = {http://arxiv.org/abs/1608.03960}
+}
+
+ +
+@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 (SYSTOR)},
+  year = {2015},
+  publisher = {ACM Press},
+  month = may,
+  doi = {10.1145/2757667.2757683},
+  url = {https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf}
+}
+
+ +
+@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 (VMCAI)},
+  year = {2018},
+  pages = {358--381},
+  publisher = {Springer International Publishing},
+  month = jan,
+  doi = {10.1007/978-3-319-73721-8_17},
+  url = {https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf}
+}
+
+ +
+@inproceedings{Brown2014Riak,
+  author = {Brown, Russell and Cribbs, Sean and Meiklejohn, Christopher and Elliott, Sam},
+  title = {{Riak DT Map: A Composable, Convergent Replicated Dictionary}},
+  booktitle = {Proceedings of the First Workshop on Principles and Practice of Eventual Consistency},
+  series = {PaPEC '14},
+  year = {2014},
+  isbn = {978-1-4503-2716-9},
+  location = {Amsterdam, The Netherlands},
+  pages = {1:1--1:1},
+  articleno = {1},
+  numpages = {1},
+  url = {http://doi.acm.org/10.1145/2596631.2596633},
+  doi = {10.1145/2596631.2596633},
+  acmid = {2596633},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {QuickCheck, commutative operations, data replication, dynamo, erlang, eventual consistency, property-based testing, riak}
+}
+
+ +
+@inproceedings{Almeida2014decomposition,
+  author = {Paulo S{\'e}rgio Almeida and Ali Shoker and Carlos Baquero},
+  title = {Efficient State-based {CRDT}s by Decomposition (Work in progress report)},
+  booktitle = {First Workshop on Principles and Practice of Eventual Consistency (PaPEC)},
+  year = 2014,
+  address = amsterdam,
+  publisher = acm
+}
+
+ +
+@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},
+  year = {2014},
+  publisher = {ACM Press},
+  month = apr,
+  doi = {10.1145/2596631.2596636},
+  url = {https://hal.inria.fr/file/index/docid/957167/filename/main.pdf}
+}
+
+ +
+@inproceedings{Meiklejohn2014composability,
+  author = {Meiklejohn, Christopher},
+  title = {On the Composability of the Riak DT Map: Expanding from Embedded to Multi-key Structures},
+  booktitle = {Proceedings of the First Workshop on Principles and Practice of Eventual Consistency},
+  series = {PaPEC '14},
+  year = {2014},
+  isbn = {978-1-4503-2716-9},
+  location = {Amsterdam, The Netherlands},
+  pages = {13:1--13:2},
+  articleno = {13},
+  numpages = {2},
+  url = {http://doi.acm.org/10.1145/2596631.2596635},
+  doi = {10.1145/2596631.2596635},
+  acmid = {2596635},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {commutative operations, data replication, dynamo, erlang, eventual consistency, riak}
+}
+
+ +
+@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},
+  year = {2014},
+  publisher = {ACM Press},
+  month = apr,
+  doi = {10.1145/2596631.2596641},
+  url = {http://www.ds.ewi.tudelft.nl/~victor/polo.pdf}
+}
+
+ +
+@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 Eventual Consistency},
+  year = {2015},
+  publisher = {ACM Press},
+  doi = {10.1145/2745947.2745952}
+}
+
+ +
+@inproceedings{Holt2015claret,
+  author = {Brandon Holt and Irene Zhang and Dan Ports and Mark
+                  Oskin and Luis Ceze},
+  title = {Claret: Using Data Types for Highly Concurrent
+                  Distributed Transactions},
+  booktitle = papoc,
+  year = 2015,
+  address = {Bordeaux, France},
+  publisher = acm
+}
+
+ +
+@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 = {Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data},
+  series = {PaPoC '16},
+  year = {2016},
+  isbn = {978-1-4503-4296-4},
+  location = {London, United Kingdom},
+  pages = {9:1--9:3},
+  articleno = {9},
+  numpages = {3},
+  url = {http://doi.acm.org/10.1145/2911151.2911157},
+  doi = {10.1145/2911151.2911157},
+  acmid = {2911157},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {CRDTs, eventual consistency, multi-value-register}
+}
+
+ +
+@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},
+  year = {2016},
+  publisher = {ACM Press},
+  month = apr,
+  doi = {10.1145/2911151.2911159},
+  url = {http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf}
+}
+
+ +
+@inproceedings{Zeller2017Repliss,
+  author = {Zeller, Peter},
+  title = {{Testing Properties of Weakly Consistent Programs with Repliss}},
+  booktitle = {Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data},
+  series = {PaPoC'17},
+  year = {2017},
+  isbn = {978-1-4503-4933-8},
+  location = {Belgrade, Serbia},
+  pages = {3:1--3:5},
+  articleno = {3},
+  numpages = {5},
+  url = {https://dl.acm.org/authorize?N37605},
+  doi = {10.1145/3064889.3064893},
+  acmid = {3064893},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {Property-based Testing, Weak Consistency}
+}
+
+ +
+@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 (PaPoC)},
+  year = {2019},
+  publisher = {ACM Press},
+  month = mar,
+  doi = {10.1145/3301419.3323972},
+  url = {https://martin.kleppmann.com/papers/interleaving-papoc19.pdf}
+}
+
+ +
+@inproceedings{Preguica2014Swiftcloud,
+  author = {Nuno Pregui{\c{c}}a and
+               Marek Zawirski and
+               Annette Bieniusa and
+               S{\'{e}}rgio Duarte and
+               Valter Balegas and
+               Carlos Baquero and
+               Marc Shapiro},
+  title = {{SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way
+               to the Client Machine}},
+  booktitle = {33rd {IEEE} International Symposium on Reliable Distributed Systems
+               Workshops, {SRDS} Workshops 2014, Nara, Japan, October 6-9, 2014},
+  pages = {30--33},
+  year = {2014},
+  publisher = {IEEE Computer Society},
+  url = {https://ieeexplore.ieee.org/document/7000132},
+  url = {http://arxiv.org/abs/1310.3107}
+}
+
+ +
+@inproceedings{Briquemont2015partial,
+  author = {Iwan Briquemont and Manuel Bravo and Zhongmiao Li and Peter Van Roy},
+  title = {Conflict-free Partially Replicated Data Types},
+  booktitle = {Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science (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}
+}
+
+ +
+@inproceedings{Sovran2011Walter,
+  author = {Sovran, Yair and Power, Russell and Aguilera, Marcos K. and Li, Jinyang},
+  title = {{Transactional Storage for Geo-replicated Systems}},
+  booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
+  series = {SOSP '11},
+  year = {2011},
+  isbn = {978-1-4503-0977-6},
+  location = {Cascais, Portugal},
+  pages = {385--400},
+  numpages = {16},
+  url = {http://doi.acm.org/10.1145/2043556.2043592},
+  doi = {10.1145/2043556.2043592},
+  acmid = {2043592},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {asynchronous replication, distributed storage, geo-distributed systems, key-value store, parallel snapshot isolation, transactions}
+}
+
+ +
+@inproceedings{Meiklejohn2015Lasp,
+  author = {Meiklejohn, Christopher and Van Roy, Peter},
+  title = {Lasp: A Language for Distributed, Coordination-free Programming},
+  booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming},
+  series = {PPDP '15},
+  year = {2015},
+  isbn = {978-1-4503-3516-4},
+  location = {Siena, Italy},
+  pages = {184--195},
+  numpages = {12},
+  url = {http://doi.acm.org/10.1145/2790449.2790525},
+  doi = {10.1145/2790449.2790525},
+  acmid = {2790525},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {Erlang, commutative operations, eventual consistency}
+}
+
+ +
+@inproceedings{Akkoorath2016Cure,
+  author = {D. D. Akkoorath and A. Z. Tomsic and M. Bravo and Z. Li and T. Crain and A. Bieniusa and N. Pregui{\c c}a and M. Shapiro},
+  booktitle = {Proceedings of the 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS)},
+  title = {{Cure: Strong Semantics Meets High Availability and Low Latency}},
+  year = {2016},
+  volume = {},
+  number = {},
+  pages = {405-414},
+  keywords = {application program interfaces;cloud computing;CAP theorem;Cure;NoSQL databases;NoSQL-style AP databases;atomicity;causal consistency;classical CP databases;cloud-scale applications;developer friendly API;high-level data types;latency;multikey updates;parallelism;strong semantics;Clocks;Convergence;Databases;Programming;Protocols;Semantics;Servers},
+  doi = {10.1109/ICDCS.2016.98},
+  issn = {1063-6927},
+  month = {June}
+}
+
+ +
+@inproceedings{Jungnickel2017imap,
+  author = {Jungnickel, Tim and Oldenburg, Lennart},
+  title = {Pluto: The {CRDT}-Driven {IMAP} Server},
+  booktitle = {Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)},
+  year = 2017,
+  series = {PaPoC'17},
+  pages = {1:1--1:5},
+  address = {Belgrade, Serbia},
+  publisher = {ACM},
+  keywords = {CRDT, Cloud Deployments, Consistency Control, IMAP},
+  doi = {10.1145/3064889.3064891},
+  url = {http://doi.acm.org/10.1145/3064889.3064891}
+}
+
+ +
+@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 = {2018 International Conference on Management of Data (SIGMOD)},
+  year = {2018},
+  month = {June},
+  publisher = {ACM},
+  url = {https://www.microsoft.com/en-us/research/publication/faster-concurrent-key-value-store-place-updates/},
+  doi = {10.1145/3183713.3196898}
+}
+
+ +
+@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 (CDVE)},
+  year = {2017},
+  pages = {39--47},
+  publisher = {Springer International Publishing},
+  month = sep,
+  doi = {10.1007/978-3-319-66805-5_5}
+}
+
+ +
+@article{Almeida2013counters,
+  author = {Paulo S{\'{e}}rgio Almeida and
+               Carlos Baquero},
+  title = {{Scalable Eventually Consistent Counters over Unreliable Networks}},
+  journal = {CoRR},
+  volume = {abs/1307.3207},
+  year = {2013},
+  url = {http://arxiv.org/abs/1307.3207},
+  archiveprefix = {arXiv},
+  eprint = {1307.3207},
+  timestamp = {Wed, 07 Jun 2017 14:40:38 +0200},
+  biburl = {http://dblp.org/rec/bib/journals/corr/AlmeidaB13},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+ +
+@mastersthesis{Enes2017sync,
+  author = {Vitor Enes},
+  title = {{Efficient Synchronization of State-based CRDTs}},
+  school = {Universidade do Minho},
+  year = {2017},
+  url = {https://vitorenes.org/page/other/msc-thesis.pdf}
+}
+
+ +
+@inproceedings{Balegas2015invariants,
+  author = {Valter Balegas and
+               Diogo Serra and
+               S{\'{e}}rgio Duarte and
+               Carla Ferreira and
+               Marc Shapiro and
+               Rodrigo Rodrigues and
+               Nuno M. Pregui{\c{c}}a},
+  title = {{Extending Eventually Consistent Cloud Databases for Enforcing Numeric
+               Invariants}},
+  booktitle = {34th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2015,
+               Montreal, QC, Canada, September 28 - October 1, 2015},
+  pages = {31--36},
+  year = {2015},
+  publisher = {IEEE Computer Society},
+  url = {https://ieeexplore.ieee.org/document/7371565},
+  doi = {10.1109/SRDS.2015.32}
+}
+
+ +
+@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 = {Proceedings of the 26th international conference on Distributed Computing},
+  series = {DISC'12},
+  year = {2012},
+  isbn = {978-3-642-33650-8},
+  location = {Salvador, Brazil},
+  pages = {441--442},
+  numpages = {2},
+  url = {https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf},
+  doi = {10.1007/978-3-642-33651-5_48},
+  acmid = {2427932},
+  publisher = {Springer-Verlag},
+  address = {Berlin, Heidelberg}
+}
+
+ +
+@techreport{Bieniusa2012optimized,
+  hal_id = {hal-00738680},
+  url = {http://hal.inria.fr/hal-00738680},
+  title = {{An optimized conflict-free replicated set}},
+  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},
+  keywords = {Data replication; optimistic replication; commutative operations},
+  language = {Anglais},
+  affiliation = {REGAL - INRIA Rocquencourt , Laboratoire d'Informatique de Paris 6 - LIP6 , Centro de Investiga{\c c}{\\~a}o em Inform{\'a}tica e Tecnologias da Informa{\c c}{\\~a}o - CITI , Universidade do Minho Departamento de Inform{\'a}tica Distributed Systems Group - Universidade do Minho Departamento de Inform{\'a}tica},
+  pages = {12},
+  type = {Rapport de recherche},
+  institution = {INRIA},
+  number = {RR-8083},
+  year = {2012},
+  month = oct,
+  pdf = {http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf}
+}
+
+ +
+@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 (ICWE)},
+  year = {2015},
+  publisher = {Springer International Publishing},
+  month = jun,
+  doi = {10.1007/978-3-319-19890-3_55},
+  url = {http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf}
+}
+
+ +
+@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},
+  volume = {38},
+  pages = {381--391},
+  month = aug,
+  publisher = {Elsevier},
+  doi = {10.1016/j.aei.2018.08.008},
+  url = {https://linkinghub.elsevier.com/retrieve/pii/S147403461730486X}
+}
+
+ +
+@incollection{Zeller2014verification,
+  author = {Zeller, Peter and Bieniusa, Annette and Poetzsch-Heffter, Arnd},
+  title = {{Formal Specification and Verification of CRDTs}},
+  booktitle = {FORTE 2014: Formal Techniques for Distributed Objects, Components, and Systems},
+  year = {2014},
+  pages = {33--48},
+  publisher = {Springer Berlin Heidelberg},
+  address = {Berlin, Heidelberg},
+  annote = {Proves correctness of several state-based CRDTs using Isabelle},
+  doi = {10.1007/978-3-662-43613-4_3},
+  isbn = {978-3-662-43612-7},
+  url = {https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf}
+}
+
+ +
+@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},
+  url = {https://arxiv.org/abs/1707.01747}
+}
+
+ +
+@inproceedings{Burckhardt2014specification,
+  author = {Burckhardt, Sebastian and Gotsman, Alexey and Yang, Hongseok and Zawirski, Marek},
+  title = {{Replicated Data Types: Specification, Verification, Optimality}},
+  booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+  series = {POPL '14},
+  year = {2014},
+  isbn = {978-1-4503-2544-8},
+  location = {San Diego, California, USA},
+  pages = {271--284},
+  numpages = {14},
+  url = {http://doi.acm.org/10.1145/2535838.2535848},
+  doi = {10.1145/2535838.2535848},
+  acmid = {2535848},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {eventual consistency, replication, weak memory}
+}
+
+ +
+@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)}},
+  journal = {arXiv},
+  volume = {1805.04263},
+  year = {2018},
+  month = may,
+  url = {https://arxiv.org/abs/1805.04263}
+}
+
+ +
+@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 = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+  series = {POPL '16},
+  year = {2016},
+  isbn = {978-1-4503-3549-2},
+  location = {St. Petersburg, FL, USA},
+  pages = {371--384},
+  numpages = {14},
+  url = {http://software.imdea.org/~gotsman/papers/logic-popl16.pdf},
+  doi = {10.1145/2837614.2837625},
+  acmid = {2837625},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {Replication, causal consistency, integrity invariants}
+}
+
+ +
+@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 = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing},
+  series = {PODC '16},
+  year = {2016},
+  isbn = {978-1-4503-3964-3},
+  location = {Chicago, Illinois, USA},
+  pages = {259--268},
+  numpages = {10},
+  url = {http://doi.acm.org/10.1145/2933057.2933090},
+  doi = {10.1145/2933057.2933090},
+  acmid = {2933090},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {collaborative text editing, eventual consistency}
+}
+
+ +
+@inproceedings{Li2014Sieve,
+  author = {Cheng Li and Joao Leit{\~a}o and Allen Clement and Nuno Pregui{\c c}a and Rodrigo Rodrigues and Viktor Vafeiadis},
+  title = {{Automating the Choice of Consistency Levels in Replicated Systems}},
+  booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)},
+  year = {2014},
+  isbn = {978-1-931971-10-2},
+  address = {Philadelphia, PA},
+  pages = {281--292},
+  url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2},
+  publisher = {USENIX Association}
+}
+
+ +
+@techreport{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}},
+  year = {2012},
+  number = {UCB/EECS-2012-167},
+  month = jun,
+  institution = {Electrical Engineering and Computer Sciences, University of California at Berkeley},
+  url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.html}
+}
+
+ +
+@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 (ECOOP)},
+  year = {2012},
+  pages = {283--307},
+  publisher = {Springer},
+  month = jun,
+  doi = {10.1007/978-3-642-31057-7_14},
+  url = {http://research.microsoft.com/pubs/163842/final-with-color.pdf}
+}
+
+ +
+@inproceedings{Burckhardt2012transactions,
+  author = {Sebastian Burckhardt and
+               Daan Leijen and
+               Manuel F{\"a}hndrich and
+               Mooly Sagiv},
+  title = {Eventually Consistent Transactions},
+  booktitle = {21st European Symposium on Programming (ESOP)},
+  year = {2012},
+  pages = {67-86},
+  ee = {http://dx.doi.org/10.1007/978-3-642-28869-2_4},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+ +
+@techreport{Burckhardt2013eventual,
+  author = {Burckhardt, Sebastian and Gotsman, Alexey and Yang, Hongseok Yang},
+  title = {{Understanding Eventual Consistency}},
+  institution = {Microsoft Research},
+  year = {2013},
+  number = {MSR-TR-2013-39},
+  url = {https://www.microsoft.com/en-us/research/publication/understanding-eventual-consistency/}
+}
+
+ +
+@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}
+}
+
+ +
+@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},
+  year = {2014},
+  month = mar,
+  url = {http://www.cs.indiana.edu/~lkuper/papers/joining-wodet14.pdf}
+}
+
+ +

This file was generated by +bibtex2html 1.99.

diff --git a/update.sh b/update.sh new file mode 100755 index 0000000..615968e --- /dev/null +++ b/update.sh @@ -0,0 +1,16 @@ +#!/bin/bash +set -e + +which bibtex2html > /dev/null || ( + echo 'bibtex2html not found. Please install it from' + echo 'https://www.lri.fr/~filliatr/bibtex2html/' + echo 'or on Mac, run `brew install bibtex2html`' + exit 1 +) + +bibtex2html --dl --nodoc --title 'CRDT Papers' papers.bib + +sed -e $'1s/^/---\\\nlayout: page\\\ntitle: CRDT Papers\\\n---\\\n/' -i '' papers.html + +sed -e 's/

papers.bib<\/h1>/

CRDT Papers<\/h1>/' \ + -e $'1s/^/\\\n\\\n/' -i '' papers_bib.html