From 566bc2cd5881ac0c9a68640823abc1d082dd01f0 Mon Sep 17 00:00:00 2001 From: Martin Kleppmann Date: Fri, 20 Mar 2020 17:54:54 +0000 Subject: [PATCH] Allow papers to be filtered by keyword --- _includes/papers-filter.html | 75 ++++++ assets/css/main.css | 10 + papers.bib | 302 +++++++++++++++++------- papers.html | 437 ++++++++++++++++++++++++++++++++--- papers_bib.html | 311 ++++++++++++++++++------- update.sh | 6 +- 6 files changed, 938 insertions(+), 203 deletions(-) create mode 100644 _includes/papers-filter.html diff --git a/_includes/papers-filter.html b/_includes/papers-filter.html new file mode 100644 index 0000000..3ffd465 --- /dev/null +++ b/_includes/papers-filter.html @@ -0,0 +1,75 @@ +

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

+ +

Select checkboxes to filter papers by topic:

+
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
+ + + +

Paper List

diff --git a/assets/css/main.css b/assets/css/main.css index 5b3e2d4..9c68c77 100644 --- a/assets/css/main.css +++ b/assets/css/main.css @@ -18594,3 +18594,13 @@ footer { visibility: hidden } } + +div.td-content > dl > dt.selected, +div.td-content > dl > dt.selected + dd { + display: block +} + +div.td-content > dl > dt.unselected, +div.td-content > dl > dt.unselected + dd { + display: none +} diff --git a/papers.bib b/papers.bib index decc18b..55a0ddb 100644 --- a/papers.bib +++ b/papers.bib @@ -31,8 +31,9 @@ @inproceedings{Shapiro2011CRDTs pages = {386--400}, doi = {10.1007/978-3-642-24550-3_29}, pdf = {https://pages.lip6.fr/Marek.Zawirski/papers/RR-7687.pdf}, -publisher = {Springer LNCS volume 6976} -} +publisher = {Springer LNCS volume 6976}, +keywords = {introduction} +} @techreport{Shapiro2011comprehensive, author = {Shapiro, Marc and Pregui{\c c}a, Nuno and Baquero, Carlos and Zawirski, Marek}, @@ -42,7 +43,8 @@ @techreport{Shapiro2011comprehensive month = jan, institution = {INRIA}, type = {Research Report}, -url = {http://hal.inria.fr/inria-00555588/} +url = {http://hal.inria.fr/inria-00555588/}, +keywords = {introduction} } @article{Letia2010consistency, @@ -56,7 +58,8 @@ @article{Letia2010consistency month = apr, publisher = {ACM}, doi = {10.1145/1773912.1773921}, -pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf} +pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf}, +keywords = {introduction} } @article{Burckhardt2014principles, @@ -70,7 +73,8 @@ @article{Burckhardt2014principles month = oct, publisher = {now publishers}, doi = {10.1561/2500000011}, -pdf = {https://www.nowpublishers.com/article/Download/PGL-011} +pdf = {https://www.nowpublishers.com/article/Download/PGL-011}, +keywords = {introduction} } @incollection{Preguica2018encyclopedia, @@ -81,7 +85,8 @@ @incollection{Preguica2018encyclopedia month = may, publisher = {Springer}, doi = {10.1007/978-3-319-63962-8_185-1}, -eprint = {1805.06358} +eprint = {1805.06358}, +keywords = {introduction} } @article{Preguica2018crdts, @@ -90,7 +95,8 @@ @article{Preguica2018crdts year = {2018}, month = jun, eprint = {1806.10254}, -url = {https://arxiv.org/abs/1806.10254} +url = {https://arxiv.org/abs/1806.10254}, +keywords = {introduction} } % Operation-based, state-based, delta-based @@ -106,6 +112,7 @@ @inproceedings{Baquero2014opbased publisher = {Springer LNCS volume 8460}, doi = {10.1007/978-3-662-43352-2_11}, pdf = {http://gsd.di.uminho.pt/members/cbm/ps/crdtOpsMiddleware.pdf}, +keywords = {operation-based}, note = {A shorter paper with the same title appears in PaPEC 2014} } @@ -115,7 +122,8 @@ @article{Baquero2017pure year = {2017}, eprint = {1710.04469}, month = oct, -url = {https://arxiv.org/abs/1710.04469} +url = {https://arxiv.org/abs/1710.04469}, +keywords = {operation-based} } @techreport{Baquero2015composition, @@ -124,7 +132,8 @@ @techreport{Baquero2015composition year = {2015}, month = may, institution = {HASLab, INESC TEC}, -url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf} +url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf}, +keywords = {state-based} } @inproceedings{Almeida2015delta, @@ -137,7 +146,8 @@ @inproceedings{Almeida2015delta month = may, publisher = {Springer LNCS volume 9466}, doi = {10.1007/978-3-319-26850-7_5}, -eprint = {1410.2803} +eprint = {1410.2803}, +keywords = {state-based} } @inproceedings{vanderLinde06delta, @@ -149,7 +159,8 @@ @inproceedings{vanderLinde06delta articleno = {12}, publisher = {ACM}, doi = {10.1145/2911151.2911163}, -pdf = {https://novasys.di.fct.unl.pt/~alinde/publications/a12-van_der_linde.pdf} +pdf = {https://novasys.di.fct.unl.pt/~alinde/publications/a12-van_der_linde.pdf}, +keywords = {state-based} } % https://blog.acolyer.org/2016/04/25/delta-state-replicated-data-types/ @@ -161,7 +172,8 @@ @article{Almeida2018delta pages = {162--173}, year = {2018}, eprint = {1603.01529}, -doi = {10.1016/j.jpdc.2017.08.003} +doi = {10.1016/j.jpdc.2017.08.003}, +keywords = {state-based} } @inproceedings{Yu2019undo, @@ -174,7 +186,8 @@ @inproceedings{Yu2019undo publisher = {Dagstuhl LIPIcs}, articleno = {14}, doi = {10.4230/LIPIcs.OPODIS.2019.14}, -pdf = {https://drops.dagstuhl.de/opus/volltexte/2020/11800/pdf/LIPIcs-OPODIS-2019-14.pdf} +pdf = {https://drops.dagstuhl.de/opus/volltexte/2020/11800/pdf/LIPIcs-OPODIS-2019-14.pdf}, +keywords = {state-based, undo} } @inproceedings{Enes2019synchronization, @@ -186,7 +199,8 @@ @inproceedings{Enes2019synchronization month = apr, pages = {148--159}, doi = {10.1109/ICDE.2019.00022}, -eprint = {1803.02750} +eprint = {1803.02750}, +keywords = {state-based} } % Text editing CRDTs @@ -202,13 +216,14 @@ @inproceedings{Oster2006WOOT publisher = {ACM}, month = nov, doi = {10.1145/1180875.1180916}, -pdf = {https://hal.inria.fr/file/index/docid/108523/filename/OsterCSCW06.pdf} +pdf = {https://hal.inria.fr/file/index/docid/108523/filename/OsterCSCW06.pdf}, +keywords = {text-editing, WOOT} } % WOOTO @inproceedings{Weiss2007Wooki, author = {Weiss, St{\'e}phane and Urso, Pascal and Molli, Pascal}, -title = {Wooki: A {P2P} Wiki-Based Collaborative Writing Tool}, +title = {{Wooki}: A {P2P} Wiki-Based Collaborative Writing Tool}, booktitle = {8th International Conference on Web Information Systems Engineering}, series = {WISE 2007}, year = {2007}, @@ -216,7 +231,8 @@ @inproceedings{Weiss2007Wooki publisher = {Springer LNCS volume 4831}, month = dec, doi = {10.1007/978-3-540-76993-4_42}, -pdf = {http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf} +pdf = {http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf}, +keywords = {text-editing, WOOT} } % Detailed specification and analysis of WOOT CRDT @@ -228,7 +244,8 @@ @techreport{Oster2005WOOT month = may, institution = {INRIA}, type = {Research Report}, -url = {https://hal.inria.fr/inria-00071240/document} +url = {https://hal.inria.fr/inria-00071240/document}, +keywords = {text-editing, WOOT} } % Treedoc @@ -241,8 +258,9 @@ @inproceedings{Preguica2009Treedoc pages = {395--403}, publisher = {IEEE}, doi = {10.1109/ICDCS.2009.20}, -pdf = {http://dx.doi.org/10.1109/ICDCS.2009.20} -} +pdf = {http://dx.doi.org/10.1109/ICDCS.2009.20}, +keywords = {text-editing, Treedoc} +} % Logoot @inproceedings{Weiss2009Logoot, @@ -254,7 +272,8 @@ @inproceedings{Weiss2009Logoot pages = {404--412}, publisher = {IEEE}, doi = {10.1109/ICDCS.2009.75}, -pdf = {https://hal.inria.fr/inria-00432368/document} +pdf = {https://hal.inria.fr/inria-00432368/document}, +keywords = {text-editing, Logoot} } % Logoot-Undo @@ -270,7 +289,8 @@ @article{Weiss2010LogootUndo pages = {1162--1174}, publisher = {IEEE}, doi = {10.1109/TPDS.2009.173}, -pdf = {https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf} +pdf = {https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf}, +keywords = {text-editing, Logoot, undo} } % RGA @@ -286,7 +306,8 @@ @article{Roh2011RGA pages = {354--368}, publisher = {Elsevier}, doi = {10.1016/j.jpdc.2010.12.006}, -pdf = {http://csl.snu.ac.kr/papers/jpdc11.pdf} +pdf = {http://csl.snu.ac.kr/papers/jpdc11.pdf}, +keywords = {text-editing, RGA} } % LSEQ @@ -300,7 +321,8 @@ @inproceedings{Nedelec2013LSEQ publisher = {ACM}, month = sep, doi = {10.1145/2494266.2494278}, -pdf = {https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf} +pdf = {https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf}, +keywords = {text-editing, LSEQ} } @inproceedings{Nedelec2016CRATE, @@ -313,7 +335,8 @@ @inproceedings{Nedelec2016CRATE publisher = {ACM}, month = apr, doi = {10.1145/2872518.2890539}, -pdf = {https://hal.archives-ouvertes.fr/hal-01303333} +pdf = {https://hal.archives-ouvertes.fr/hal-01303333}, +keywords = {text-editing, LSEQ} } @inproceedings{AhmedNacer2011evaluating, @@ -326,7 +349,8 @@ @inproceedings{AhmedNacer2011evaluating publisher = {ACM}, month = sep, doi = {10.1145/2034691.2034717}, -pdf = {https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf} +pdf = {https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf}, +keywords = {text-editing} } % RGASplit and similar block-wise variants of other algorithms @@ -340,7 +364,8 @@ @inproceedings{Briot2016group publisher = {ACM}, month = nov, doi = {10.1145/2957276.2957300}, -pdf = {https://hal.inria.fr/hal-01343941/document} +pdf = {https://hal.inria.fr/hal-01343941/document}, +keywords = {text-editing, RGASplit} } @inproceedings{Yu2015undo, @@ -353,7 +378,8 @@ @inproceedings{Yu2015undo publisher = {Springer LNCS volume 9038}, month = jun, doi = {10.1007/978-3-319-19129-4_16}, -pdf = {https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf} +pdf = {https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf}, +keywords = {text-editing, undo} } % No open access version found @@ -366,7 +392,8 @@ @inproceedings{Lv2016stringbased pages = {45--50}, publisher = {IEEE}, month = sep, -doi = {10.1109/CSCWD.2016.7565961} +doi = {10.1109/CSCWD.2016.7565961}, +keywords = {text-editing} } % Move operation for text @@ -379,7 +406,8 @@ @inproceedings{AhmedNacer2013concurrency publisher = {ICST}, month = oct, doi = {10.4108/icst.collaboratecom.2013.254113}, -pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/collaboratecom-2013.pdf} +pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/collaboratecom-2013.pdf}, +keywords = {text-editing} } % YATA / Yjs @@ -393,7 +421,8 @@ @inproceedings{Nicolaescu2016YATA publisher = {ACM}, month = nov, doi = {10.1145/2957276.2957310}, -pdf = {https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types} +pdf = {https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types}, +keywords = {text-editing, Yjs} } @@ -409,7 +438,8 @@ @inproceedings{Martin2010xml publisher = {Springer LNCS volume 6426}, month = oct, doi = {10.1007/978-3-642-16934-2_37}, -eprint = {1010.3615} +eprint = {1010.3615}, +keywords = {trees, undo} } @techreport{AhmedNacer2012filesystem, @@ -422,7 +452,8 @@ @techreport{AhmedNacer2012filesystem publisher = {INRIA}, type = {Research Report}, eprint = {1207.5990}, -url = {https://hal.inria.fr/hal-00720681/} +url = {https://hal.inria.fr/hal-00720681/}, +keywords = {trees} } @article{Kleppmann2017json, @@ -435,7 +466,8 @@ @article{Kleppmann2017json pages = {2733--2746}, month = apr, doi = {10.1109/TPDS.2017.2697382}, -eprint = {1608.03960} +eprint = {1608.03960}, +keywords = {trees} } @inproceedings{Tao2015filesystems, @@ -448,7 +480,8 @@ @inproceedings{Tao2015filesystems month = may, articleno = {10}, doi = {10.1145/2757667.2757683}, -pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf} +pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf}, +keywords = {trees} } @inproceedings{Najafzadeh2018filesystem, @@ -461,7 +494,8 @@ @inproceedings{Najafzadeh2018filesystem publisher = {Springer LNCS volume 10747}, month = jan, doi = {10.1007/978-3-319-73721-8_17}, -pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf} +pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf}, +keywords = {trees} } @@ -477,7 +511,8 @@ @inproceedings{Brown2014Riak articleno = {1}, publisher = {ACM}, doi = {10.1145/2596631.2596633}, -pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=31} +pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=31}, +keywords = {systems, composition} } @inproceedings{Almeida2014decomposition, @@ -488,7 +523,8 @@ @inproceedings{Almeida2014decomposition publisher = {ACM}, articleno = {3}, doi = {10.1145/2596631.2596634}, -pdf = {https://core.ac.uk/download/pdf/154274611.pdf} +pdf = {https://core.ac.uk/download/pdf/154274611.pdf}, +keywords = {composition} } @inproceedings{AhmedNacer2014merging, @@ -501,7 +537,8 @@ @inproceedings{AhmedNacer2014merging articleno = {9}, publisher = {ACM}, doi = {10.1145/2596631.2596636}, -pdf = {https://hal.inria.fr/file/index/docid/957167/filename/main.pdf} +pdf = {https://hal.inria.fr/file/index/docid/957167/filename/main.pdf}, +keywords = {text-editing} } @inproceedings{Meiklejohn2014composability, @@ -513,7 +550,8 @@ @inproceedings{Meiklejohn2014composability articleno = {13}, publisher = {ACM}, doi = {10.1145/2596631.2596635}, -pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=34} +pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=34}, +keywords = {composition} } @inproceedings{Grishchenko2014oplogs, @@ -526,7 +564,8 @@ @inproceedings{Grishchenko2014oplogs articleno = {8}, publisher = {ACM}, doi = {10.1145/2596631.2596641}, -url = {http://www.ds.ewi.tudelft.nl/~victor/polo.pdf} +url = {http://www.ds.ewi.tudelft.nl/~victor/polo.pdf}, +keywords = {text-editing, operation-based} } % PaPoC 2015 @@ -543,7 +582,8 @@ @inproceedings{Navalho2015computations articleno = {1}, publisher = {ACM}, doi = {10.1145/2745947.2745948}, -pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/papoc-2015-1.pdf} +pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/papoc-2015-1.pdf}, +keywords = {computation} } @inproceedings{Holt2015claret, @@ -556,7 +596,8 @@ @inproceedings{Holt2015claret articleno = {4}, publisher = {ACM}, doi = {10.1145/2745947.2745951}, -pdf = {http://irenezhang.net/papers/claret-papoc15.pdf} +pdf = {http://irenezhang.net/papers/claret-papoc15.pdf}, +keywords = {transactions, systems}, } % Associated master's thesis: https://www.dropbox.com/s/t0cyzfvmah9cldw/Master%20Thesis%20-%20Santiago%20Casti%C3%B1eira.pdf @@ -569,7 +610,8 @@ @inproceedings{Castineira2015offline month = apr, articleno = {5}, publisher = {ACM}, -doi = {10.1145/2745947.2745952} +doi = {10.1145/2745947.2745952}, +keywords = {systems} } @inproceedings{10.1145/2745947.2745954, @@ -582,7 +624,8 @@ @inproceedings{10.1145/2745947.2745954 articleno = {7}, publisher = {ACM}, doi = {10.1145/2745947.2745954}, -url = {https://www.info.ucl.ac.be/~pvr/papoc-2015-lasp-abstract.pdf} +url = {https://www.info.ucl.ac.be/~pvr/papoc-2015-lasp-abstract.pdf}, +keywords = {computation} } @@ -600,7 +643,8 @@ @inproceedings{10.1145/2911151.2911156 articleno = {5}, publisher = {ACM}, doi = {10.1145/2911151.2911156}, -eprint = {1605.06424} +eprint = {1605.06424}, +keywords = {systems, composition} } @inproceedings{Zawirski2016register, @@ -614,7 +658,8 @@ @inproceedings{Zawirski2016register publisher = {ACM}, doi = {10.1145/2911151.2911157}, url = {https://core.ac.uk/download/pdf/154274593.pdf}, -eprint = {1511.05010} +eprint = {1511.05010}, +keywords = {state-based} } @inproceedings{Baquero2016embedded, @@ -627,7 +672,8 @@ @inproceedings{Baquero2016embedded articleno = {10}, publisher = {ACM}, doi = {10.1145/2911151.2911159}, -url = {http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf} +url = {http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf}, +keywords = {composition, counters} } % Replikativ @@ -641,6 +687,7 @@ @inproceedings{Weilbach2016cdvcs articleno = {11}, publisher = {ACM}, doi = {10.1145/2911151.2911154}, +keywords = {systems, Replikativ} } @inproceedings{Akkoorath2016objects, @@ -653,7 +700,8 @@ @inproceedings{Akkoorath2016objects articleno = {13}, publisher = {ACM}, doi = {10.1145/2911151.2911158}, -pdf = {https://softech.cs.uni-kl.de/homepage/publications/Akkoorath.Bieniusa2016.pdf} +pdf = {https://softech.cs.uni-kl.de/homepage/publications/Akkoorath.Bieniusa2016.pdf}, +keywords = {shared-memory concurrency} } @@ -671,7 +719,8 @@ @inproceedings{Younes2017resettable publisher = {ACM}, articleno = {2}, doi = {10.1145/3064889.3064892}, -pdf = {https://haslab.uminho.pt/cbm/files/a3-younes.pdf} +pdf = {https://haslab.uminho.pt/cbm/files/a3-younes.pdf}, +keywords = {counters} } @inproceedings{Zeller2017Repliss, @@ -684,7 +733,8 @@ @inproceedings{Zeller2017Repliss publisher = {ACM}, articleno = {3}, doi = {10.1145/3064889.3064893}, -pdf = {https://dl.acm.org/authorize?N37605} +pdf = {https://dl.acm.org/authorize?N37605}, +keywords = {testing, verification} } @inproceedings{Enes2017borrowing, @@ -696,7 +746,8 @@ @inproceedings{Enes2017borrowing month = apr, publisher = {ACM}, doi = {10.1145/3064889.3064894}, -pdf = {https://haslab.uminho.pt/sites/default/files/cbm/files/a5-enes.pdf} +pdf = {https://haslab.uminho.pt/sites/default/files/cbm/files/a5-enes.pdf}, +keywords = {counters} } @@ -714,7 +765,8 @@ @inproceedings{Shapiro2018referential publisher = {ACM}, articleno = {1}, doi = {10.1145/3194261.3194262}, -pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/causal-refs-papoc-2018-04.pdf} +pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/causal-refs-papoc-2018-04.pdf}, +keywords = {causal-consistency} } @inproceedings{Bauwens2018constraining, @@ -727,7 +779,8 @@ @inproceedings{Bauwens2018constraining publisher = {ACM}, articleno = {2}, doi = {10.1145/3194261.3194263}, -pdf = {http://myter.be/papers/papoc18.pdf} +pdf = {http://myter.be/papers/papoc18.pdf}, +keywords = {counters} } @@ -744,7 +797,8 @@ @inproceedings{Leijnse2019higherorder publisher = {ACM}, articleno = {5}, doi = {10.1145/3301419.3323971}, -pdf = {https://repositorio.inesctec.pt/bitstream/123456789/10536/1/P-00Q-WJM.pdf} +pdf = {https://repositorio.inesctec.pt/bitstream/123456789/10536/1/P-00Q-WJM.pdf}, +keywords = {composition} } @inproceedings{Kleppmann2019interleaving, @@ -757,7 +811,8 @@ @inproceedings{Kleppmann2019interleaving publisher = {ACM}, articleno = {6}, doi = {10.1145/3301419.3323972}, -pdf = {https://martin.kleppmann.com/papers/interleaving-papoc19.pdf} +pdf = {https://martin.kleppmann.com/papers/interleaving-papoc19.pdf}, +keywords = {text-editing} } @inproceedings{Mealha2019cloudEdge, @@ -769,10 +824,11 @@ @inproceedings{Mealha2019cloudEdge month = mar, publisher = {ACM}, articleno = {7}, -doi = {10.1145/3301419.3323973} +doi = {10.1145/3301419.3323973}, +keywords = {systems} } -@inproceedings{10.1145/3301419.3323974, +@inproceedings{DePorre2019generic, author = {De Porre, Kevin and Myter, Florian and De Troyer, Christophe and Scholliers, Christophe and De Meuter, Wolfgang and Boix, Elisa Gonzalez}, title = {A Generic Replicated Data Type for Strong Eventual Consistency}, booktitle = {6th Workshop on Principles and Practice of Consistency for Distributed Data}, @@ -782,7 +838,8 @@ @inproceedings{10.1145/3301419.3323974 publisher = {ACM}, articleno = {8}, doi = {10.1145/3301419.3323974}, -pdf = {http://soft.vub.ac.be/Publications/2019/vub-soft-tr-19-08.pdf} +pdf = {http://soft.vub.ac.be/Publications/2019/vub-soft-tr-19-08.pdf}, +keywords = {text-editing, operation-based} } @@ -798,7 +855,8 @@ @inproceedings{Preguica2014SwiftCloud month = oct, publisher = {IEEE}, doi = {10.1109/SRDSW.2014.33}, -eprint = {1310.3107} +eprint = {1310.3107}, +keywords = {systems, SwiftCloud} } % SwiftCloud @@ -811,7 +869,8 @@ @inproceedings{Briquemont2015partial month = nov, publisher = {IEEE}, doi = {10.1109/CloudCom.2015.81}, -url = {https://dial.uclouvain.be/pr/boreal/object/boreal%3A214300/datastream/PDF_01/view} +url = {https://dial.uclouvain.be/pr/boreal/object/boreal%3A214300/datastream/PDF_01/view}, +keywords = {systems, SwiftCloud} } @inproceedings{Meiklejohn2015Lasp, @@ -824,7 +883,8 @@ @inproceedings{Meiklejohn2015Lasp publisher = {ACM}, pages = {184--195}, doi = {10.1145/2790449.2790525}, -pdf = {https://www.info.ucl.ac.be/~pvr/ppdp-2015-cr.pdf} +pdf = {https://www.info.ucl.ac.be/~pvr/ppdp-2015-cr.pdf}, +keywords = {computation, systems} } @inproceedings{Akkoorath2016Cure, @@ -837,7 +897,8 @@ @inproceedings{Akkoorath2016Cure publisher = {IEEE}, pages = {405--414}, doi = {10.1109/ICDCS.2016.98}, -pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/Cure-final-ICDCS16.pdf} +pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/Cure-final-ICDCS16.pdf}, +keywords = {systems} } @inproceedings{Jungnickel2017imap, @@ -850,7 +911,8 @@ @inproceedings{Jungnickel2017imap publisher = {ACM}, articleno = {1}, doi = {10.1145/3064889.3064891}, -pdf = {http://www.redaktion.tu-berlin.de/fileadmin/a34331500/paper/papoc17-jungnickel.pdf} +pdf = {http://www.redaktion.tu-berlin.de/fileadmin/a34331500/paper/papoc17-jungnickel.pdf}, +keywords = {systems} } @inproceedings{Chandramouli2018Faster, @@ -863,7 +925,8 @@ @inproceedings{Chandramouli2018Faster publisher = {ACM}, pages = {275--290}, doi = {10.1145/3183713.3196898}, -pdf = {https://www.microsoft.com/en-us/research/uploads/prod/2018/03/faster-sigmod18.pdf} +pdf = {https://www.microsoft.com/en-us/research/uploads/prod/2018/03/faster-sigmod18.pdf}, +keywords = {systems} } @inproceedings{Yu2017disturbance, @@ -876,7 +939,22 @@ @inproceedings{Yu2017disturbance publisher = {Springer LNCS volume 10451}, pages = {39--47}, doi = {10.1007/978-3-319-66805-5_5}, -pdf = {https://hal.inria.fr/hal-01652656/document} +pdf = {https://hal.inria.fr/hal-01652656/document}, +keywords = {systems, usability} +} + +@inproceedings{Kleppmann2019localfirst, +author = {Kleppmann, Martin and Wiggins, Adam and van Hardenberg, Peter and McGranaghan, Mark}, +title = {Local-First Software: You own your data, in spite of the cloud}, +booktitle = {ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software}, +series = {Onward! 2019}, +year = {2019}, +month = oct, +publisher = {ACM}, +pages = {154--178}, +doi = {10.1145/3359591.3359737}, +pdf = {https://martin.kleppmann.com/papers/local-first.pdf}, +keywords = {systems, usability} } @@ -888,7 +966,8 @@ @article{Almeida2013counters year = {2013}, month = jul, eprint = {1307.3207}, -url = {https://arxiv.org/abs/1307.3207} +url = {https://arxiv.org/abs/1307.3207}, +keywords = {counters} } @mastersthesis{Enes2017sync, @@ -897,7 +976,8 @@ @mastersthesis{Enes2017sync school = {Universidade do Minho}, year = {2017}, month = nov, -url = {https://vitorenes.org/page/other/msc-thesis.pdf} +url = {https://vitorenes.org/page/other/msc-thesis.pdf}, +keywords = {state-based} } % bounded counter crdt @@ -911,7 +991,8 @@ @inproceedings{Balegas2015invariants publisher = {IEEE}, pages = {31--36}, doi = {10.1109/SRDS.2015.32}, -eprint = {1503.09052} +eprint = {1503.09052}, +keywords = {counters} } @inproceedings{Navalho2013stream, @@ -925,7 +1006,8 @@ @inproceedings{Navalho2013stream publisher = {ACM}, pages = {31--36}, doi = {10.1145/2460756.2460762}, -pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/computational-CRDTs-CloudDP-2013.pdf} +pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/computational-CRDTs-CloudDP-2013.pdf}, +keywords = {computation} } @inproceedings{Bieniusa2012sets, @@ -938,7 +1020,8 @@ @inproceedings{Bieniusa2012sets publisher = {Springer LNCS volume 7611}, pages = {441--442}, doi = {10.1007/978-3-642-33651-5_48}, -url = {https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf} +url = {https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf}, +keywords = {set-crdt, specification} } @techreport{Bieniusa2012optimized, @@ -950,7 +1033,8 @@ @techreport{Bieniusa2012optimized year = {2012}, month = oct, eprint = {1210.3368}, -pdf = {http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf} +pdf = {http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf}, +keywords = {set-crdt} } @inproceedings{Nicolaescu2015Yjs, @@ -963,7 +1047,8 @@ @inproceedings{Nicolaescu2015Yjs publisher = {Springer LNCS volume 9114}, pages = {675--678}, doi = {10.1007/978-3-319-19890-3_55}, -url = {http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf} +url = {http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf}, +keywords = {systems, Yjs} } @article{Lv2018CAD, @@ -975,7 +1060,8 @@ @article{Lv2018CAD volume = {38}, pages = {381--391}, publisher = {Elsevier}, -doi = {10.1016/j.aei.2018.08.008} +doi = {10.1016/j.aei.2018.08.008}, +keywords = {systems} } @@ -991,7 +1077,8 @@ @incollection{Zeller2014verification pages = {33--48}, publisher = {Springer LNCS volume 8461}, doi = {10.1007/978-3-662-43613-4_3}, -url = {https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf} +url = {https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf}, +keywords = {specification, verification} } @article{Gomes2017verifying, @@ -1004,7 +1091,8 @@ @article{Gomes2017verifying month = oct, publisher = {ACM}, doi = {10.1145/3133933}, -eprint = {1707.01747} +eprint = {1707.01747}, +keywords = {specification, verification} } @inproceedings{Burckhardt2014specification, @@ -1017,7 +1105,8 @@ @inproceedings{Burckhardt2014specification publisher = {ACM}, pages = {271--284}, doi = {10.1145/2535838.2535848}, -pdf = {http://software.imdea.org/~gotsman/papers/distrmm-popl14-ext.pdf} +pdf = {http://software.imdea.org/~gotsman/papers/distrmm-popl14-ext.pdf}, +keywords = {specification, verification} } @article{Kleppmann2018OpSets, @@ -1026,7 +1115,8 @@ @article{Kleppmann2018OpSets year = {2018}, month = may, eprint = {1805.04263}, -url = {https://arxiv.org/abs/1805.04263} +url = {https://arxiv.org/abs/1805.04263}, +keywords = {specification, verification} } @inproceedings{Gotsman2016CISE, @@ -1040,7 +1130,8 @@ @inproceedings{Gotsman2016CISE pages = {371--384}, numpages = {14}, doi = {10.1145/2837614.2837625}, -pdf = {http://software.imdea.org/~gotsman/papers/logic-popl16.pdf} +pdf = {http://software.imdea.org/~gotsman/papers/logic-popl16.pdf}, +keywords = {specification, verification} } @inproceedings{Attiya2016text, @@ -1053,7 +1144,8 @@ @inproceedings{Attiya2016text publisher = {ACM}, pages = {259--268}, doi = {10.1145/2933057.2933090}, -pdf = {http://www.cs.ox.ac.uk/people/hongseok.yang/paper/podc16-full.pdf} +pdf = {http://www.cs.ox.ac.uk/people/hongseok.yang/paper/podc16-full.pdf}, +keywords = {text-editing, specification, verification} } % safety analysis @@ -1066,7 +1158,40 @@ @inproceedings{Li2014Sieve month = jun, publisher = {USENIX}, pages = {281--292}, -url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2} +url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2}, +keywords = {verification} +} + + +% Security and privacy of CRDTs + +@article{Kollmann2019Snapdoc, +author = {Kollmann, Stephan A and Kleppmann, Martin and Beresford, Alastair R}, +title = {{Snapdoc}: Authenticated snapshots with history privacy in peer-to-peer collaborative editing}, +journal = {Proceedings on Privacy Enhancing Technologies (PoPETS)}, +volume = {2019}, +number = {3}, +pages = {210--232}, +year = {2019}, +month = jul, +publisher = {De Gruyter}, +doi = {10.2478/popets-2019-0044}, +pdf = {https://www.petsymposium.org/2019/files/papers/issue3/popets-2019-0044.pdf}, +keywords = {security} +} + +@inproceedings{Truong2012authenticating, +author = {Truong, Hien Thi Thu and Ignat, Claudia-Lavinia and Molli, Pascal}, +title = {Authenticating operation-based history in collaborative systems}, +booktitle = {17th ACM International Conference on Supporting Group Work}, +series = {GROUP 2012}, +year = {2012}, +month = oct, +pages = {131--140}, +publisher = {ACM}, +doi = {10.1145/2389176.2389197}, +url = {https://hal.inria.fr/hal-00761045/document}, +keywords = {security} } @@ -1083,7 +1208,8 @@ @inproceedings{Conway2012lattices articleno = {1}, pages = {1--14}, doi = {10.1145/2391229.2391230}, -pdf = {https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.pdf} +pdf = {https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.pdf}, +keywords = {crdt-related} } @inproceedings{Burckhardt2012CloudTypes, @@ -1096,7 +1222,8 @@ @inproceedings{Burckhardt2012CloudTypes pages = {283--307}, publisher = {Springer LNCS volume 7313}, doi = {10.1007/978-3-642-31057-7_14}, -url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final-with-color.pdf} +url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final-with-color.pdf}, +keywords = {crdt-related} } @inproceedings{Burckhardt2012transactions, @@ -1109,7 +1236,8 @@ @inproceedings{Burckhardt2012transactions publisher = {Springer LNCS volume 7211}, pages = {67--86}, doi = {10.1007/978-3-642-28869-2_4}, -pdf = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/ecr-esop2012.pdf} +pdf = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/ecr-esop2012.pdf}, +keywords = {crdt-related, transactions} } @article{Kaki2019mergeable, @@ -1122,7 +1250,8 @@ @article{Kaki2019mergeable month = oct, publisher = {ACM}, doi = {10.1145/3360580}, -url = {https://gowthamk.github.io/docs/mrdt.pdf} +url = {https://gowthamk.github.io/docs/mrdt.pdf}, +keywords = {crdt-related} } @inproceedings{Kuper2014LVars, @@ -1132,5 +1261,6 @@ @inproceedings{Kuper2014LVars series = {WoDet 2014}, year = {2014}, month = mar, -url = {http://wodet.cs.washington.edu/wp-content/uploads/2014/02/wodet2014-final1.pdf} +url = {http://wodet.cs.washington.edu/wp-content/uploads/2014/02/wodet2014-final1.pdf}, +keywords = {crdt-related, shared-memory concurrency} } diff --git a/papers.html b/papers.html index 3a72234..28c03db 100644 --- a/papers.html +++ b/papers.html @@ -9,6 +9,81 @@ bibtex2html --dl --nodoc --title "CRDT Papers" papers.bib -->

CRDT Papers

+

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

+ +

Select checkboxes to filter papers by topic:

+
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
+ + + +

Paper List

@@ -23,6 +98,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: introduction +
@@ -37,6 +115,9 @@

CRDT Papers

Research Report 7506, INRIA, January 2011. [ bib | http ] +
+Keywords: introduction +
@@ -51,6 +132,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: introduction +
@@ -66,6 +150,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: introduction +
@@ -80,6 +167,9 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: introduction +
@@ -94,6 +184,9 @@

CRDT Papers

[ bib | arXiv | http ] +
+Keywords: introduction +
@@ -111,6 +204,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: operation-based +
@@ -125,6 +221,9 @@

CRDT Papers

[ bib | arXiv | http ] +
+Keywords: operation-based +
@@ -138,6 +237,9 @@

CRDT Papers

Technical report, HASLab, INESC TEC, May 2015. [ bib | .pdf ] +
+Keywords: state-based +
@@ -153,6 +255,9 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: state-based +
@@ -168,6 +273,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: state-based +
@@ -183,21 +291,27 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: state-based +
-[13] +[13]
Weihai Yu, Victorien Elvinger, and Claudia-Lavinia Ignat. A generic undo support for state-based CRDTs. In 23rd International Conference on Principles of Distributed - Systems (), OPODIS 2019. Dagstuhl LIPIcs, November 2019. -[ bib | + Systems, OPODIS 2019. Dagstuhl LIPIcs, November 2019. +[ bib | DOI | .pdf ] +
+Keywords: state-based, undo +
@@ -213,6 +327,9 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: state-based +
@@ -228,6 +345,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, WOOT +
@@ -244,6 +364,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, WOOT +
@@ -257,6 +380,9 @@

CRDT Papers

Research Report RR-5580, INRIA, May 2005. [ bib | http ] +
+Keywords: text-editing, WOOT +
@@ -272,6 +398,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: text-editing, Treedoc +
@@ -288,6 +417,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: text-editing, Logoot +
@@ -304,6 +436,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, Logoot, undo +
@@ -320,6 +455,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, RGA +
@@ -336,6 +474,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, LSEQ +
@@ -351,6 +492,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: text-editing, LSEQ +
@@ -367,6 +511,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing +
@@ -382,6 +529,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: text-editing, RGASplit +
@@ -398,6 +548,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, undo +
@@ -413,6 +566,9 @@

CRDT Papers

Cooperative Work in Design, CSCWD 2016, pages 45--50. IEEE, September 2016. [ bib | DOI ] +
+Keywords: text-editing +
@@ -429,6 +585,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing +
@@ -444,6 +603,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: text-editing, Yjs +
@@ -459,6 +621,9 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: trees, undo +
@@ -473,6 +638,9 @@

CRDT Papers

[ bib | arXiv | http ] +
+Keywords: trees +
@@ -488,6 +656,9 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: trees +
@@ -504,6 +675,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: trees +
@@ -520,6 +694,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: trees +
@@ -535,6 +712,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: systems, composition +
@@ -551,6 +731,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: composition +
@@ -566,6 +749,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing +
@@ -582,6 +768,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: composition +
@@ -597,6 +786,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, operation-based +
@@ -612,6 +804,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: computation +
@@ -628,6 +823,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: transactions, systems +
@@ -643,6 +841,9 @@

CRDT Papers

Distributed Data, PaPoC 2015. ACM, April 2015. [ bib | DOI ] +
+Keywords: systems +
@@ -659,6 +860,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: computation +
@@ -674,6 +878,9 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: systems, composition +
@@ -691,6 +898,9 @@

CRDT Papers

DOI | arXiv | .pdf ] +
+Keywords: state-based +
@@ -706,6 +916,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: composition, counters +
@@ -720,6 +933,9 @@

CRDT Papers

for Distributed Data, PaPoC 2016. ACM, April 2016. [ bib | DOI ] +
+Keywords: systems, Replikativ +
@@ -735,6 +951,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: shared-memory concurrency +
@@ -750,6 +969,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: counters +
@@ -765,6 +987,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: testing, verification +
@@ -781,6 +1006,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: counters +
@@ -796,6 +1024,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: causal-consistency +
@@ -811,6 +1042,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: counters +
@@ -826,6 +1060,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: composition +
@@ -842,6 +1079,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing +
@@ -856,12 +1096,15 @@

CRDT Papers

Distributed Data, PaPoC 2019. ACM, March 2019. [ bib | DOI ] +
+Keywords: systems +
-[57] +[57]
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, @@ -869,9 +1112,12 @@

CRDT Papers

A generic replicated data type for strong eventual consistency. In 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019. ACM, March 2019. -[ bib | +[ bib | DOI | .pdf ] +
+Keywords: text-editing, operation-based +
@@ -889,6 +1135,9 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: systems, SwiftCloud +
@@ -904,6 +1153,9 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: systems, SwiftCloud +
@@ -919,6 +1171,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: computation, systems +
@@ -935,6 +1190,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: systems +
@@ -950,6 +1208,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: systems +
@@ -966,6 +1227,9 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: systems +
@@ -983,12 +1247,34 @@

CRDT Papers

[ bib | DOI | http ] +
+Keywords: systems, usability +
+ + + + +
+[65] +
+
+Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, and Mark McGranaghan. + Local-first software: You own your data, in spite of the cloud. + In ACM SIGPLAN International Symposium on New Ideas, New + Paradigms, and Reflections on Programming and Software, Onward! 2019, pages + 154--178. ACM, October 2019. +[ bib | +DOI | +.pdf ] +
+Keywords: systems, usability +
-[65] +[66]
Paulo Sérgio Almeida and Carlos Baquero. @@ -997,12 +1283,15 @@

CRDT Papers

[ bib | arXiv | http ] +
+Keywords: counters +
-[66] +[67]
Vitor Enes. @@ -1010,12 +1299,15 @@

CRDT Papers

Master's thesis, Universidade do Minho, November 2017. [ bib | .pdf ] +
+Keywords: state-based +
-[67] +[68]
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, @@ -1027,12 +1319,15 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: counters +
-[68] +[69]
David Navalho, Sérgio Duarte, Nuno Preguiça, and Marc Shapiro. @@ -1043,12 +1338,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: computation +
-[69] +[70]
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos @@ -1060,12 +1358,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: set-crdt, specification +
-[70] +[71]
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos @@ -1075,12 +1376,15 @@

CRDT Papers

[ bib | arXiv | .pdf ] +
+Keywords: set-crdt +
-[71] +[72]
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma. @@ -1091,12 +1395,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: systems, Yjs +
-[72] +[73]
Xiao Lv, Fazhi He, Yuan Cheng, and Yiqi Wu. @@ -1105,12 +1412,15 @@

CRDT Papers

Advanced Engineering Informatics, 38:381--391, August 2018. [ bib | DOI ] +
+Keywords: systems +
-[73] +[74]
Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter. @@ -1121,12 +1431,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: specification, verification +
-[74] +[75]
Victor B F Gomes, Martin Kleppmann, Dominic P Mulligan, and Alastair R @@ -1137,12 +1450,15 @@

CRDT Papers

[ bib | DOI | arXiv ] +
+Keywords: specification, verification +
-[75] +[76]
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski. @@ -1152,12 +1468,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: specification, verification +
-[76] +[77]
Martin Kleppmann, Victor B F Gomes, Dominic P Mulligan, and Alastair R @@ -1168,12 +1487,15 @@

CRDT Papers

[ bib | arXiv | http ] +
+Keywords: specification, verification +
-[77] +[78]
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc @@ -1185,12 +1507,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: specification, verification +
-[78] +[79]
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok @@ -1201,12 +1526,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: text-editing, specification, verification +
-[79] +[80]
Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, Rodrigo @@ -1216,12 +1544,52 @@

CRDT Papers

281--292. USENIX, June 2014. [ bib | http ] +
+Keywords: verification +
+ +
+ + +
+[81] +
+
+Stephan A Kollmann, Martin Kleppmann, and Alastair R Beresford. + Snapdoc: Authenticated snapshots with history privacy in + peer-to-peer collaborative editing. + Proceedings on Privacy Enhancing Technologies (PoPETS), + 2019(3):210--232, July 2019. +[ bib | +DOI | +.pdf ] +
+Keywords: security +
+ +
+ + +
+[82] +
+
+Hien Thi Thu Truong, Claudia-Lavinia Ignat, and Pascal Molli. + Authenticating operation-based history in collaborative systems. + In 17th ACM International Conference on Supporting Group Work, + GROUP 2012, pages 131--140. ACM, October 2012. +[ bib | +DOI | +http ] +
+Keywords: security +
-[80] +[83]
Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David @@ -1232,12 +1600,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: crdt-related +
-[81] +[84]
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P Wood. @@ -1247,12 +1618,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: crdt-related +
-[82] +[85]
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, and Mooly Sagiv. @@ -1262,12 +1636,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: crdt-related, transactions +
-[83] +[86]
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan. @@ -1277,12 +1654,15 @@

CRDT Papers

[ bib | DOI | .pdf ] +
+Keywords: crdt-related +
-[84] +[87]
Lindsey Kuper and Ryan R Newton. @@ -1292,7 +1672,10 @@

CRDT Papers

Programming, WoDet 2014, March 2014. [ bib | .pdf ] +
+Keywords: crdt-related, shared-memory concurrency +
-

This file was generated by -bibtex2html 1.99.

+ + diff --git a/papers_bib.html b/papers_bib.html index ebe3561..9fb0b20 100644 --- a/papers_bib.html +++ b/papers_bib.html @@ -10,7 +10,8 @@

CRDT Papers

   pages = {386--400},
   doi = {10.1007/978-3-642-24550-3_29},
   pdf = {https://pages.lip6.fr/Marek.Zawirski/papers/RR-7687.pdf},
-  publisher = {Springer LNCS volume 6976}
+  publisher = {Springer LNCS volume 6976},
+  keywords = {introduction}
 }
@@ -23,7 +24,8 @@

CRDT Papers

   month = jan,
   institution = {INRIA},
   type = {Research Report},
-  url = {http://hal.inria.fr/inria-00555588/}
+  url = {http://hal.inria.fr/inria-00555588/},
+  keywords = {introduction}
 }
@@ -39,7 +41,8 @@

CRDT Papers

   month = apr,
   publisher = {ACM},
   doi = {10.1145/1773912.1773921},
-  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf}
+  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/osr-2010.pdf},
+  keywords = {introduction}
 }
@@ -55,7 +58,8 @@

CRDT Papers

   month = oct,
   publisher = {now publishers},
   doi = {10.1561/2500000011},
-  pdf = {https://www.nowpublishers.com/article/Download/PGL-011}
+  pdf = {https://www.nowpublishers.com/article/Download/PGL-011},
+  keywords = {introduction}
 }
@@ -68,7 +72,8 @@

CRDT Papers

   month = may,
   publisher = {Springer},
   doi = {10.1007/978-3-319-63962-8_185-1},
-  eprint = {1805.06358}
+  eprint = {1805.06358},
+  keywords = {introduction}
 }
@@ -79,7 +84,8 @@

CRDT Papers

   year = {2018},
   month = jun,
   eprint = {1806.10254},
-  url = {https://arxiv.org/abs/1806.10254}
+  url = {https://arxiv.org/abs/1806.10254},
+  keywords = {introduction}
 }
@@ -95,6 +101,7 @@

CRDT Papers

   publisher = {Springer LNCS volume 8460},
   doi = {10.1007/978-3-662-43352-2_11},
   pdf = {http://gsd.di.uminho.pt/members/cbm/ps/crdtOpsMiddleware.pdf},
+  keywords = {operation-based},
   note = {A shorter paper with the same title appears in PaPEC 2014}
 }
@@ -106,7 +113,8 @@

CRDT Papers

   year = {2017},
   eprint = {1710.04469},
   month = oct,
-  url = {https://arxiv.org/abs/1710.04469}
+  url = {https://arxiv.org/abs/1710.04469},
+  keywords = {operation-based}
 }
@@ -117,7 +125,8 @@

CRDT Papers

   year = {2015},
   month = may,
   institution = {HASLab, INESC TEC},
-  url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf}
+  url = {http://haslab.uminho.pt/cbm/files/crdtcompositionreport.pdf},
+  keywords = {state-based}
 }
@@ -132,7 +141,8 @@

CRDT Papers

   month = may,
   publisher = {Springer LNCS volume 9466},
   doi = {10.1007/978-3-319-26850-7_5},
-  eprint = {1410.2803}
+  eprint = {1410.2803},
+  keywords = {state-based}
 }
@@ -146,7 +156,8 @@

CRDT Papers

   articleno = {12},
   publisher = {ACM},
   doi = {10.1145/2911151.2911163},
-  pdf = {https://novasys.di.fct.unl.pt/~alinde/publications/a12-van_der_linde.pdf}
+  pdf = {https://novasys.di.fct.unl.pt/~alinde/publications/a12-van_der_linde.pdf},
+  keywords = {state-based}
 }
@@ -159,22 +170,24 @@

CRDT Papers

   pages = {162--173},
   year = {2018},
   eprint = {1603.01529},
-  doi = {10.1016/j.jpdc.2017.08.003}
+  doi = {10.1016/j.jpdc.2017.08.003},
+  keywords = {state-based}
 }
-
-@inproceedings{Yu2020undo,
+
+@inproceedings{Yu2019undo,
   author = {Yu, Weihai and Elvinger, Victorien and Ignat, Claudia-Lavinia},
   title = {A Generic Undo Support for State-Based {CRDTs}},
-  booktitle = {23rd International Conference on Principles of Distributed Systems ()},
+  booktitle = {23rd International Conference on Principles of Distributed Systems},
   series = {OPODIS 2019},
   year = {2019},
   month = nov,
   publisher = {Dagstuhl LIPIcs},
   articleno = {14},
   doi = {10.4230/LIPIcs.OPODIS.2019.14},
-  pdf = {https://drops.dagstuhl.de/opus/volltexte/2020/11800/pdf/LIPIcs-OPODIS-2019-14.pdf}
+  pdf = {https://drops.dagstuhl.de/opus/volltexte/2020/11800/pdf/LIPIcs-OPODIS-2019-14.pdf},
+  keywords = {state-based, undo}
 }
 

 
@@ -188,7 +201,8 @@ 
CRDT Papers
   month = apr,
   pages = {148--159},
   doi = {10.1109/ICDE.2019.00022},
-  eprint = {1803.02750}
+  eprint = {1803.02750},
+  keywords = {state-based}
 }
 

 
@@ -203,14 +217,15 @@ 
CRDT Papers
   publisher = {ACM},
   month = nov,
   doi = {10.1145/1180875.1180916},
-  pdf = {https://hal.inria.fr/file/index/docid/108523/filename/OsterCSCW06.pdf}
+  pdf = {https://hal.inria.fr/file/index/docid/108523/filename/OsterCSCW06.pdf},
+  keywords = {text-editing, WOOT}
 }
 

 
 
 @inproceedings{Weiss2007Wooki,
   author = {Weiss, St{\'e}phane and Urso, Pascal and Molli, Pascal},
-  title = {Wooki: A {P2P} Wiki-Based Collaborative Writing Tool},
+  title = {{Wooki}: A {P2P} Wiki-Based Collaborative Writing Tool},
   booktitle = {8th International Conference on Web Information Systems Engineering},
   series = {WISE 2007},
   year = {2007},
@@ -218,7 +233,8 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 4831},
   month = dec,
   doi = {10.1007/978-3-540-76993-4_42},
-  pdf = {http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf}
+  pdf = {http://pagesperso.lina.univ-nantes.fr/~molli-p/pmwiki/uploads/Main/weiss07.pdf},
+  keywords = {text-editing, WOOT}
 }
 

 
@@ -231,7 +247,8 @@ 
CRDT Papers
   month = may,
   institution = {INRIA},
   type = {Research Report},
-  url = {https://hal.inria.fr/inria-00071240/document}
+  url = {https://hal.inria.fr/inria-00071240/document},
+  keywords = {text-editing, WOOT}
 }
 

 
@@ -245,7 +262,8 @@ 
CRDT Papers
   pages = {395--403},
   publisher = {IEEE},
   doi = {10.1109/ICDCS.2009.20},
-  pdf = {http://dx.doi.org/10.1109/ICDCS.2009.20}
+  pdf = {http://dx.doi.org/10.1109/ICDCS.2009.20},
+  keywords = {text-editing, Treedoc}
 }
 

 
@@ -259,7 +277,8 @@ 
CRDT Papers
   pages = {404--412},
   publisher = {IEEE},
   doi = {10.1109/ICDCS.2009.75},
-  pdf = {https://hal.inria.fr/inria-00432368/document}
+  pdf = {https://hal.inria.fr/inria-00432368/document},
+  keywords = {text-editing, Logoot}
 }
 

 
@@ -276,7 +295,8 @@ 
CRDT Papers
   pages = {1162--1174},
   publisher = {IEEE},
   doi = {10.1109/TPDS.2009.173},
-  pdf = {https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf}
+  pdf = {https://www.researchgate.net/profile/Pascal_Urso/publication/233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/0fcfd50c84f5194937000000.pdf},
+  keywords = {text-editing, Logoot, undo}
 }
 

 
@@ -293,7 +313,8 @@ 
CRDT Papers
   pages = {354--368},
   publisher = {Elsevier},
   doi = {10.1016/j.jpdc.2010.12.006},
-  pdf = {http://csl.snu.ac.kr/papers/jpdc11.pdf}
+  pdf = {http://csl.snu.ac.kr/papers/jpdc11.pdf},
+  keywords = {text-editing, RGA}
 }
 

 
@@ -308,7 +329,8 @@ 
CRDT Papers
   publisher = {ACM},
   month = sep,
   doi = {10.1145/2494266.2494278},
-  pdf = {https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf}
+  pdf = {https://hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf},
+  keywords = {text-editing, LSEQ}
 }
 

 
@@ -323,7 +345,8 @@ 
CRDT Papers
   publisher = {ACM},
   month = apr,
   doi = {10.1145/2872518.2890539},
-  pdf = {https://hal.archives-ouvertes.fr/hal-01303333}
+  pdf = {https://hal.archives-ouvertes.fr/hal-01303333},
+  keywords = {text-editing, LSEQ}
 }
 

 
@@ -338,7 +361,8 @@ 
CRDT Papers
   publisher = {ACM},
   month = sep,
   doi = {10.1145/2034691.2034717},
-  pdf = {https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf}
+  pdf = {https://hal.inria.fr/docs/00/62/95/03/PDF/doce63-ahmednacer.pdf},
+  keywords = {text-editing}
 }
 

 
@@ -353,7 +377,8 @@ 
CRDT Papers
   publisher = {ACM},
   month = nov,
   doi = {10.1145/2957276.2957300},
-  pdf = {https://hal.inria.fr/hal-01343941/document}
+  pdf = {https://hal.inria.fr/hal-01343941/document},
+  keywords = {text-editing, RGASplit}
 }
 

 
@@ -368,7 +393,8 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 9038},
   month = jun,
   doi = {10.1007/978-3-319-19129-4_16},
-  pdf = {https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf}
+  pdf = {https://members.loria.fr/CIgnat/files/pdf/YuDAIS15.pdf},
+  keywords = {text-editing, undo}
 }
 

 
@@ -382,7 +408,8 @@ 
CRDT Papers
   pages = {45--50},
   publisher = {IEEE},
   month = sep,
-  doi = {10.1109/CSCWD.2016.7565961}
+  doi = {10.1109/CSCWD.2016.7565961},
+  keywords = {text-editing}
 }
 

 
@@ -396,7 +423,8 @@ 
CRDT Papers
   publisher = {ICST},
   month = oct,
   doi = {10.4108/icst.collaboratecom.2013.254113},
-  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/collaboratecom-2013.pdf}
+  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/collaboratecom-2013.pdf},
+  keywords = {text-editing}
 }
 

 
@@ -411,7 +439,8 @@ 
CRDT Papers
   publisher = {ACM},
   month = nov,
   doi = {10.1145/2957276.2957310},
-  pdf = {https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types}
+  pdf = {https://www.researchgate.net/publication/310212186_Near_Real-Time_Peer-to-Peer_Shared_Editing_on_Extensible_Data_Types},
+  keywords = {text-editing, Yjs}
 }
 

 
@@ -425,7 +454,8 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 6426},
   month = oct,
   doi = {10.1007/978-3-642-16934-2_37},
-  eprint = {1010.3615}
+  eprint = {1010.3615},
+  keywords = {trees, undo}
 }
 

 
@@ -440,7 +470,8 @@ 
CRDT Papers
   publisher = {INRIA},
   type = {Research Report},
   eprint = {1207.5990},
-  url = {https://hal.inria.fr/hal-00720681/}
+  url = {https://hal.inria.fr/hal-00720681/},
+  keywords = {trees}
 }
 

 
@@ -455,7 +486,8 @@ 
CRDT Papers
   pages = {2733--2746},
   month = apr,
   doi = {10.1109/TPDS.2017.2697382},
-  eprint = {1608.03960}
+  eprint = {1608.03960},
+  keywords = {trees}
 }
 

 
@@ -470,7 +502,8 @@ 
CRDT Papers
   month = may,
   articleno = {10},
   doi = {10.1145/2757667.2757683},
-  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf}
+  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/geodistr-FS-Systor-2015.pdf},
+  keywords = {trees}
 }
 

 
@@ -485,7 +518,8 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 10747},
   month = jan,
   doi = {10.1007/978-3-319-73721-8_17},
-  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf}
+  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/VMCAI-2018-filesys.pdf},
+  keywords = {trees}
 }
 

 
