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 @@
-<a href="{{ site.repo }}/edit/master/{{ page.path }}" target="_blank"><i class="fa fa-edit fa-fw"></i> Edit this page</a>
+<a href="{{ site.repo }}/edit/master/{% if page.path == "papers.html" %}papers.bib{% else %}{{ page.path }}{% endif %}" target="_blank"><i class="fa fa-edit fa-fw"></i> Edit this page</a>
 <a href="{{ site.repo }}/issues/new?body=Issue%20on%3a%20{{ site.repo }}/tree/master/{{ page.path }}" target="_blank"><i class="fab fa-github fa-fw"></i> Create issue</a>
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
+---
+
+<!-- This document was automatically generated with bibtex2html 1.99
+     (see http://www.lri.fr/~filliatr/bibtex2html/),
+     with the following command:
+     bibtex2html --dl --nodoc --title "CRDT Papers" papers.bib  -->
+
+<h1>CRDT Papers</h1>
+<dl>
+
+<dt>
+[<a name="Shapiro2011CRDTs">1</a>]
+</dt>
+<dd>
+Marc Shapiro, Nuno Pregui&ccedil;a, Carlos Baquero, and Marek Zawirski.
+ Conflict-free replicated data types.
+ In <em>13th International Conference on Stabilization, Safety, and
+  Security of Distributed Systems (SSS)</em>, pages 386--400, Berlin, Heidelberg,
+  2011. Springer-Verlag.
+[&nbsp;<a href="papers_bib.html#Shapiro2011CRDTs">bib</a>&nbsp;| 
+<a href="http://dl.acm.org/citation.cfm?id=2050613.2050642">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: eventual consistency, large-scale distributed systems, replicated shared objects
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Shapiro2011comprehensive">2</a>]
+</dt>
+<dd>
+Marc Shapiro, Nuno Pregui&ccedil;a, Carlos Baquero, and Marek Zawirski.
+ A comprehensive study of convergent and commutative replicated data
+  types.
+ Technical Report 7506, INRIA Research Report, January 2011.
+[&nbsp;<a href="papers_bib.html#Shapiro2011comprehensive">bib</a>&nbsp;| 
+<a href="http://hal.inria.fr/inria-00555588/">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Letia2010consistency">3</a>]
+</dt>
+<dd>
+Mihai Letia, Nuno Pregui&ccedil;a, and Marc Shapiro.
+ Consistency without concurrency control in large, dynamic systems.
+ <em>ACM SIGOPS Operating Systems Review</em>, 44(2):29--34, April 2010.
+[&nbsp;<a href="papers_bib.html#Letia2010consistency">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/1773912.1773921">DOI</a>&nbsp;| 
+<a href="http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Burckhardt2014principles">4</a>]
+</dt>
+<dd>
+Sebastian Burckhardt.
+ Principles of Eventual Consistency.
+ <em>Foundations and Trends in Programming Languages</em>, 1(1-2):1--150,
+  October 2014.
+[&nbsp;<a href="papers_bib.html#Burckhardt2014principles">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1561/2500000011">DOI</a>&nbsp;| 
+<a href="http://www.nowpublishers.com/articles/foundations-and-trends-in-programming-languages/PGL-011">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Preguica2018encyclopedia">5</a>]
+</dt>
+<dd>
+Nuno Pregui&ccedil;a, Carlos Baquero, and Marc Shapiro.
+ Conflict-Free Replicated Data Types (CRDTs).
+ In <em>Encyclopedia of Big Data Technologies</em>. Springer
+  International Publishing, May 2018.
+[&nbsp;<a href="papers_bib.html#Preguica2018encyclopedia">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-319-63962-8_185-1">DOI</a>&nbsp;| 
+<a href="https://arxiv.org/abs/1805.06358">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Preguica2018crdts">6</a>]
+</dt>
+<dd>
+Nuno Pregui&ccedil;a.
+ Conflict-free Replicated Data Types: An Overview.
+ June 2018.
+[&nbsp;<a href="papers_bib.html#Preguica2018crdts">bib</a>&nbsp;| 
+<a href="http://arxiv.org/abs/1806.10254">arXiv</a>&nbsp;| 
+<a href="https://arxiv.org/abs/1806.10254">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Baquero2014opbased">7</a>]
+</dt>
+<dd>
+Carlos Baquero, Paulo&nbsp;S&eacute;rgio Almeida, and Ali Shoker.
+ Making operation-based CRDTs operation-based.
+ volume 8460, pages 126--140, Berlin, Germany, jun 2014. IFIP.
+[&nbsp;<a href="papers_bib.html#Baquero2014opbased">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-662-43352-2_11">DOI</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-662-43352-2_11">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Baquero2017pure">8</a>]
+</dt>
+<dd>
+Carlos Baquero, Paulo&nbsp;S&eacute;rgio Almeida, and Ali Shoker.
+ Pure operation-based replicated data types.
+ October 2017.
+[&nbsp;<a href="papers_bib.html#Baquero2017pure">bib</a>&nbsp;| 
+<a href="http://arxiv.org/abs/1710.04469">arXiv</a>&nbsp;| 
+<a href="https://arxiv.org/abs/1710.04469">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Baquero2015composition">9</a>]
+</dt>
+<dd>
+Carlos Baquero, Paulo&nbsp;S&eacute;rgio Almeida, Alcino Cunha, and Carla Ferreira.
+ Composition of State-based CRDTs.
+ Technical report, INESC TEC High-assurance Software Laboratory
+  (HASLab), May 2015.
+[&nbsp;<a href="papers_bib.html#Baquero2015composition">bib</a>&nbsp;| 
+<a href="http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Almeida2015delta">10</a>]
+</dt>
+<dd>
+Paulo&nbsp;S&eacute;rgio Almeida, Ali Shoker, and Carlos Baquero.
+ Efficient state-based CRDTs by delta-mutation.
+ In Ahmed Bouajjani and Hugues Fauconnier, editors, <em>International
+  Conference on Networked Systems (NETYS)</em>, volume 9466, pages 62--76, Agadir,
+  Morocco, may 2015.
+[&nbsp;<a href="papers_bib.html#Almeida2015delta">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-319-26850-7_5">DOI</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-319-26850-7_5">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="vanderLinde06delta">11</a>]
+</dt>
+<dd>
+Albert van&nbsp;der Linde, Jo&atilde;o Leit&atilde;o, and Nuno Pregui&ccedil;a.
+ &delta;-crdts: Making &delta;-crdts delta-based.
+ In <em>Proceedings of the 2Nd Workshop on the Principles and
+  Practice of Consistency for Distributed Data</em>, PaPoC '16, pages 12:1--12:4,
+  New York, NY, USA, 2016. ACM.
+[&nbsp;<a href="papers_bib.html#vanderLinde06delta">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2911151.2911163">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2911151.2911163">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: CRDT, replication, weak consistency
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Almeida2018delta">12</a>]
+</dt>
+<dd>
+Paulo&nbsp;S&eacute;rgio Almeida, Ali Shoker, and Carlos Baquero.
+ Delta state replicated data types.
+ <em>J. Parallel Distrib. Comput.</em>, 111:162--173, 2018.
+[&nbsp;<a href="papers_bib.html#Almeida2018delta">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1016/j.jpdc.2017.08.003">DOI</a>&nbsp;| 
+<a href="https://doi.org/10.1016/j.jpdc.2017.08.003">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Oster2006WOOT">13</a>]
+</dt>
+<dd>
+G&eacute;rald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine.
+ Data consistency for P2P collaborative editing.
+ In <em>ACM Conference on Computer Supported Cooperative Work</em>, pages
+  259--268. ACM Press, November 2006.
+[&nbsp;<a href="papers_bib.html#Oster2006WOOT">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/1180875.1180916">DOI</a>&nbsp;| 
+<a href="https://hal.archives-ouvertes.fr/file/index/docid/108523/filename/OsterCSCW06.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Weiss2007Wooki">14</a>]
+</dt>
+<dd>
+St&eacute;phane Weiss, Pascal Urso, and Pascal Molli.
+ Wooki: A P2P Wiki-Based Collaborative Writing Tool.
+ In <em>8th International Conference on Web Information Systems
+  Engineering (WISE)</em>, pages 503--512. Springer Berlin Heidelberg, December
+  2007.
+[&nbsp;<a href="papers_bib.html#Weiss2007Wooki">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-540-76993-4_42">DOI</a>&nbsp;| 
+<a href="http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Oster2005WOOT">15</a>]
+</dt>
+<dd>
+G&eacute;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.
+[&nbsp;<a href="papers_bib.html#Oster2005WOOT">bib</a>&nbsp;| 
+<a href="https://hal.inria.fr/inria-00071240/document">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Preguica2009Treedoc">16</a>]
+</dt>
+<dd>
+Nuno Pregui&ccedil;a, Joan&nbsp;Manuel Marques, Marc Shapiro, and Mihai Letia.
+ A Commutative Replicated Data Type for Cooperative Editing.
+ In <em>Proceedings of the 2009 29th IEEE International Conference on
+  Distributed Computing Systems</em>, ICDCS '09, pages 395--403, Washington, DC,
+  USA, 2009. IEEE Computer Society.
+[&nbsp;<a href="papers_bib.html#Preguica2009Treedoc">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/ICDCS.2009.20">DOI</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/ICDCS.2009.20">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: commutative replicated data type, distributed algorithms, replicated data, co-operative editing, dense identifier space
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Weiss2009Logoot">17</a>]
+</dt>
+<dd>
+Stephane Weiss, Pascal Urso, and Pascal Molli.
+ Logoot: A Scalable Optimistic Replication Algorithm for
+  Collaborative Editing on P2P Networks.
+ In <em>Proceedings of the 2009 29th IEEE International Conference on
+  Distributed Computing Systems</em>, ICDCS '09, pages 404--412, Washington, DC,
+  USA, 2009. IEEE Computer Society.
+[&nbsp;<a href="papers_bib.html#Weiss2009Logoot">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/ICDCS.2009.75">DOI</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/ICDCS.2009.75">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: P2P, Collaborative Editing
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Weiss2010LogootUndo">18</a>]
+</dt>
+<dd>
+Stephane Weiss, Pascal Urso, and Pascal Molli.
+ Logoot-Undo: Distributed Collaborative Editing System on P2P
+  Networks.
+ <em>IEEE Trans. Parallel Distrib. Syst.</em>, 21(8):1162--1174, August
+  2010.
+[&nbsp;<a href="papers_bib.html#Weiss2010LogootUndo">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/TPDS.2009.173">DOI</a>&nbsp;| 
+<a href="https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf">.pdf</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: CRDT., Collaborative editing, Collaborative editing, P2P, group undo, scalability, optimistic replication, CRDT., P2P, group undo, optimistic replication, scalability
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Roh2011RGA">19</a>]
+</dt>
+<dd>
+Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee.
+ Replicated Abstract Data Types: Building Blocks for Collaborative
+  Applications.
+ <em>J. Parallel Distrib. Comput.</em>, 71(3):354--368, March 2011.
+[&nbsp;<a href="papers_bib.html#Roh2011RGA">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1016/j.jpdc.2010.12.006">DOI</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1016/j.jpdc.2010.12.006">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: Collaboration, Distributed data structures, Optimistic algorithm, Optimistic replication, Replicated abstract data types
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Nedelec2013LSEQ">20</a>]
+</dt>
+<dd>
+Brice N&eacute;delec, Pascal Molli, Achour Mostefaoui, and Emmanuel Desmontils.
+ LSEQ: an Adaptive Structure for Sequences in Distributed
+  Collaborative Editing.
+ In <em>13th ACM Symposium on Document Engineering (DocEng)</em>, pages
+  37--46. ACM Press, September 2013.
+[&nbsp;<a href="papers_bib.html#Nedelec2013LSEQ">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2494266.2494278">DOI</a>&nbsp;| 
+<a href="https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Nedelec2016CRATE">21</a>]
+</dt>
+<dd>
+Brice N&eacute;delec, Pascal Molli, and Achour Mostefaoui.
+ CRATE: Writing Stories Together with our Browsers.
+ In <em>25th International World Wide Web Conference (WWW)</em>, pages
+  231--234. ACM Press, April 2016.
+[&nbsp;<a href="papers_bib.html#Nedelec2016CRATE">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2872518.2890539">DOI</a>&nbsp;| 
+<a href="https://hal.archives-ouvertes.fr/hal-01303333">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="AhmedNacer2011evaluating">22</a>]
+</dt>
+<dd>
+Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, G&eacute;rald Oster, Hyun-Gul Roh, and
+  Pascal Urso.
+ Evaluating CRDTs for real-time document editing.
+ In <em>11th ACM Symposium on Document Engineering (DocEng)</em>, pages
+  103--112. ACM Press, September 2011.
+[&nbsp;<a href="papers_bib.html#AhmedNacer2011evaluating">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2034691.2034717">DOI</a>&nbsp;| 
+<a href="https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Briot2016group">23</a>]
+</dt>
+<dd>
+Lo&iuml;ck Briot, Pascal Urso, and Marc Shapiro.
+ High Responsiveness for Group Editing CRDTs.
+ In <em>19th International Conference on Supporting Group Work
+  (GROUP)</em>, pages 51--60. ACM Press, November 2016.
+[&nbsp;<a href="papers_bib.html#Briot2016group">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2957276.2957300">DOI</a>&nbsp;| 
+<a href="https://hal.inria.fr/hal-01343941/document">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Yu2015undo">24</a>]
+</dt>
+<dd>
+Weihai Yu, Luc Andr&eacute;, and Claudia-Lavinia Ignat.
+ A CRDT Supporting Selective Undo for Collaborative Text Editing.
+ In <em>15th IFIP WG 6.1 International Conference on Distributed
+  Applications and Interoperable Systems (DAIS)</em>, pages 193--206. Springer,
+  June 2015.
+[&nbsp;<a href="papers_bib.html#Yu2015undo">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-319-19129-4_16">DOI</a>&nbsp;| 
+<a href="https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Lv2016stringbased">25</a>]
+</dt>
+<dd>
+Xiao Lv, Fazhi He, Weiwei Cai, and Yuan Cheng.
+ An efficient collaborative editing algorithm supporting string-based
+  operations.
+ In <em>20th IEEE International Conference on Computer Supported
+  Cooperative Work in Design (CSCWD)</em>, pages 45--50. IEEE, September 2016.
+[&nbsp;<a href="papers_bib.html#Lv2016stringbased">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/CSCWD.2016.7565961">DOI</a>&nbsp;| 
+<a href="http://ieeexplore.ieee.org/document/7565961/">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="AhmedNacer2013concurrency">26</a>]
+</dt>
+<dd>
+Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Pregui&ccedil;a.
+ Concurrency Control and Awareness Support for Multi-synchronous
+  Collaborative Editing.
+ In <em>9th IEEE International Conference on Collaborative
+  Computing</em>. ICST, October 2013.
+[&nbsp;<a href="papers_bib.html#AhmedNacer2013concurrency">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.4108/icst.collaboratecom.2013.254113">DOI</a>&nbsp;| 
+<a href="http://eudl.eu/doi/10.4108/icst.collaboratecom.2013.254113">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Nicolaescu2016YATA">27</a>]
+</dt>
+<dd>
+Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma.
+ Near real-time peer-to-peer shared editing on extensible data types.
+ In <em>19th International Conference on Supporting Group Work
+  (GROUP)</em>, pages 39--49. ACM Press, November 2016.
+[&nbsp;<a href="papers_bib.html#Nicolaescu2016YATA">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2957276.2957310">DOI</a>&nbsp;| 
+<a href="https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Martin2010xml">28</a>]
+</dt>
+<dd>
+St&eacute;phane Martin, Pascal Urso, and St&eacute;phane Weiss.
+ Scalable XML Collaborative Editing with Undo.
+ In <em>On the Move to Meaningful Internet Systems (OTM)</em>, pages
+  507--514. Springer, October 2010.
+[&nbsp;<a href="papers_bib.html#Martin2010xml">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-642-16934-2_37">DOI</a>&nbsp;| 
+<a href="https://arxiv.org/pdf/1010.3615.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="AhmedNacer2012filesystem">29</a>]
+</dt>
+<dd>
+Mehdi Ahmed-Nacer, St&eacute;phane Martin, and Pascal Urso.
+ File system on CRDT.
+ Technical Report RR-8027, INRIA, July 2012.
+[&nbsp;<a href="papers_bib.html#AhmedNacer2012filesystem">bib</a>&nbsp;| 
+<a href="https://hal.inria.fr/hal-00720681/">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Kleppmann2017json">30</a>]
+</dt>
+<dd>
+Martin Kleppmann and Alastair&nbsp;R Beresford.
+ A conflict-free replicated JSON datatype.
+ <em>IEEE Transactions on Parallel and Distributed Systems</em>,
+  28(10):2733--2746, April 2017.
+[&nbsp;<a href="papers_bib.html#Kleppmann2017json">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/TPDS.2017.2697382">DOI</a>&nbsp;| 
+<a href="http://arxiv.org/abs/1608.03960">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Tao2015filesystems">31</a>]
+</dt>
+<dd>
+Vinh Tao, Marc Shapiro, and Vianney Rancurel.
+ Merging semantics for conflict updates in geo-distributed file
+  systems.
+ In <em>8th ACM International Systems and Storage Conference
+  (SYSTOR)</em>. ACM Press, May 2015.
+[&nbsp;<a href="papers_bib.html#Tao2015filesystems">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2757667.2757683">DOI</a>&nbsp;| 
+<a href="https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Najafzadeh2018filesystem">32</a>]
+</dt>
+<dd>
+Mahsa Najafzadeh, Marc Shapiro, and Patrick Eugster.
+ Co-design and verification of an available file system.
+ In <em>19th International Conference on Verification, Model
+  Checking, and Abstract Interpretation (VMCAI)</em>, pages 358--381. Springer
+  International Publishing, January 2018.
+[&nbsp;<a href="papers_bib.html#Najafzadeh2018filesystem">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-319-73721-8_17">DOI</a>&nbsp;| 
+<a href="https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Brown2014Riak">33</a>]
+</dt>
+<dd>
+Russell Brown, Sean Cribbs, Christopher Meiklejohn, and Sam Elliott.
+ Riak DT Map: A Composable, Convergent Replicated Dictionary.
+ In <em>Proceedings of the First Workshop on Principles and Practice
+  of Eventual Consistency</em>, PaPEC '14, pages 1:1--1:1, New York, NY, USA, 2014.
+  ACM.
+[&nbsp;<a href="papers_bib.html#Brown2014Riak">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2596631.2596633">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2596631.2596633">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: QuickCheck, commutative operations, data replication, dynamo, erlang, eventual consistency, property-based testing, riak
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Almeida2014decomposition">34</a>]
+</dt>
+<dd>
+Paulo&nbsp;S&eacute;rgio Almeida, Ali Shoker, and Carlos Baquero.
+ Efficient state-based CRDTs by decomposition (work in progress
+  report).
+ In <em>First Workshop on Principles and Practice of Eventual
+  Consistency (PaPEC)</em>, 2014.
+[&nbsp;<a href="papers_bib.html#Almeida2014decomposition">bib</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="AhmedNacer2014merging">35</a>]
+</dt>
+<dd>
+Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Pergui&ccedil;a.
+ Merging OT and CRDT algorithms.
+ In <em>1st Workshop on Principles and Practice of Eventual
+  Consistency</em>. ACM Press, April 2014.
+[&nbsp;<a href="papers_bib.html#AhmedNacer2014merging">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2596631.2596636">DOI</a>&nbsp;| 
+<a href="https://hal.inria.fr/file/index/docid/957167/filename/main.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Meiklejohn2014composability">36</a>]
+</dt>
+<dd>
+Christopher Meiklejohn.
+ On the composability of the riak dt map: Expanding from embedded to
+  multi-key structures.
+ In <em>Proceedings of the First Workshop on Principles and Practice
+  of Eventual Consistency</em>, PaPEC '14, pages 13:1--13:2, New York, NY, USA,
+  2014. ACM.
+[&nbsp;<a href="papers_bib.html#Meiklejohn2014composability">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2596631.2596635">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2596631.2596635">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: commutative operations, data replication, dynamo, erlang, eventual consistency, riak
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Grishchenko2014oplogs">37</a>]
+</dt>
+<dd>
+Victor Grishchenko.
+ Citrea and Swarm: Partially ordered op logs in the browser.
+ In <em>1st Workshop on Principles and Practice of Eventual
+  Consistency</em>. ACM Press, April 2014.
+[&nbsp;<a href="papers_bib.html#Grishchenko2014oplogs">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2596631.2596641">DOI</a>&nbsp;| 
+<a href="http://www.ds.ewi.tudelft.nl/~victor/polo.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Castineira2015offline">38</a>]
+</dt>
+<dd>
+Santiago&nbsp;J Casti&ntilde;eira and Annette Bieniusa.
+ Collaborative offline web applications using conflict-free replicated
+  data types.
+ In <em>1st Workshop on Principles and Practice of Eventual
+  Consistency</em>. ACM Press, 2015.
+[&nbsp;<a href="papers_bib.html#Castineira2015offline">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2745947.2745952">DOI</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Holt2015claret">39</a>]
+</dt>
+<dd>
+Brandon Holt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze.
+ Claret: Using data types for highly concurrent distributed
+  transactions.
+ Bordeaux, France, 2015.
+[&nbsp;<a href="papers_bib.html#Holt2015claret">bib</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Zawirski2016register">40</a>]
+</dt>
+<dd>
+Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Pregui&ccedil;a, and Marc
+  Shapiro.
+ Eventually Consistent Register Revisited.
+ In <em>Proceedings of the 2Nd Workshop on the Principles and
+  Practice of Consistency for Distributed Data</em>, PaPoC '16, pages 9:1--9:3, New
+  York, NY, USA, 2016. ACM.
+[&nbsp;<a href="papers_bib.html#Zawirski2016register">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2911151.2911157">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2911151.2911157">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: CRDTs, eventual consistency, multi-value-register
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Baquero2016embedded">41</a>]
+</dt>
+<dd>
+Carlos Baquero, Paulo&nbsp;S&eacute;rgio Almeida, and Carl Lerche.
+ The problem with embedded CRDT counters and a solution.
+ In <em>2nd Workshop on the Principles and Practice of Consistency
+  for Distributed Data</em>. ACM Press, April 2016.
+[&nbsp;<a href="papers_bib.html#Baquero2016embedded">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2911151.2911159">DOI</a>&nbsp;| 
+<a href="http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Zeller2017Repliss">42</a>]
+</dt>
+<dd>
+Peter Zeller.
+ Testing Properties of Weakly Consistent Programs with Repliss.
+ In <em>Proceedings of the 3rd International Workshop on Principles
+  and Practice of Consistency for Distributed Data</em>, PaPoC'17, pages 3:1--3:5,
+  New York, NY, USA, 2017. ACM.
+[&nbsp;<a href="papers_bib.html#Zeller2017Repliss">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/3064889.3064893">DOI</a>&nbsp;| 
+<a href="https://dl.acm.org/authorize?N37605">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: Property-based Testing, Weak Consistency
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Kleppmann2019interleaving">43</a>]
+</dt>
+<dd>
+Martin Kleppmann, Victor B&nbsp;F Gomes, Dominic&nbsp;P Mulligan, and Alastair&nbsp;R
+  Beresford.
+ Interleaving anomalies in collaborative text editors.
+ In <em>6th Workshop on Principles and Practice of Consistency for
+  Distributed Data (PaPoC)</em>. ACM Press, March 2019.
+[&nbsp;<a href="papers_bib.html#Kleppmann2019interleaving">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/3301419.3323972">DOI</a>&nbsp;| 
+<a href="https://martin.kleppmann.com/papers/interleaving-papoc19.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Preguica2014Swiftcloud">44</a>]
+</dt>
+<dd>
+Nuno Pregui&ccedil;a, Marek Zawirski, Annette Bieniusa, S&eacute;rgio Duarte,
+  Valter Balegas, Carlos Baquero, and Marc Shapiro.
+ SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to
+  the Client Machine.
+ In <em>33rd IEEE International Symposium on Reliable Distributed
+  Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014</em>,
+  pages 30--33. IEEE Computer Society, 2014.
+[&nbsp;<a href="papers_bib.html#Preguica2014Swiftcloud">bib</a>&nbsp;| 
+<a href="https://ieeexplore.ieee.org/document/7000132">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Briquemont2015partial">45</a>]
+</dt>
+<dd>
+Iwan Briquemont, Manuel Bravo, Zhongmiao Li, and Peter&nbsp;Van Roy.
+ Conflict-free partially replicated data types.
+ In <em>Proceedings of the 7th IEEE International Conference on Cloud
+  Computing Technology and Science (CloudCom 2015)</em>. IEEE, Nov 2015.
+[&nbsp;<a href="papers_bib.html#Briquemont2015partial">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/CloudCom.2015.81">DOI</a>&nbsp;| 
+<a href="https://dial.uclouvain.be/pr/boreal/object/boreal%3A214300/datastream/PDF_01/view">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Sovran2011Walter">46</a>]
+</dt>
+<dd>
+Yair Sovran, Russell Power, Marcos&nbsp;K. Aguilera, and Jinyang Li.
+ Transactional Storage for Geo-replicated Systems.
+ In <em>Proceedings of the Twenty-Third ACM Symposium on Operating
+  Systems Principles</em>, SOSP '11, pages 385--400, New York, NY, USA, 2011. ACM.
+[&nbsp;<a href="papers_bib.html#Sovran2011Walter">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2043556.2043592">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2043556.2043592">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: asynchronous replication, distributed storage, geo-distributed systems, key-value store, parallel snapshot isolation, transactions
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Meiklejohn2015Lasp">47</a>]
+</dt>
+<dd>
+Christopher Meiklejohn and Peter Van&nbsp;Roy.
+ Lasp: A language for distributed, coordination-free programming.
+ In <em>Proceedings of the 17th International Symposium on Principles
+  and Practice of Declarative Programming</em>, PPDP '15, pages 184--195, New York,
+  NY, USA, 2015. ACM.
+[&nbsp;<a href="papers_bib.html#Meiklejohn2015Lasp">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2790449.2790525">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2790449.2790525">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: Erlang, commutative operations, eventual consistency
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Akkoorath2016Cure">48</a>]
+</dt>
+<dd>
+D.&nbsp;D. Akkoorath, A.&nbsp;Z. Tomsic, M.&nbsp;Bravo, Z.&nbsp;Li, T.&nbsp;Crain, A.&nbsp;Bieniusa,
+  N.&nbsp;Pregui&ccedil;a, and M.&nbsp;Shapiro.
+ Cure: Strong Semantics Meets High Availability and Low Latency.
+ In <em>Proceedings of the 2016 IEEE 36th International Conference on
+  Distributed Computing Systems (ICDCS)</em>, pages 405--414, June 2016.
+[&nbsp;<a href="papers_bib.html#Akkoorath2016Cure">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/ICDCS.2016.98">DOI</a>&nbsp;]
+<blockquote><font size="-1">
+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
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Jungnickel2017imap">49</a>]
+</dt>
+<dd>
+Tim Jungnickel and Lennart Oldenburg.
+ Pluto: The CRDT-driven IMAP server.
+ In <em>Workshop on Principles and Practice of Consistency for
+  Distributed Data (PaPoC)</em>, PaPoC'17, pages 1:1--1:5, Belgrade, Serbia, 2017.
+  ACM.
+[&nbsp;<a href="papers_bib.html#Jungnickel2017imap">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/3064889.3064891">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/3064889.3064891">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: CRDT, Cloud Deployments, Consistency Control, IMAP
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Chandramouli2018Faster">50</a>]
+</dt>
+<dd>
+Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin Levandoski, James
+  Hunter, and Mike Barnett.
+ FASTER: A Concurrent Key-Value Store with In-Place Updates.
+ In <em>2018 International Conference on Management of Data
+  (SIGMOD)</em>. ACM, June 2018.
+[&nbsp;<a href="papers_bib.html#Chandramouli2018Faster">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/3183713.3196898">DOI</a>&nbsp;| 
+<a href="https://www.microsoft.com/en-us/research/publication/faster-concurrent-key-value-store-place-updates/">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Yu2017disturbance">51</a>]
+</dt>
+<dd>
+Weihai Yu, G&eacute;rald Oster, and Claudia-Lavinia Ignat.
+ Handling Disturbance and Awareness of&nbsp;Concurrent Updates in a
+  Collaborative Editor.
+ In <em>14th International Conference on Cooperative Design,
+  Visualization, and Engineering (CDVE)</em>, pages 39--47. Springer International
+  Publishing, September 2017.
+[&nbsp;<a href="papers_bib.html#Yu2017disturbance">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-319-66805-5_5">DOI</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Almeida2013counters">52</a>]
+</dt>
+<dd>
+Paulo&nbsp;S&eacute;rgio Almeida and Carlos Baquero.
+ Scalable Eventually Consistent Counters over Unreliable Networks.
+ <em>CoRR</em>, abs/1307.3207, 2013.
+[&nbsp;<a href="papers_bib.html#Almeida2013counters">bib</a>&nbsp;| 
+<a href="http://arxiv.org/abs/1307.3207">arXiv</a>&nbsp;| 
+<a href="http://arxiv.org/abs/1307.3207">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Enes2017sync">53</a>]
+</dt>
+<dd>
+Vitor Enes.
+ Efficient Synchronization of State-based CRDTs.
+ Master's thesis, Universidade do Minho, 2017.
+[&nbsp;<a href="papers_bib.html#Enes2017sync">bib</a>&nbsp;| 
+<a href="https://vitorenes.org/page/other/msc-thesis.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Balegas2015invariants">54</a>]
+</dt>
+<dd>
+Valter Balegas, Diogo Serra, S&eacute;rgio Duarte, Carla Ferreira, Marc Shapiro,
+  Rodrigo Rodrigues, and Nuno&nbsp;M. Pregui&ccedil;a.
+ Extending Eventually Consistent Cloud Databases for Enforcing
+  Numeric Invariants.
+ In <em>34th IEEE Symposium on Reliable Distributed Systems, SRDS
+  2015, Montreal, QC, Canada, September 28 - October 1, 2015</em>, pages 31--36.
+  IEEE Computer Society, 2015.
+[&nbsp;<a href="papers_bib.html#Balegas2015invariants">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1109/SRDS.2015.32">DOI</a>&nbsp;| 
+<a href="https://ieeexplore.ieee.org/document/7371565">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Bieniusa2012sets">55</a>]
+</dt>
+<dd>
+Annette Bieniusa, Marek Zawirski, Nuno Pregui&ccedil;a, Marc Shapiro, Carlos
+  Baquero, Valter Balegas, and S&eacute;rgio Duarte.
+ Brief announcement: semantics of eventually consistent replicated
+  sets.
+ In <em>Proceedings of the 26th international conference on
+  Distributed Computing</em>, DISC'12, pages 441--442, Berlin, Heidelberg, 2012.
+  Springer-Verlag.
+[&nbsp;<a href="papers_bib.html#Bieniusa2012sets">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-642-33651-5_48">DOI</a>&nbsp;| 
+<a href="https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Bieniusa2012optimized">56</a>]
+</dt>
+<dd>
+Annette Bieniusa, Marek Zawirski, Nuno Pregui&ccedil;a, Marc Shapiro, Carlos
+  Baquero, Valter Balegas, and S&eacute;rgio Duarte.
+ An optimized conflict-free replicated set.
+ Rapport de recherche RR-8083, INRIA, October 2012.
+[&nbsp;<a href="papers_bib.html#Bieniusa2012optimized">bib</a>&nbsp;| 
+<a href="http://hal.inria.fr/hal-00738680">http</a>&nbsp;| 
+<a href="http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf">.pdf</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: Data replication; optimistic replication; commutative operations
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Nicolaescu2015Yjs">57</a>]
+</dt>
+<dd>
+Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma.
+ Yjs: A Framework for Near Real-Time P2P Shared Editing on Arbitrary
+  Data Types.
+ In <em>15th International Conference on Web Engineering (ICWE)</em>.
+  Springer International Publishing, June 2015.
+[&nbsp;<a href="papers_bib.html#Nicolaescu2015Yjs">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-319-19890-3_55">DOI</a>&nbsp;| 
+<a href="http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Lv2018CAD">58</a>]
+</dt>
+<dd>
+Xiao Lv, Fazhi He, Yuan Cheng, and Yiqi Wu.
+ A novel CRDT-based synchronization method for real-time
+  collaborative CAD systems.
+ <em>Advanced Engineering Informatics</em>, 38:381--391, August 2018.
+[&nbsp;<a href="papers_bib.html#Lv2018CAD">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1016/j.aei.2018.08.008">DOI</a>&nbsp;| 
+<a href="https://linkinghub.elsevier.com/retrieve/pii/S147403461730486X">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Zeller2014verification">59</a>]
+</dt>
+<dd>
+Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter.
+ Formal Specification and Verification of CRDTs.
+ In <em>FORTE 2014: Formal Techniques for Distributed Objects,
+  Components, and Systems</em>, pages 33--48. Springer Berlin Heidelberg, Berlin,
+  Heidelberg, 2014.
+[&nbsp;<a href="papers_bib.html#Zeller2014verification">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-662-43613-4_3">DOI</a>&nbsp;| 
+<a href="https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Gomes2017verifying">60</a>]
+</dt>
+<dd>
+Victor B&nbsp;F Gomes, Martin Kleppmann, Dominic&nbsp;P Mulligan, and Alastair&nbsp;R
+  Beresford.
+ Verifying strong eventual consistency in distributed systems.
+ <em>Proceedings of the ACM on Programming Languages (PACMPL)</em>,
+  1(OOPSLA), October 2017.
+[&nbsp;<a href="papers_bib.html#Gomes2017verifying">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/3133933">DOI</a>&nbsp;| 
+<a href="https://arxiv.org/abs/1707.01747">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Burckhardt2014specification">61</a>]
+</dt>
+<dd>
+Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski.
+ Replicated Data Types: Specification, Verification, Optimality.
+ In <em>Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on
+  Principles of Programming Languages</em>, POPL '14, pages 271--284, New York, NY,
+  USA, 2014. ACM.
+[&nbsp;<a href="papers_bib.html#Burckhardt2014specification">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2535838.2535848">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2535838.2535848">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: eventual consistency, replication, weak memory
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Kleppmann2018OpSets">62</a>]
+</dt>
+<dd>
+Martin Kleppmann, Victor B&nbsp;F Gomes, Dominic&nbsp;P Mulligan, and Alastair&nbsp;R
+  Beresford.
+ OpSets: Sequential Specifications for Replicated Datatypes (Extended
+  Version).
+ <em>arXiv</em>, 1805.04263, May 2018.
+[&nbsp;<a href="papers_bib.html#Kleppmann2018OpSets">bib</a>&nbsp;| 
+<a href="https://arxiv.org/abs/1805.04263">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Gotsman2016CISE">63</a>]
+</dt>
+<dd>
+Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc
+  Shapiro.
+ 'Cause I'm Strong Enough: Reasoning About Consistency Choices in
+  Distributed Systems.
+ In <em>Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium
+  on Principles of Programming Languages</em>, POPL '16, pages 371--384, New York,
+  NY, USA, 2016. ACM.
+[&nbsp;<a href="papers_bib.html#Gotsman2016CISE">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2837614.2837625">DOI</a>&nbsp;| 
+<a href="http://software.imdea.org/~gotsman/papers/logic-popl16.pdf">.pdf</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: Replication, causal consistency, integrity invariants
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Attiya2016text">64</a>]
+</dt>
+<dd>
+Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok
+  Yang, and Marek Zawirski.
+ Specification and Complexity of Collaborative Text Editing.
+ In <em>Proceedings of the 2016 ACM Symposium on Principles of
+  Distributed Computing</em>, PODC '16, pages 259--268, New York, NY, USA, 2016.
+  ACM.
+[&nbsp;<a href="papers_bib.html#Attiya2016text">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2933057.2933090">DOI</a>&nbsp;| 
+<a href="http://doi.acm.org/10.1145/2933057.2933090">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: collaborative text editing, eventual consistency
+</font></blockquote>
+
+</dd>
+
+
+<dt>
+[<a name="Li2014Sieve">65</a>]
+</dt>
+<dd>
+Cheng Li, Joao Leit&atilde;o, Allen Clement, Nuno Pregui&ccedil;a, Rodrigo
+  Rodrigues, and Viktor Vafeiadis.
+ Automating the Choice of Consistency Levels in Replicated Systems.
+ In <em>2014 USENIX Annual Technical Conference (USENIX ATC 14)</em>,
+  pages 281--292, Philadelphia, PA, 2014. USENIX Association.
+[&nbsp;<a href="papers_bib.html#Li2014Sieve">bib</a>&nbsp;| 
+<a href="https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Conway2012lattices">66</a>]
+</dt>
+<dd>
+Neil Conway, William&nbsp;R Marczak, Peter Alvaro, Joseph&nbsp;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.
+[&nbsp;<a href="papers_bib.html#Conway2012lattices">bib</a>&nbsp;| 
+<a href="http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.html">.html</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Burckhardt2012cloudtypes">67</a>]
+</dt>
+<dd>
+Sebastian Burckhardt, Manuel F&auml;hndrich, Daan Leijen, and Benjamin&nbsp;P Wood.
+ Cloud Types for Eventual Consistency.
+ In <em>26th European Conference on Object-Oriented Programming
+  (ECOOP)</em>, pages 283--307. Springer, June 2012.
+[&nbsp;<a href="papers_bib.html#Burckhardt2012cloudtypes">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-642-31057-7_14">DOI</a>&nbsp;| 
+<a href="http://research.microsoft.com/pubs/163842/final-with-color.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Burckhardt2012transactions">68</a>]
+</dt>
+<dd>
+Sebastian Burckhardt, Daan Leijen, Manuel F&auml;hndrich, and Mooly Sagiv.
+ Eventually consistent transactions.
+ In <em>21st European Symposium on Programming (ESOP)</em>, pages 67--86,
+  2012.
+[&nbsp;<a href="papers_bib.html#Burckhardt2012transactions">bib</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Burckhardt2013eventual">69</a>]
+</dt>
+<dd>
+Sebastian Burckhardt, Alexey Gotsman, and Hongseok&nbsp;Yang Yang.
+ Understanding Eventual Consistency.
+ Technical Report MSR-TR-2013-39, Microsoft Research, 2013.
+[&nbsp;<a href="papers_bib.html#Burckhardt2013eventual">bib</a>&nbsp;| 
+<a href="https://www.microsoft.com/en-us/research/publication/understanding-eventual-consistency/">http</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Kaki2019mergeable">70</a>]
+</dt>
+<dd>
+Gowtham Kaki, Swarn Priya, KC&nbsp;Sivaramakrishnan, and Suresh Jagannathan.
+ Mergeable Replicated Data Types.
+ <em>Proceedings of the ACM on Programming Languages (PACMPL)</em>,
+  3(OOPSLA), October 2019.
+[&nbsp;<a href="papers_bib.html#Kaki2019mergeable">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/3360580">DOI</a>&nbsp;| 
+<a href="https://gowthamk.github.io/docs/mrdt.pdf">.pdf</a>&nbsp;]
+
+</dd>
+
+
+<dt>
+[<a name="Kuper2014LVars">71</a>]
+</dt>
+<dd>
+Lindsey Kuper and Ryan&nbsp;R Newton.
+ Joining Forces: Toward a Unified Account of LVars and Convergent
+  Replicated Data Types.
+ In <em>5th Workshop on Determinism and Correctness in Parallel
+  Programming</em>, March 2014.
+[&nbsp;<a href="papers_bib.html#Kuper2014LVars">bib</a>&nbsp;| 
+<a href="http://www.cs.indiana.edu/~lkuper/papers/joining-wodet14.pdf">.pdf</a>&nbsp;]
+
+</dd>
+</dl><hr><p><em>This file was generated by
+<a href="http://www.lri.fr/~filliatr/bibtex2html/">bibtex2html</a> 1.99.</em></p>
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 @@
+<!DOCTYPE html>
+<meta charset="utf-8">
+<h1>CRDT Papers</h1><a name="Shapiro2011CRDTs"></a><pre>
+@inproceedings{<a href="papers.html#Shapiro2011CRDTs">Shapiro2011CRDTs</a>,
+  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 = {<a href="http://dl.acm.org/citation.cfm?id=2050613.2050642">http://dl.acm.org/citation.cfm?id=2050613.2050642</a>},
+  acmid = {2050642},
+  publisher = {Springer-Verlag},
+  address = {Berlin, Heidelberg},
+  keywords = {eventual consistency, large-scale distributed systems, replicated shared objects}
+}
+</pre>
+
+<a name="Shapiro2011comprehensive"></a><pre>
+@techreport{<a href="papers.html#Shapiro2011comprehensive">Shapiro2011comprehensive</a>,
+  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 = {<a href="http://hal.inria.fr/inria-00555588/">http://hal.inria.fr/inria-00555588/</a>}
+}
+</pre>
+
+<a name="Letia2010consistency"></a><pre>
+@article{<a href="papers.html#Letia2010consistency">Letia2010consistency</a>,
+  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 = {<a href="http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf">http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf</a>}
+}
+</pre>
+
+<a name="Burckhardt2014principles"></a><pre>
+@article{<a href="papers.html#Burckhardt2014principles">Burckhardt2014principles</a>,
+  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 = {<a href="http://www.nowpublishers.com/articles/foundations-and-trends-in-programming-languages/PGL-011">http://www.nowpublishers.com/articles/foundations-and-trends-in-programming-languages/PGL-011</a>}
+}
+</pre>
+
+<a name="Preguica2018encyclopedia"></a><pre>
+@incollection{<a href="papers.html#Preguica2018encyclopedia">Preguica2018encyclopedia</a>,
+  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}
+}
+</pre>
+
+<a name="Preguica2018crdts"></a><pre>
+@article{<a href="papers.html#Preguica2018crdts">Preguica2018crdts</a>,
+  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}
+}
+</pre>
+
+<a name="Baquero2014opbased"></a><pre>
+@inproceedings{<a href="papers.html#Baquero2014opbased">Baquero2014opbased</a>,
+  author = {Baquero, Carlos and Almeida, Paulo S{\'e}rgio and
+                  Shoker, Ali},
+  title = {Making Operation-Based {CRDT}s Operation-Based},
+  booktitle = <a href="#dais">dais</a>,
+  year = 2014,
+  editor = {Magoutis, Kostas and Pietzuch, Peter},
+  series = <a href="#lncs">lncs</a>,
+  volume = 8460,
+  pages = {126--140},
+  month = {jun},
+  address = {Berlin, Germany},
+  organization = {IFIP},
+  publisher = <a href="#springer">springer</a>,
+  doi = {10.1007/978-3-662-43352-2_11},
+  url = {<a href="http://dx.doi.org/10.1007/978-3-662-43352-2_11">http://dx.doi.org/10.1007/978-3-662-43352-2_11</a>}
+}
+</pre>
+
+<a name="Baquero2017pure"></a><pre>
+@article{<a href="papers.html#Baquero2017pure">Baquero2017pure</a>,
+  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}
+}
+</pre>
+
+<a name="Baquero2015composition"></a><pre>
+@techreport{<a href="papers.html#Baquero2015composition">Baquero2015composition</a>,
+  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 = {<a href="http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf">http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf</a>}
+}
+</pre>
+
+<a name="Almeida2015delta"></a><pre>
+@inproceedings{<a href="papers.html#Almeida2015delta">Almeida2015delta</a>,
+  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 = <a href="#lncs">lncs</a>,
+  pages = {62--76},
+  month = {may},
+  address = {Agadir, Morocco},
+  publisher = <a href="#springer">springer</a>,
+  doi = {10.1007/978-3-319-26850-7_5},
+  url = {<a href="http://dx.doi.org/10.1007/978-3-319-26850-7_5">http://dx.doi.org/10.1007/978-3-319-26850-7_5</a>}
+}
+</pre>
+
+<a name="vanderLinde06delta"></a><pre>
+@inproceedings{<a href="papers.html#vanderLinde06delta">vanderLinde06delta</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2911151.2911163">http://doi.acm.org/10.1145/2911151.2911163</a>},
+  doi = {10.1145/2911151.2911163},
+  acmid = {2911163},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {CRDT, replication, weak consistency}
+}
+</pre>
+
+<a name="Almeida2018delta"></a><pre>
+@article{<a href="papers.html#Almeida2018delta">Almeida2018delta</a>,
+  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 = {<a href="http://arxiv.org/abs/1603.01529">http://arxiv.org/abs/1603.01529</a>},
+  doi = {10.1016/j.jpdc.2017.08.003},
+  timestamp = {Mon, 06 Nov 2017 12:13:23 +0100},
+  biburl = {<a href="http://dblp.org/rec/bib/journals/jpdc/AlmeidaSB18">http://dblp.org/rec/bib/journals/jpdc/AlmeidaSB18</a>},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+</pre>
+
+<a name="Oster2006WOOT"></a><pre>
+@inproceedings{<a href="papers.html#Oster2006WOOT">Oster2006WOOT</a>,
+  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}
+}
+</pre>
+
+<a name="Weiss2007Wooki"></a><pre>
+@inproceedings{<a href="papers.html#Weiss2007Wooki">Weiss2007Wooki</a>,
+  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 = {<a href="http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf">http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf</a>}
+}
+</pre>
+
+<a name="Oster2005WOOT"></a><pre>
+@techreport{<a href="papers.html#Oster2005WOOT">Oster2005WOOT</a>,
+  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}
+}
+</pre>
+
+<a name="Preguica2009Treedoc"></a><pre>
+@inproceedings{<a href="papers.html#Preguica2009Treedoc">Preguica2009Treedoc</a>,
+  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 = {<a href="http://dx.doi.org/10.1109/ICDCS.2009.20">http://dx.doi.org/10.1109/ICDCS.2009.20</a>},
+  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}
+}
+</pre>
+
+<a name="Weiss2009Logoot"></a><pre>
+@inproceedings{<a href="papers.html#Weiss2009Logoot">Weiss2009Logoot</a>,
+  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 = {<a href="http://dx.doi.org/10.1109/ICDCS.2009.75">http://dx.doi.org/10.1109/ICDCS.2009.75</a>},
+  doi = {10.1109/ICDCS.2009.75},
+  acmid = {1584605},
+  publisher = {IEEE Computer Society},
+  address = {Washington, DC, USA},
+  keywords = {P2P, Collaborative Editing}
+}
+</pre>
+
+<a name="Weiss2010LogootUndo"></a><pre>
+@article{<a href="papers.html#Weiss2010LogootUndo">Weiss2010LogootUndo</a>,
+  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}
+}
+</pre>
+
+<a name="Roh2011RGA"></a><pre>
+@article{<a href="papers.html#Roh2011RGA">Roh2011RGA</a>,
+  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 = {<a href="http://dx.doi.org/10.1016/j.jpdc.2010.12.006">http://dx.doi.org/10.1016/j.jpdc.2010.12.006</a>},
+  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}
+}
+</pre>
+
+<a name="Nedelec2013LSEQ"></a><pre>
+@inproceedings{<a href="papers.html#Nedelec2013LSEQ">Nedelec2013LSEQ</a>,
+  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}
+}
+</pre>
+
+<a name="Nedelec2016CRATE"></a><pre>
+@inproceedings{<a href="papers.html#Nedelec2016CRATE">Nedelec2016CRATE</a>,
+  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}
+}
+</pre>
+
+<a name="AhmedNacer2011evaluating"></a><pre>
+@inproceedings{<a href="papers.html#AhmedNacer2011evaluating">AhmedNacer2011evaluating</a>,
+  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}
+}
+</pre>
+
+<a name="Briot2016group"></a><pre>
+@inproceedings{<a href="papers.html#Briot2016group">Briot2016group</a>,
+  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}
+}
+</pre>
+
+<a name="Yu2015undo"></a><pre>
+@inproceedings{<a href="papers.html#Yu2015undo">Yu2015undo</a>,
+  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}
+}
+</pre>
+
+<a name="Lv2016stringbased"></a><pre>
+@inproceedings{<a href="papers.html#Lv2016stringbased">Lv2016stringbased</a>,
+  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 = {<a href="http://ieeexplore.ieee.org/document/7565961/">http://ieeexplore.ieee.org/document/7565961/</a>}
+}
+</pre>
+
+<a name="AhmedNacer2013concurrency"></a><pre>
+@inproceedings{<a href="papers.html#AhmedNacer2013concurrency">AhmedNacer2013concurrency</a>,
+  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 = {<a href="http://eudl.eu/doi/10.4108/icst.collaboratecom.2013.254113">http://eudl.eu/doi/10.4108/icst.collaboratecom.2013.254113</a>}
+}
+</pre>
+
+<a name="Nicolaescu2016YATA"></a><pre>
+@inproceedings{<a href="papers.html#Nicolaescu2016YATA">Nicolaescu2016YATA</a>,
+  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}
+}
+</pre>
+
+<a name="Martin2010xml"></a><pre>
+@inproceedings{<a href="papers.html#Martin2010xml">Martin2010xml</a>,
+  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}
+}
+</pre>
+
+<a name="AhmedNacer2012filesystem"></a><pre>
+@techreport{<a href="papers.html#AhmedNacer2012filesystem">AhmedNacer2012filesystem</a>,
+  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/}
+}
+</pre>
+
+<a name="Kleppmann2017json"></a><pre>
+@article{<a href="papers.html#Kleppmann2017json">Kleppmann2017json</a>,
+  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 = {<a href="http://arxiv.org/abs/1608.03960">http://arxiv.org/abs/1608.03960</a>}
+}
+</pre>
+
+<a name="Tao2015filesystems"></a><pre>
+@inproceedings{<a href="papers.html#Tao2015filesystems">Tao2015filesystems</a>,
+  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}
+}
+</pre>
+
+<a name="Najafzadeh2018filesystem"></a><pre>
+@inproceedings{<a href="papers.html#Najafzadeh2018filesystem">Najafzadeh2018filesystem</a>,
+  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}
+}
+</pre>
+
+<a name="Brown2014Riak"></a><pre>
+@inproceedings{<a href="papers.html#Brown2014Riak">Brown2014Riak</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2596631.2596633">http://doi.acm.org/10.1145/2596631.2596633</a>},
+  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}
+}
+</pre>
+
+<a name="Almeida2014decomposition"></a><pre>
+@inproceedings{<a href="papers.html#Almeida2014decomposition">Almeida2014decomposition</a>,
+  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 = <a href="#amsterdam">amsterdam</a>,
+  publisher = <a href="#acm">acm</a>
+}
+</pre>
+
+<a name="AhmedNacer2014merging"></a><pre>
+@inproceedings{<a href="papers.html#AhmedNacer2014merging">AhmedNacer2014merging</a>,
+  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}
+}
+</pre>
+
+<a name="Meiklejohn2014composability"></a><pre>
+@inproceedings{<a href="papers.html#Meiklejohn2014composability">Meiklejohn2014composability</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2596631.2596635">http://doi.acm.org/10.1145/2596631.2596635</a>},
+  doi = {10.1145/2596631.2596635},
+  acmid = {2596635},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {commutative operations, data replication, dynamo, erlang, eventual consistency, riak}
+}
+</pre>
+
+<a name="Grishchenko2014oplogs"></a><pre>
+@inproceedings{<a href="papers.html#Grishchenko2014oplogs">Grishchenko2014oplogs</a>,
+  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 = {<a href="http://www.ds.ewi.tudelft.nl/~victor/polo.pdf">http://www.ds.ewi.tudelft.nl/~victor/polo.pdf</a>}
+}
+</pre>
+
+<a name="Castineira2015offline"></a><pre>
+@inproceedings{<a href="papers.html#Castineira2015offline">Castineira2015offline</a>,
+  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}
+}
+</pre>
+
+<a name="Holt2015claret"></a><pre>
+@inproceedings{<a href="papers.html#Holt2015claret">Holt2015claret</a>,
+  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 = <a href="#papoc">papoc</a>,
+  year = 2015,
+  address = {Bordeaux, France},
+  publisher = <a href="#acm">acm</a>
+}
+</pre>
+
+<a name="Zawirski2016register"></a><pre>
+@inproceedings{<a href="papers.html#Zawirski2016register">Zawirski2016register</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2911151.2911157">http://doi.acm.org/10.1145/2911151.2911157</a>},
+  doi = {10.1145/2911151.2911157},
+  acmid = {2911157},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {CRDTs, eventual consistency, multi-value-register}
+}
+</pre>
+
+<a name="Baquero2016embedded"></a><pre>
+@inproceedings{<a href="papers.html#Baquero2016embedded">Baquero2016embedded</a>,
+  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 = {<a href="http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf">http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf</a>}
+}
+</pre>
+
+<a name="Zeller2017Repliss"></a><pre>
+@inproceedings{<a href="papers.html#Zeller2017Repliss">Zeller2017Repliss</a>,
+  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}
+}
+</pre>
+
+<a name="Kleppmann2019interleaving"></a><pre>
+@inproceedings{<a href="papers.html#Kleppmann2019interleaving">Kleppmann2019interleaving</a>,
+  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}
+}
+</pre>
+
+<a name="Preguica2014Swiftcloud"></a><pre>
+@inproceedings{<a href="papers.html#Preguica2014Swiftcloud">Preguica2014Swiftcloud</a>,
+  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 = {<a href="http://arxiv.org/abs/1310.3107">http://arxiv.org/abs/1310.3107</a>}
+}
+</pre>
+
+<a name="Briquemont2015partial"></a><pre>
+@inproceedings{<a href="papers.html#Briquemont2015partial">Briquemont2015partial</a>,
+  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}
+}
+</pre>
+
+<a name="Sovran2011Walter"></a><pre>
+@inproceedings{<a href="papers.html#Sovran2011Walter">Sovran2011Walter</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2043556.2043592">http://doi.acm.org/10.1145/2043556.2043592</a>},
+  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}
+}
+</pre>
+
+<a name="Meiklejohn2015Lasp"></a><pre>
+@inproceedings{<a href="papers.html#Meiklejohn2015Lasp">Meiklejohn2015Lasp</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2790449.2790525">http://doi.acm.org/10.1145/2790449.2790525</a>},
+  doi = {10.1145/2790449.2790525},
+  acmid = {2790525},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {Erlang, commutative operations, eventual consistency}
+}
+</pre>
+
+<a name="Akkoorath2016Cure"></a><pre>
+@inproceedings{<a href="papers.html#Akkoorath2016Cure">Akkoorath2016Cure</a>,
+  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}
+}
+</pre>
+
+<a name="Jungnickel2017imap"></a><pre>
+@inproceedings{<a href="papers.html#Jungnickel2017imap">Jungnickel2017imap</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/3064889.3064891">http://doi.acm.org/10.1145/3064889.3064891</a>}
+}
+</pre>
+
+<a name="Chandramouli2018Faster"></a><pre>
+@inproceedings{<a href="papers.html#Chandramouli2018Faster">Chandramouli2018Faster</a>,
+  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}
+}
+</pre>
+
+<a name="Yu2017disturbance"></a><pre>
+@inproceedings{<a href="papers.html#Yu2017disturbance">Yu2017disturbance</a>,
+  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}
+}
+</pre>
+
+<a name="Almeida2013counters"></a><pre>
+@article{<a href="papers.html#Almeida2013counters">Almeida2013counters</a>,
+  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 = {<a href="http://arxiv.org/abs/1307.3207">http://arxiv.org/abs/1307.3207</a>},
+  archiveprefix = {arXiv},
+  eprint = {1307.3207},
+  timestamp = {Wed, 07 Jun 2017 14:40:38 +0200},
+  biburl = {<a href="http://dblp.org/rec/bib/journals/corr/AlmeidaB13">http://dblp.org/rec/bib/journals/corr/AlmeidaB13</a>},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+</pre>
+
+<a name="Enes2017sync"></a><pre>
+@mastersthesis{<a href="papers.html#Enes2017sync">Enes2017sync</a>,
+  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}
+}
+</pre>
+
+<a name="Balegas2015invariants"></a><pre>
+@inproceedings{<a href="papers.html#Balegas2015invariants">Balegas2015invariants</a>,
+  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}
+}
+</pre>
+
+<a name="Bieniusa2012sets"></a><pre>
+@inproceedings{<a href="papers.html#Bieniusa2012sets">Bieniusa2012sets</a>,
+  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}
+}
+</pre>
+
+<a name="Bieniusa2012optimized"></a><pre>
+@techreport{<a href="papers.html#Bieniusa2012optimized">Bieniusa2012optimized</a>,
+  hal_id = {hal-00738680},
+  url = {<a href="http://hal.inria.fr/hal-00738680">http://hal.inria.fr/hal-00738680</a>},
+  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 = {<a href="http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf">http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf</a>}
+}
+</pre>
+
+<a name="Nicolaescu2015Yjs"></a><pre>
+@inproceedings{<a href="papers.html#Nicolaescu2015Yjs">Nicolaescu2015Yjs</a>,
+  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 = {<a href="http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf">http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf</a>}
+}
+</pre>
+
+<a name="Lv2018CAD"></a><pre>
+@article{<a href="papers.html#Lv2018CAD">Lv2018CAD</a>,
+  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}
+}
+</pre>
+
+<a name="Zeller2014verification"></a><pre>
+@incollection{<a href="papers.html#Zeller2014verification">Zeller2014verification</a>,
+  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}
+}
+</pre>
+
+<a name="Gomes2017verifying"></a><pre>
+@article{<a href="papers.html#Gomes2017verifying">Gomes2017verifying</a>,
+  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}
+}
+</pre>
+
+<a name="Burckhardt2014specification"></a><pre>
+@inproceedings{<a href="papers.html#Burckhardt2014specification">Burckhardt2014specification</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2535838.2535848">http://doi.acm.org/10.1145/2535838.2535848</a>},
+  doi = {10.1145/2535838.2535848},
+  acmid = {2535848},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {eventual consistency, replication, weak memory}
+}
+</pre>
+
+<a name="Kleppmann2018OpSets"></a><pre>
+@article{<a href="papers.html#Kleppmann2018OpSets">Kleppmann2018OpSets</a>,
+  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}
+}
+</pre>
+
+<a name="Gotsman2016CISE"></a><pre>
+@inproceedings{<a href="papers.html#Gotsman2016CISE">Gotsman2016CISE</a>,
+  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 = {<a href="http://software.imdea.org/~gotsman/papers/logic-popl16.pdf">http://software.imdea.org/~gotsman/papers/logic-popl16.pdf</a>},
+  doi = {10.1145/2837614.2837625},
+  acmid = {2837625},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {Replication, causal consistency, integrity invariants}
+}
+</pre>
+
+<a name="Attiya2016text"></a><pre>
+@inproceedings{<a href="papers.html#Attiya2016text">Attiya2016text</a>,
+  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 = {<a href="http://doi.acm.org/10.1145/2933057.2933090">http://doi.acm.org/10.1145/2933057.2933090</a>},
+  doi = {10.1145/2933057.2933090},
+  acmid = {2933090},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  keywords = {collaborative text editing, eventual consistency}
+}
+</pre>
+
+<a name="Li2014Sieve"></a><pre>
+@inproceedings{<a href="papers.html#Li2014Sieve">Li2014Sieve</a>,
+  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}
+}
+</pre>
+
+<a name="Conway2012lattices"></a><pre>
+@techreport{<a href="papers.html#Conway2012lattices">Conway2012lattices</a>,
+  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 = {<a href="http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.html">http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.html</a>}
+}
+</pre>
+
+<a name="Burckhardt2012cloudtypes"></a><pre>
+@inproceedings{<a href="papers.html#Burckhardt2012cloudtypes">Burckhardt2012cloudtypes</a>,
+  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 = {<a href="http://research.microsoft.com/pubs/163842/final-with-color.pdf">http://research.microsoft.com/pubs/163842/final-with-color.pdf</a>}
+}
+</pre>
+
+<a name="Burckhardt2012transactions"></a><pre>
+@inproceedings{<a href="papers.html#Burckhardt2012transactions">Burckhardt2012transactions</a>,
+  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 = {<a href="http://dx.doi.org/10.1007/978-3-642-28869-2_4">http://dx.doi.org/10.1007/978-3-642-28869-2_4</a>},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+</pre>
+
+<a name="Burckhardt2013eventual"></a><pre>
+@techreport{<a href="papers.html#Burckhardt2013eventual">Burckhardt2013eventual</a>,
+  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/}
+}
+</pre>
+
+<a name="Kaki2019mergeable"></a><pre>
+@article{<a href="papers.html#Kaki2019mergeable">Kaki2019mergeable</a>,
+  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}
+}
+</pre>
+
+<a name="Kuper2014LVars"></a><pre>
+@inproceedings{<a href="papers.html#Kuper2014LVars">Kuper2014LVars</a>,
+  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 = {<a href="http://www.cs.indiana.edu/~lkuper/papers/joining-wodet14.pdf">http://www.cs.indiana.edu/~lkuper/papers/joining-wodet14.pdf</a>}
+}
+</pre>
+
+<hr><p><em>This file was generated by
+<a href="http://www.lri.fr/~filliatr/bibtex2html/">bibtex2html</a> 1.99.</em></p>
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/<h1>papers.bib<\/h1>/<h1>CRDT Papers<\/h1>/' \
+    -e $'1s/^/<!DOCTYPE html>\\\n<meta charset="utf-8">\\\n/' -i '' papers_bib.html