@@ -499,7 +533,8 @@ 
CRDT Papers
   articleno = {1},
   publisher = {ACM},
   doi = {10.1145/2596631.2596633},
-  pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=31}
+  pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=31},
+  keywords = {systems, composition}
 }
 

 
@@ -512,7 +547,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {3},
   doi = {10.1145/2596631.2596634},
-  pdf = {https://core.ac.uk/download/pdf/154274611.pdf}
+  pdf = {https://core.ac.uk/download/pdf/154274611.pdf},
+  keywords = {composition}
 }
 

 
@@ -527,7 +563,8 @@ 
CRDT Papers
   articleno = {9},
   publisher = {ACM},
   doi = {10.1145/2596631.2596636},
-  pdf = {https://hal.inria.fr/file/index/docid/957167/filename/main.pdf}
+  pdf = {https://hal.inria.fr/file/index/docid/957167/filename/main.pdf},
+  keywords = {text-editing}
 }
 

 
@@ -541,7 +578,8 @@ 
CRDT Papers
   articleno = {13},
   publisher = {ACM},
   doi = {10.1145/2596631.2596635},
-  pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=34}
+  pdf = {https://pages.lip6.fr/syncfree/attachments/article/46/WP3-report.pdf#page=34},
+  keywords = {composition}
 }
 

 
@@ -556,7 +594,8 @@ 
CRDT Papers
   articleno = {8},
   publisher = {ACM},
   doi = {10.1145/2596631.2596641},
-  url = {http://www.ds.ewi.tudelft.nl/~victor/polo.pdf}
+  url = {http://www.ds.ewi.tudelft.nl/~victor/polo.pdf},
+  keywords = {text-editing, operation-based}
 }
 

 
@@ -571,7 +610,8 @@ 
CRDT Papers
   articleno = {1},
   publisher = {ACM},
   doi = {10.1145/2745947.2745948},
-  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/papoc-2015-1.pdf}
+  pdf = {http://asc.di.fct.unl.pt/~nmp/pubs/papoc-2015-1.pdf},
+  keywords = {computation}
 }
 

 
@@ -586,7 +626,8 @@ 
CRDT Papers
   articleno = {4},
   publisher = {ACM},
   doi = {10.1145/2745947.2745951},
-  pdf = {http://irenezhang.net/papers/claret-papoc15.pdf}
+  pdf = {http://irenezhang.net/papers/claret-papoc15.pdf},
+  keywords = {transactions, systems}
 }
 

 
@@ -600,7 +641,8 @@ 
CRDT Papers
   month = apr,
   articleno = {5},
   publisher = {ACM},
-  doi = {10.1145/2745947.2745952}
+  doi = {10.1145/2745947.2745952},
+  keywords = {systems}
 }
 

 
@@ -615,7 +657,8 @@ 
CRDT Papers
   articleno = {7},
   publisher = {ACM},
   doi = {10.1145/2745947.2745954},
-  url = {https://www.info.ucl.ac.be/~pvr/papoc-2015-lasp-abstract.pdf}
+  url = {https://www.info.ucl.ac.be/~pvr/papoc-2015-lasp-abstract.pdf},
+  keywords = {computation}
 }
 

 
@@ -630,7 +673,8 @@ 
CRDT Papers
   articleno = {5},
   publisher = {ACM},
   doi = {10.1145/2911151.2911156},
-  eprint = {1605.06424}
+  eprint = {1605.06424},
+  keywords = {systems, composition}
 }
 

 
@@ -646,7 +690,8 @@ 
CRDT Papers
   publisher = {ACM},
   doi = {10.1145/2911151.2911157},
   url = {https://core.ac.uk/download/pdf/154274593.pdf},
-  eprint = {1511.05010}
+  eprint = {1511.05010},
+  keywords = {state-based}
 }
 

 
@@ -661,7 +706,8 @@ 
CRDT Papers
   articleno = {10},
   publisher = {ACM},
   doi = {10.1145/2911151.2911159},
-  url = {http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf}
+  url = {http://haslab.uminho.pt/cbm/files/abstractcounterpapocfinal.pdf},
+  keywords = {composition, counters}
 }
 

 
@@ -675,7 +721,8 @@ 
CRDT Papers
   month = apr,
   articleno = {11},
   publisher = {ACM},
-  doi = {10.1145/2911151.2911154}
+  doi = {10.1145/2911151.2911154},
+  keywords = {systems, Replikativ}
 }
 

 
@@ -690,7 +737,8 @@ 
CRDT Papers
   articleno = {13},
   publisher = {ACM},
   doi = {10.1145/2911151.2911158},
-  pdf = {https://softech.cs.uni-kl.de/homepage/publications/Akkoorath.Bieniusa2016.pdf}
+  pdf = {https://softech.cs.uni-kl.de/homepage/publications/Akkoorath.Bieniusa2016.pdf},
+  keywords = {shared-memory concurrency}
 }
 

 
@@ -705,7 +753,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {2},
   doi = {10.1145/3064889.3064892},
-  pdf = {https://haslab.uminho.pt/cbm/files/a3-younes.pdf}
+  pdf = {https://haslab.uminho.pt/cbm/files/a3-younes.pdf},
+  keywords = {counters}
 }
 

 
@@ -720,7 +769,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {3},
   doi = {10.1145/3064889.3064893},
-  pdf = {https://dl.acm.org/authorize?N37605}
+  pdf = {https://dl.acm.org/authorize?N37605},
+  keywords = {testing, verification}
 }
 

 
@@ -734,7 +784,8 @@ 
CRDT Papers
   month = apr,
   publisher = {ACM},
   doi = {10.1145/3064889.3064894},
-  pdf = {https://haslab.uminho.pt/sites/default/files/cbm/files/a5-enes.pdf}
+  pdf = {https://haslab.uminho.pt/sites/default/files/cbm/files/a5-enes.pdf},
+  keywords = {counters}
 }
 

 
@@ -749,7 +800,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {1},
   doi = {10.1145/3194261.3194262},
-  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/causal-refs-papoc-2018-04.pdf}
+  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/causal-refs-papoc-2018-04.pdf},
+  keywords = {causal-consistency}
 }
 

 
@@ -764,7 +816,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {2},
   doi = {10.1145/3194261.3194263},
-  pdf = {http://myter.be/papers/papoc18.pdf}
+  pdf = {http://myter.be/papers/papoc18.pdf},
+  keywords = {counters}
 }
 

 
@@ -779,7 +832,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {5},
   doi = {10.1145/3301419.3323971},
-  pdf = {https://repositorio.inesctec.pt/bitstream/123456789/10536/1/P-00Q-WJM.pdf}
+  pdf = {https://repositorio.inesctec.pt/bitstream/123456789/10536/1/P-00Q-WJM.pdf},
+  keywords = {composition}
 }
 

 
@@ -794,7 +848,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {6},
   doi = {10.1145/3301419.3323972},
-  pdf = {https://martin.kleppmann.com/papers/interleaving-papoc19.pdf}
+  pdf = {https://martin.kleppmann.com/papers/interleaving-papoc19.pdf},
+  keywords = {text-editing}
 }
 

 
@@ -808,12 +863,13 @@ 
CRDT Papers
   month = mar,
   publisher = {ACM},
   articleno = {7},
-  doi = {10.1145/3301419.3323973}
+  doi = {10.1145/3301419.3323973},
+  keywords = {systems}
 }
 

 
-
-@inproceedings{10.1145/3301419.3323974,
+
+@inproceedings{DePorre2019generic,
   author = {De Porre, Kevin and Myter, Florian and De Troyer, Christophe and Scholliers, Christophe and De Meuter, Wolfgang and Boix, Elisa Gonzalez},
   title = {A Generic Replicated Data Type for Strong Eventual Consistency},
   booktitle = {6th Workshop on Principles and Practice of Consistency for Distributed Data},
@@ -823,7 +879,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {8},
   doi = {10.1145/3301419.3323974},
-  pdf = {http://soft.vub.ac.be/Publications/2019/vub-soft-tr-19-08.pdf}
+  pdf = {http://soft.vub.ac.be/Publications/2019/vub-soft-tr-19-08.pdf},
+  keywords = {text-editing, operation-based}
 }
 

 
@@ -838,7 +895,8 @@ 
CRDT Papers
   month = oct,
   publisher = {IEEE},
   doi = {10.1109/SRDSW.2014.33},
-  eprint = {1310.3107}
+  eprint = {1310.3107},
+  keywords = {systems, SwiftCloud}
 }
 

 
@@ -852,7 +910,8 @@ 
CRDT Papers
   month = nov,
   publisher = {IEEE},
   doi = {10.1109/CloudCom.2015.81},
-  url = {https://dial.uclouvain.be/pr/boreal/object/boreal%3A214300/datastream/PDF_01/view}
+  url = {https://dial.uclouvain.be/pr/boreal/object/boreal%3A214300/datastream/PDF_01/view},
+  keywords = {systems, SwiftCloud}
 }
 

 
@@ -867,7 +926,8 @@ 
CRDT Papers
   publisher = {ACM},
   pages = {184--195},
   doi = {10.1145/2790449.2790525},
-  pdf = {https://www.info.ucl.ac.be/~pvr/ppdp-2015-cr.pdf}
+  pdf = {https://www.info.ucl.ac.be/~pvr/ppdp-2015-cr.pdf},
+  keywords = {computation, systems}
 }
 

 
@@ -882,7 +942,8 @@ 
CRDT Papers
   publisher = {IEEE},
   pages = {405--414},
   doi = {10.1109/ICDCS.2016.98},
-  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/Cure-final-ICDCS16.pdf}
+  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/Cure-final-ICDCS16.pdf},
+  keywords = {systems}
 }
 

 
@@ -897,7 +958,8 @@ 
CRDT Papers
   publisher = {ACM},
   articleno = {1},
   doi = {10.1145/3064889.3064891},
-  pdf = {http://www.redaktion.tu-berlin.de/fileadmin/a34331500/paper/papoc17-jungnickel.pdf}
+  pdf = {http://www.redaktion.tu-berlin.de/fileadmin/a34331500/paper/papoc17-jungnickel.pdf},
+  keywords = {systems}
 }
 

 
@@ -912,7 +974,8 @@ 
CRDT Papers
   publisher = {ACM},
   pages = {275--290},
   doi = {10.1145/3183713.3196898},
-  pdf = {https://www.microsoft.com/en-us/research/uploads/prod/2018/03/faster-sigmod18.pdf}
+  pdf = {https://www.microsoft.com/en-us/research/uploads/prod/2018/03/faster-sigmod18.pdf},
+  keywords = {systems}
 }
 

 
@@ -927,7 +990,24 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 10451},
   pages = {39--47},
   doi = {10.1007/978-3-319-66805-5_5},
-  pdf = {https://hal.inria.fr/hal-01652656/document}
+  pdf = {https://hal.inria.fr/hal-01652656/document},
+  keywords = {systems, usability}
+}
+

+
+
+@inproceedings{Kleppmann2019localfirst,
+  author = {Kleppmann, Martin and Wiggins, Adam and van Hardenberg, Peter and McGranaghan, Mark},
+  title = {Local-First Software: You own your data, in spite of the cloud},
+  booktitle = {ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
+  series = {Onward! 2019},
+  year = {2019},
+  month = oct,
+  publisher = {ACM},
+  pages = {154--178},
+  doi = {10.1145/3359591.3359737},
+  pdf = {https://martin.kleppmann.com/papers/local-first.pdf},
+  keywords = {systems, usability}
 }
 

 
@@ -938,7 +1018,8 @@ 
CRDT Papers
   year = {2013},
   month = jul,
   eprint = {1307.3207},
-  url = {https://arxiv.org/abs/1307.3207}
+  url = {https://arxiv.org/abs/1307.3207},
+  keywords = {counters}
 }
 

 
@@ -949,7 +1030,8 @@ 
CRDT Papers
   school = {Universidade do Minho},
   year = {2017},
   month = nov,
-  url = {https://vitorenes.org/page/other/msc-thesis.pdf}
+  url = {https://vitorenes.org/page/other/msc-thesis.pdf},
+  keywords = {state-based}
 }
 

 
@@ -964,7 +1046,8 @@ 
CRDT Papers
   publisher = {IEEE},
   pages = {31--36},
   doi = {10.1109/SRDS.2015.32},
-  eprint = {1503.09052}
+  eprint = {1503.09052},
+  keywords = {counters}
 }
 

 
@@ -980,7 +1063,8 @@ 
CRDT Papers
   publisher = {ACM},
   pages = {31--36},
   doi = {10.1145/2460756.2460762},
-  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/computational-CRDTs-CloudDP-2013.pdf}
+  pdf = {https://pages.lip6.fr/Marc.Shapiro/papers/computational-CRDTs-CloudDP-2013.pdf},
+  keywords = {computation}
 }
 

 
@@ -995,7 +1079,8 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 7611},
   pages = {441--442},
   doi = {10.1007/978-3-642-33651-5_48},
-  url = {https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf}
+  url = {https://pages.lip6.fr/Marc.Shapiro/papers/semantics-sets-BA-DISC-2012.pdf},
+  keywords = {set-crdt, specification}
 }
 

 
@@ -1009,7 +1094,8 @@ 
CRDT Papers
   year = {2012},
   month = oct,
   eprint = {1210.3368},
-  pdf = {http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf}
+  pdf = {http://hal.inria.fr/hal-00738680/PDF/RR-8083.pdf},
+  keywords = {set-crdt}
 }
 

 
@@ -1024,7 +1110,8 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 9114},
   pages = {675--678},
   doi = {10.1007/978-3-319-19890-3_55},
-  url = {http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf}
+  url = {http://dbis.rwth-aachen.de/~derntl/papers/preprints/icwe2015-preprint.pdf},
+  keywords = {systems, Yjs}
 }
 

 
@@ -1038,7 +1125,8 @@ 
CRDT Papers
   volume = {38},
   pages = {381--391},
   publisher = {Elsevier},
-  doi = {10.1016/j.aei.2018.08.008}
+  doi = {10.1016/j.aei.2018.08.008},
+  keywords = {systems}
 }
 

 
@@ -1053,7 +1141,8 @@ 
CRDT Papers
   pages = {33--48},
   publisher = {Springer LNCS volume 8461},
   doi = {10.1007/978-3-662-43613-4_3},
-  url = {https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf}
+  url = {https://softech.cs.uni-kl.de/homepage/publications/Zeller.Bieniusa.Poetzsch-Heffter.Forte2014.pdf},
+  keywords = {specification, verification}
 }
 

 
@@ -1068,7 +1157,8 @@ 
CRDT Papers
   month = oct,
   publisher = {ACM},
   doi = {10.1145/3133933},
-  eprint = {1707.01747}
+  eprint = {1707.01747},
+  keywords = {specification, verification}
 }
 

 
@@ -1083,7 +1173,8 @@ 
CRDT Papers
   publisher = {ACM},
   pages = {271--284},
   doi = {10.1145/2535838.2535848},
-  pdf = {http://software.imdea.org/~gotsman/papers/distrmm-popl14-ext.pdf}
+  pdf = {http://software.imdea.org/~gotsman/papers/distrmm-popl14-ext.pdf},
+  keywords = {specification, verification}
 }
 

 
@@ -1094,7 +1185,8 @@ 
CRDT Papers
   year = {2018},
   month = may,
   eprint = {1805.04263},
-  url = {https://arxiv.org/abs/1805.04263}
+  url = {https://arxiv.org/abs/1805.04263},
+  keywords = {specification, verification}
 }
 

 
@@ -1110,7 +1202,8 @@ 
CRDT Papers
   pages = {371--384},
   numpages = {14},
   doi = {10.1145/2837614.2837625},
-  pdf = {http://software.imdea.org/~gotsman/papers/logic-popl16.pdf}
+  pdf = {http://software.imdea.org/~gotsman/papers/logic-popl16.pdf},
+  keywords = {specification, verification}
 }
 

 
@@ -1125,7 +1218,8 @@ 
CRDT Papers
   publisher = {ACM},
   pages = {259--268},
   doi = {10.1145/2933057.2933090},
-  pdf = {http://www.cs.ox.ac.uk/people/hongseok.yang/paper/podc16-full.pdf}
+  pdf = {http://www.cs.ox.ac.uk/people/hongseok.yang/paper/podc16-full.pdf},
+  keywords = {text-editing, specification, verification}
 }
 

 
@@ -1139,7 +1233,41 @@ 
CRDT Papers
   month = jun,
   publisher = {USENIX},
   pages = {281--292},
-  url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2}
+  url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2},
+  keywords = {verification}
+}
+

+
+
+@article{Kollmann2019Snapdoc,
+  author = {Kollmann, Stephan A and Kleppmann, Martin and Beresford, Alastair R},
+  title = {{Snapdoc}: Authenticated snapshots with history privacy in peer-to-peer collaborative editing},
+  journal = {Proceedings on Privacy Enhancing Technologies (PoPETS)},
+  volume = {2019},
+  number = {3},
+  pages = {210--232},
+  year = {2019},
+  month = jul,
+  publisher = {De Gruyter},
+  doi = {10.2478/popets-2019-0044},
+  pdf = {https://www.petsymposium.org/2019/files/papers/issue3/popets-2019-0044.pdf},
+  keywords = {security}
+}
+

+
+
+@inproceedings{Truong2012authenticating,
+  author = {Truong, Hien Thi Thu and Ignat, Claudia-Lavinia and Molli, Pascal},
+  title = {Authenticating operation-based history in collaborative systems},
+  booktitle = {17th ACM International Conference on Supporting Group Work},
+  series = {GROUP 2012},
+  year = {2012},
+  month = oct,
+  pages = {131--140},
+  publisher = {ACM},
+  doi = {10.1145/2389176.2389197},
+  url = {https://hal.inria.fr/hal-00761045/document},
+  keywords = {security}
 }
 

 
@@ -1155,7 +1283,8 @@ 
CRDT Papers
   articleno = {1},
   pages = {1--14},
   doi = {10.1145/2391229.2391230},
-  pdf = {https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.pdf}
+  pdf = {https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.pdf},
+  keywords = {crdt-related}
 }
 

 
@@ -1170,7 +1299,8 @@ 
CRDT Papers
   pages = {283--307},
   publisher = {Springer LNCS volume 7313},
   doi = {10.1007/978-3-642-31057-7_14},
-  url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final-with-color.pdf}
+  url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final-with-color.pdf},
+  keywords = {crdt-related}
 }
 

 
@@ -1185,7 +1315,8 @@ 
CRDT Papers
   publisher = {Springer LNCS volume 7211},
   pages = {67--86},
   doi = {10.1007/978-3-642-28869-2_4},
-  pdf = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/ecr-esop2012.pdf}
+  pdf = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/ecr-esop2012.pdf},
+  keywords = {crdt-related, transactions}
 }
 

 
@@ -1200,7 +1331,8 @@ 
CRDT Papers
   month = oct,
   publisher = {ACM},
   doi = {10.1145/3360580},
-  url = {https://gowthamk.github.io/docs/mrdt.pdf}
+  url = {https://gowthamk.github.io/docs/mrdt.pdf},
+  keywords = {crdt-related}
 }
 

 
@@ -1212,7 +1344,8 @@ 
CRDT Papers
   series = {WoDet 2014},
   year = {2014},
   month = mar,
-  url = {http://wodet.cs.washington.edu/wp-content/uploads/2014/02/wodet2014-final1.pdf}
+  url = {http://wodet.cs.washington.edu/wp-content/uploads/2014/02/wodet2014-final1.pdf},
+  keywords = {crdt-related, shared-memory concurrency}
 }
 

 
diff --git a/update.sh b/update.sh
index 615968e..45584b5 100755
--- a/update.sh
+++ b/update.sh
@@ -10,7 +10,11 @@ which bibtex2html > /dev/null || (
 
 bibtex2html --dl --nodoc --title 'CRDT Papers' papers.bib
 
-sed -e $'1s/^/---\\\nlayout: page\\\ntitle: CRDT Papers\\\n---\\\n/' -i '' papers.html
+sed -e $'1s/^/---\\\nlayout: page\\\ntitle: CRDT Papers\\\n---\\\n/' \
+    -e '/
CRDT Papers<\/h1>/ r _includes/papers-filter.html' \
+    -e 's/<\/dl>
This file was generated by.*/<\/dl>/' \
+    -e 's/.*//' \
+    -i '' papers.html
 
 sed -e 's/
papers.bib<\/h1>/
CRDT Papers<\/h1>/' \
     -e $'1s/^/\\\n\\\n/' -i '' papers_bib.html