From 62fd524dba56f4bce78f860c848faf258d7ca4f7 Mon Sep 17 00:00:00 2001 From: Shuntian Liu Date: Sat, 24 Jan 2026 20:09:43 +0000 Subject: [PATCH 1/3] Update sed syntax For GNU sed which allows empty file extension. --- update.sh | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) diff --git a/update.sh b/update.sh index 45584b5..f4a5d5b 100755 --- a/update.sh +++ b/update.sh @@ -10,11 +10,21 @@ which bibtex2html > /dev/null || ( bibtex2html --dl --nodoc --title 'CRDT Papers' papers.bib -sed -e $'1s/^/---\\\nlayout: page\\\ntitle: CRDT Papers\\\n---\\\n/' \ +# Use -i without extension for GNU sed (Linux), or -i '' for BSD sed (macOS) +if [ "$(uname -s)" = "Darwin" ]; then + # BSD sed (macOS) + SED_INPLACE="sed -i ''" +else + # GNU sed (Linux) + SED_INPLACE="sed -i" +fi + +$SED_INPLACE -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 + papers.html -sed -e 's/

papers.bib<\/h1>/

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

papers.bib<\/h1>/

CRDT Papers<\/h1>/' \ + -e $'1s/^/\\\n\\\n/' \ + papers_bib.html From 48e5358d009657d47b94d53b17e4374ebd06150d Mon Sep 17 00:00:00 2001 From: Shuntian Liu Date: Sat, 24 Jan 2026 20:29:54 +0000 Subject: [PATCH 2/3] Update ruby to 3.4.8 Some of the libraries now needs to explicitly specified in the Gemfile. --- .ruby-version | 2 +- Gemfile | 6 +++++- Gemfile.lock | 12 ++++++++++-- 3 files changed, 16 insertions(+), 4 deletions(-) diff --git a/.ruby-version b/.ruby-version index cb2b00e..7921bd0 100644 --- a/.ruby-version +++ b/.ruby-version @@ -1 +1 @@ -3.0.1 +3.4.8 diff --git a/Gemfile b/Gemfile index 44a319a..40b435a 100644 --- a/Gemfile +++ b/Gemfile @@ -1,4 +1,8 @@ source "https://rubygems.org" -ruby "3.0.1" +ruby "3.4.8" gem "github-pages", group: :jekyll_plugins gem "webrick" +gem "csv" +gem "logger" +gem "base64" +gem "bigdecimal" diff --git a/Gemfile.lock b/Gemfile.lock index bfb169b..39c7574 100644 --- a/Gemfile.lock +++ b/Gemfile.lock @@ -9,6 +9,8 @@ GEM zeitwerk (~> 2.3) addressable (2.8.0) public_suffix (>= 2.0.2, < 5.0) + base64 (0.3.0) + bigdecimal (4.0.1) coffee-script (2.4.1) coffee-script-source execjs @@ -16,6 +18,7 @@ GEM colorator (1.1.0) commonmarker (0.23.10) concurrent-ruby (1.3.3) + csv (3.3.5) dnsruby (1.61.5) simpleidn (~> 0.1) em-websocket (0.5.2) @@ -210,6 +213,7 @@ GEM listen (3.5.1) rb-fsevent (~> 0.10, >= 0.10.3) rb-inotify (~> 0.9, >= 0.9.10) + logger (1.7.0) mercenary (0.3.6) mini_portile2 (2.8.6) minima (2.5.1) @@ -263,11 +267,15 @@ PLATFORMS ruby DEPENDENCIES + base64 + bigdecimal + csv github-pages + logger webrick RUBY VERSION - ruby 3.0.1p64 + ruby 3.4.8p72 BUNDLED WITH - 2.2.16 + 2.6.9 From 89bb5b8c3d066b2ad290e35cf998712212748a5c Mon Sep 17 00:00:00 2001 From: Martin Kleppmann Date: Wed, 21 Jan 2026 21:34:33 +0000 Subject: [PATCH 3/3] Add a few more papers Mostly new papers in 2025. --- papers.bib | 231 ++++++++++++++-- papers.html | 683 ++++++++++++++++++++++++++++++++---------------- papers_bib.html | 232 +++++++++++++++- 3 files changed, 882 insertions(+), 264 deletions(-) diff --git a/papers.bib b/papers.bib index 4bafe5d..2c0cb83 100644 --- a/papers.bib +++ b/papers.bib @@ -23,21 +23,180 @@ % 2025 -@article{https://doi.org/10.1002/spe.3430, -author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa}, -title = {Concurrency Contracts for Designing Highly Available Replicated Data Types}, -journal = {Software: Practice and Experience}, -volume = {n/a}, -number = {n/a}, -pages = {}, -year = {2025}, -month = may, -keywords = {distributed systems, eventual consistency, replicated data types}, -doi = {https://doi.org/10.1002/spe.3430} +@article{Zhang2025geometry, + author = {Zhang, Pengcheng and Zhang, Chao}, + title = {Geometry-Aware CRDTs for Efficient Collaborative Geospatial Editing}, + journal = {ISPRS International Journal of Geo-Information}, + volume = {14}, + year = {2025}, + month = nov, + number = {12}, + articLe-number = {468}, + issn = {2220-9964}, + doi = {10.3390/ijgi14120468}, + keywords = {invariants, systems, graph-crdt} +} + + +@article{Haas2025CORDA, + author = {Haas, Julian and Kuessner, Christian and Mogk, Ragnar and Mezini, Mira}, + journal = {IEEE Internet Computing}, + title = {Think Locally, Act Globally: A Programming Model for Decentralized Applications}, + year = {2025}, + month = oct, + volume = {29}, + number = {4}, + pages = {55-64}, + keywords = {programming, systems, composition}, + doi = {10.1109/MIC.2025.3618947} +} + + +@article{DePorre2025EFx, + author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa}, + title = {Concurrency Contracts for Designing Highly Available Replicated Data Types}, + journal = {Software: Practice and Experience}, + volume = {55}, + number = {9}, + pages = {1489--1505}, + year = {2025}, + month = sep, + doi = {10.1002/spe.3430}, + pdf = {https://onlinelibrary.wiley.com/share/author/AB9GMXMJCUYDMVZEXUS9?target=10.1002/spe.3430}, + keywords = {verification, computation, invariants, systems} +} + +@article{Liittschwager2025emluation, + author = {Liittschwager, Nathan and Castello, Jonathan and Tsampas, Stelios and Kuper, Lindsey}, + title = {CRDT Emulation, Simulation, and Representation Independence}, + year = {2025}, + issue_date = {August 2025}, + publisher = {ACM}, + volume = {9}, + number = {ICFP}, + doi = {10.1145/3747528}, + journal = {Proc. ACM Program. Lang.}, + month = aug, + articleno = {259}, + numpages = {29}, + keywords = {theory, state-based, operation-based, emulation} +} + +@inproceedings{Jacob2025ECAC, + author = {Jacob, Florian and Hartenstein, Hannes}, + title = {To the Best of Knowledge and Belief: On Eventually Consistent Access Control}, + year = {2025}, + isbn = {9798400714764}, + publisher = {ACM}, + doi = {10.1145/3714393.3726520}, + booktitle = {Fifteenth ACM Conference on Data and Application Security and Privacy}, + pages = {107–118}, + numpages = {12}, + keywords = {security}, + series = {CODASPY 2025} +} + +@inproceedings{Borth2025DAGCrdt, + author = {Borth, Evelyn and Lersch, Philipp and Bieniusa, Annette}, + title = {Directed Acyclic Graph CRDTs}, + year = {2025}, + isbn = {9798400715587}, + publisher = {ACM}, + doi = {10.1145/3721473.3722141}, + booktitle = {12th Workshop on Principles and Practice of Consistency for Distributed Data}, + pages = {30–37}, + numpages = {8}, + keywords = {graph-crdt, invariants, Yjs}, + series = {PaPoC 2025} +} + +@article{Zhu2025Crust, + author = {Zhu, Yunrui and Ma, Jing}, + journal = {IEEE Access}, + title = {Crust: A Modular Framework for Conflict-Free Replicated Data Types (CRDTs) Development, Validation, and Benchmarking}, + year = {2025}, + volume = {13}, + pages = {84081-84093}, + keywords = {programming, state-based, operation-based, delta-based}, + doi = {10.1109/ACCESS.2025.3568925} +} + + +@inproceedings{Marx2025ProofCarrying, + author = {Marx, Nick and Jacob, Florian and Hartenstein, Hannes}, + title = {Proof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation}, + year = {2025}, + month = mar, + doi = {10.1145/3721473.3722142}, + booktitle = {12th Workshop on Principles and Practice of Consistency for Distributed Data}, + pages = {15-21}, + keywords = {security, counters}, + series = {PaPoC 2025} +} + +@inproceedings{Power2025freeTermination, + author = {Power, Conor and Koutris, Paraschos and Hellerstein, Joseph M.}, + title = {{The Free Termination Property of Queries over Time}}, + booktitle = {28th International Conference on Database Theory (ICDT 2025)}, + pages = {32:1--32:22}, + series = {Leibniz International Proceedings in Informatics (LIPIcs)}, + year = {2025}, + publisher = {Schloss Dagstuhl}, + doi = {10.4230/LIPIcs.ICDT.2025.32}, + keywords = {theory, CALM Theorem, coordination-free} +} + +@article{Faria2025CRDV, + author = {Faria, Nuno and Pereira, Jos\'{e}}, + title = {CRDV: Conflict-free Replicated Data Views}, + year = {2025}, + issue_date = {February 2025}, + publisher = {ACM}, + volume = {3}, + number = {1}, + doi = {10.1145/3709675}, + journal = {Proc. ACM Manag. Data}, + month = feb, + articleno = {25}, + numpages = {27}, + keywords = {systems, databases, state-based, programming} +} + + +@article{Prymushko2025EGrid, + author = {Prymushko, Arsentii and Puchko, Ivan and Yaroshynskyi, Mykola and Sinko, Dmytro and Kravtsov, Hryhoriy and Artemchuk, Volodymyr}, + title = {Efficient State Synchronization in Distributed Electrical Grid Systems Using Conflict-Free Replicated Data Types}, + journal = {IoT}, + volume = {6}, + year = {2025}, + number = {1}, + article-number = {6}, + issn = {2624-831X}, + doi = {10.3390/iot6010006}, + keywords = {systems, state-based, delta-based} } % 2024 +@article{Almeida2024approaches, + author = {Almeida, Paulo S\'{e}rgio}, + title = {Approaches to Conflict-free Replicated Data Types}, + year = {2024}, + issue_date = {February 2025}, + publisher = {ACM}, + volume = {57}, + number = {2}, + issn = {0360-0300}, + doi = {10.1145/3695249}, + journal = {ACM Comput. Surv.}, + month = nov, + articleno = {51}, + numpages = {36}, + keywords = {introduction, operation-based, state-based, delta-based, pure operation-based} +} + + + @inproceedings{Ignat2024Synql, author = {Ignat, Claudia-Lavinia and Elvinger, Victorien and Ba, Habibatou}, title = {{Synql}: A {CRDT}-based Approach for Replicated Relational Databases with Integrity Constraints}, @@ -139,16 +298,6 @@ @inproceedings{Nasirifard2023orderlessChain keywords = {security, invariants, systems} } -@article{Almeida2023approaches, -title = {Approaches to Conflict-free Replicated Data Types}, -author = {Almeida, Paulo Sérgio}, -year = {2023}, -month = oct, -eprint = {2310.18220}, -url = {https://arxiv.org/abs/2310.18220}, -keywords = {introduction, operation-based, state-based, delta-based, pure operation-based} -} - @article{Renaux2023accessControl, author = {Renaux, Thierry and Van den Vonder, Sam and De Meuter, Wolfgang}, title = {Secure {RDTs}: Enforcing Access Control Policies for Offline Available {JSON} Data}, @@ -284,6 +433,18 @@ @inproceedings{Nieto2023modular keywords = {specification, verification, state-based} } +@inproceedings{Portela2023SecureCRDTs, + author = {Portela, Bernardo and Pacheco, Hugo and Jorge, Pedro and Pontes, Rogério}, + booktitle = {2023 IEEE 36th Computer Security Foundations Symposium (CSF)}, + title = {General-Purpose Secure Conflict-free Replicated Data Types}, + year = {2023}, + month = jul, + publisher = {IEEE}, + pages = {521-536}, + keywords = {security}, + doi = {10.1109/CSF57540.2023.00030} +} + @article{Zakhour2023Propel, author = {Zakhour, George and Weisenburger, Pascal and Salvaneschi, Guido}, title = {Type-Checking {CRDT} Convergence}, @@ -1246,6 +1407,18 @@ @inproceedings{Auvolat2019merkle keywords = {state-based, security} } +@inproceedings{Nagar2019verification, + author = {Nagar, Kartik and Jagannathan, Suresh}, + title = {Automated Parameterized Verification of CRDTs}, + booktitle = {Computer Aided Verification}, + year = {2019}, + month = {july}, + publisher = {Springer}, + pages = {459--477}, + isbn = {978-3-030-25543-5}, + keywords = {verification, consistency models} +} + @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}, @@ -1346,6 +1519,22 @@ @inproceedings{DePorre2019generic % 2018 +@article{Balegas2018IPA, +author = {Balegas, Valter and Duarte, S\'{e}rgio and Ferreira, Carla and Rodrigues, Rodrigo and Pregui\c{c}a, Nuno}, +title = {IPA: invariant-preserving applications for weakly consistent replicated databases}, +year = {2018}, +issue_date = {December 2018}, +publisher = {VLDB Endowment}, +volume = {12}, +number = {4}, +issn = {2150-8097}, +doi = {10.14778/3297753.3297760}, +journal = {Proc. VLDB Endow.}, +month = dec, +pages = {404–418}, +numpages = {15} +} + @inproceedings{Hall2018CausalGraph, author = {Hall, Aaron and Nelson, Grant and Thiesen, Mike and Woods, Nate}, title = {The Causal Graph {CRDT} for Complex Document Structure}, diff --git a/papers.html b/papers.html index 7ed7474..dacce0d 100644 --- a/papers.html +++ b/papers.html @@ -97,7 +97,214 @@

Paper List

-[1] +[1] +
+
+Pengcheng Zhang and Chao Zhang. + Geometry-aware crdts for efficient collaborative geospatial editing. + ISPRS International Journal of Geo-Information, 14(12), + November 2025. +[ bib | +DOI ] +
+Keywords: invariants, systems, graph-crdt +
+ +
+ + +
+[2] +
+
+Julian Haas, Christian Kuessner, Ragnar Mogk, and Mira Mezini. + Think locally, act globally: A programming model for decentralized + applications. + IEEE Internet Computing, 29(4):55--64, October 2025. +[ bib | +DOI ] +
+Keywords: programming, systems, composition +
+ +
+ + +
+[3] +
+
+Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix. + Concurrency contracts for designing highly available replicated data + types. + Software: Practice and Experience, 55(9):1489--1505, September + 2025. +[ bib | +DOI | +http ] +
+Keywords: verification, computation, invariants, systems +
+ +
+ + +
+[4] +
+
+Nathan Liittschwager, Jonathan Castello, Stelios Tsampas, and Lindsey Kuper. + Crdt emulation, simulation, and representation independence. + Proc. ACM Program. Lang., 9(ICFP), August 2025. +[ bib | +DOI ] +
+Keywords: theory, state-based, operation-based, emulation +
+ +
+ + +
+[5] +
+
+Florian Jacob and Hannes Hartenstein. + To the best of knowledge and belief: On eventually consistent access + control. + In Fifteenth ACM Conference on Data and Application Security and + Privacy, CODASPY 2025, page 107–118. ACM, 2025. +[ bib | +DOI ] +
+Keywords: security +
+ +
+ + +
+[6] +
+
+Evelyn Borth, Philipp Lersch, and Annette Bieniusa. + Directed acyclic graph crdts. + In 12th Workshop on Principles and Practice of Consistency for + Distributed Data, PaPoC 2025, page 30–37. ACM, 2025. +[ bib | +DOI ] +
+Keywords: graph-crdt, invariants, Yjs +
+ +
+ + +
+[7] +
+
+Yunrui Zhu and Jing Ma. + Crust: A modular framework for conflict-free replicated data types + (crdts) development, validation, and benchmarking. + IEEE Access, 13:84081--84093, 2025. +[ bib | +DOI ] +
+Keywords: programming, state-based, operation-based, delta-based +
+ +
+ + +
+[8] +
+
+Nick Marx, Florian Jacob, and Hannes Hartenstein. + Proof-carrying crdts allow succinct non-interactive byzantine update + validation. + In 12th Workshop on Principles and Practice of Consistency for + Distributed Data, PaPoC 2025, pages 15--21, March 2025. +[ bib | +DOI ] +
+Keywords: security, counters +
+ +
+ + +
+[9] +
+
+Conor Power, Paraschos Koutris, and Joseph M. Hellerstein. + The Free Termination Property of Queries over Time. + In 28th International Conference on Database Theory (ICDT + 2025), Leibniz International Proceedings in Informatics (LIPIcs), pages + 32:1--32:22. Schloss Dagstuhl, 2025. +[ bib | +DOI ] +
+Keywords: theory, CALM Theorem, coordination-free +
+ +
+ + +
+[10] +
+
+Nuno Faria and José Pereira. + Crdv: Conflict-free replicated data views. + Proc. ACM Manag. Data, 3(1), February 2025. +[ bib | +DOI ] +
+Keywords: systems, databases, state-based, programming +
+ +
+ + +
+[11] +
+
+Arsentii Prymushko, Ivan Puchko, Mykola Yaroshynskyi, Dmytro Sinko, Hryhoriy + Kravtsov, and Volodymyr Artemchuk. + Efficient state synchronization in distributed electrical grid + systems using conflict-free replicated data types. + IoT, 6(1), 2025. +[ bib | +DOI ] +
+Keywords: systems, state-based, delta-based +
+ +
+ + +
+[12] +
+
+Paulo Sérgio Almeida. + Approaches to conflict-free replicated data types. + ACM Comput. Surv., 57(2), November 2024. +[ bib | +DOI ] +
+Keywords: introduction, operation-based, state-based, delta-based, pure operation-based +
+ +
+ + +
+[13]
Claudia-Lavinia Ignat, Victorien Elvinger, and Habibatou Ba. @@ -116,7 +323,7 @@

Paper List

-[2] +[14]
Leo Stewen and Martin Kleppmann. @@ -134,7 +341,7 @@

Paper List

-[3] +[15]
Liangrun Da and Martin Kleppmann. @@ -152,7 +359,7 @@

Paper List

-[4] +[16]
Conor Power, Saikrishna Achalla, Ryan Cottone, Nathaniel Macasaet, and @@ -172,7 +379,7 @@

Paper List

-[5] +[17]
Florian Jacob and Hannes Hartenstein. @@ -191,7 +398,7 @@

Paper List

-[6] +[18]
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, and Mira Mezini. @@ -210,7 +417,7 @@

Paper List

-[7] +[19]
Pezhman Nasirifard, Ruben Mayer, and Hans-Arno Jacobsen. @@ -229,24 +436,7 @@

Paper List

-[8] -
-
-Paulo Sérgio Almeida. - Approaches to conflict-free replicated data types. - October 2023. -[ bib | -arXiv | -http ] -
-Keywords: introduction, operation-based, state-based, delta-based, pure operation-based -
- -
- - -
-[9] +[20]
Thierry Renaux, Sam Van den Vonder, and Wolfgang De Meuter. @@ -265,7 +455,7 @@

Paper List

-[10] +[21]
Yuran Ou and Jian Zhou. @@ -281,7 +471,7 @@

Paper List

-[11] +[22]
Yves Mahéo, Frédéric Guidec, and Camille Noûs. @@ -301,7 +491,7 @@

Paper List

-[12] +[23]
Yuqi Zhang, Lingzhi Ouyang, Yu Huang, and Xiaoxing Ma. @@ -319,7 +509,7 @@

Paper List

-[13] +[24]
Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, and Mira Mezini. @@ -337,7 +527,7 @@

Paper List

-[14] +[25]
Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix. @@ -355,7 +545,7 @@

Paper List

-[15] +[26]
Jim Bauwens and Elisa Gonzalez Boix. @@ -372,7 +562,7 @@

Paper List

-[16] +[27]
Erick Lavoie. @@ -390,7 +580,7 @@

Paper List

-[17] +[28]
Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, and Lindsey Kuper. @@ -407,7 +597,7 @@

Paper List

-[18] +[29]
Erick Lavoie. @@ -425,7 +615,7 @@

Paper List

-[19] +[30]
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, and Lars @@ -444,7 +634,24 @@

Paper List

-[20] +[31] +
+
+Bernardo Portela, Hugo Pacheco, Pedro Jorge, and Rogério Pontes. + General-purpose secure conflict-free replicated data types. + In 2023 IEEE 36th Computer Security Foundations Symposium + (CSF), pages 521--536. IEEE, July 2023. +[ bib | +DOI ] +
+Keywords: security +
+ +
+ + +
+[32]
George Zakhour, Pascal Weisenburger, and Guido Salvaneschi. @@ -462,7 +669,7 @@

Paper List

-[21] +[33]
Pedro Henrique Fernandes and Carlos Baquero. @@ -479,7 +686,7 @@

Paper List

-[22] +[34]
Elena Yanakieva, Philipp Bird, and Annette Bieniusa. @@ -496,7 +703,7 @@

Paper List

-[23] +[35]
Andrew Jeffery and Richard Mortier. @@ -515,7 +722,7 @@

Paper List

-[24] +[36]
Jim Bauwens, Kevin De Porre, and Elisa Gonzalez Boix. @@ -533,7 +740,7 @@

Paper List

-[25] +[37]
Matthew Weidner, Ria Pradeep, Benito Geordie, and Heather Miller. @@ -551,7 +758,7 @@

Paper List

-[26] +[38]
Florian Jacob and Hannes Hartenstein. @@ -570,7 +777,7 @@

Paper List

-[27] +[39]
Yicheng Zhang, Matthew Weidner, and Heather Miller. @@ -589,7 +796,7 @@

Paper List

-[28] +[40]
Frédéric Guidec, Yves Mahéo, and Camille Noûs. @@ -607,7 +814,7 @@

Paper List

-[29] +[41]
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, and @@ -627,7 +834,7 @@

Paper List

-[30] +[42]
Christian Tschudin. @@ -645,7 +852,7 @@

Paper List

-[31] +[43]
Kristof Jannes, Bert Lagaisse, and Wouter Joosen. @@ -663,7 +870,7 @@

Paper List

-[32] +[44]
Geoffrey Litt, Sarah Lim, Martin Kleppmann, and Peter van Hardenberg. @@ -681,7 +888,7 @@

Paper List

-[33] +[45]
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and Joseph M. @@ -701,7 +908,7 @@

Paper List

-[34] +[46]
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, and Lars Birkedal. @@ -719,7 +926,7 @@

Paper List

-[35] +[47]
Martin Kleppmann and Peter Alvaro. @@ -736,7 +943,7 @@

Paper List

-[36] +[48]
Aäron Munsters, Angel Luis Scull Pupo, and Jens Nicolay. @@ -754,7 +961,7 @@

Paper List

-[37] +[49]
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan. @@ -772,7 +979,7 @@

Paper List

-[38] +[50]
Farzin Houshmand, Javad Saberlatibari, and Mohsen Lesani. @@ -789,7 +996,7 @@

Paper List

-[39] +[51]
Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko. @@ -806,7 +1013,7 @@

Paper List

-[40] +[52]
Martin Kleppmann. @@ -825,7 +1032,7 @@

Paper List

-[41] +[53]
Florian Jacob, Saskia Bayreuther, and Hannes Hartenstein. @@ -843,7 +1050,7 @@

Paper List

-[42] +[54]
Amos Brocco. @@ -860,7 +1067,7 @@

Paper List

-[43] +[55]
Martin Kleppmann. @@ -878,7 +1085,7 @@

Paper List

-[44] +[56]
Nicholas Schiefer, Geoffrey Litt, and Daniel Jackson. @@ -896,7 +1103,7 @@

Paper List

-[45] +[57]
Pierre-Antoine Rault, Claudia-Lavinia Ignat, and Olivier Perrin. @@ -915,7 +1122,7 @@

Paper List

-[46] +[58]
Nazmus Saquib, Chandra Krintz, and Rich Wolski. @@ -933,7 +1140,7 @@

Paper List

-[47] +[59]
Matthew Weidner and Paulo Sérgio Almeida. @@ -951,7 +1158,7 @@

Paper List

-[48] +[60]
Arik Rinberg, Tomer Solomon, Roee Shlomo, Guy Khazma, Gal Lushi, Idit Keidar, @@ -970,7 +1177,7 @@

Paper List

-[49] +[61]
Amos Brocco. @@ -988,7 +1195,7 @@

Paper List

-[50] +[62]
Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, and Alastair R. @@ -1007,10 +1214,10 @@

Paper List

-[51] +[63]
-Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix. +Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix. ECROs: Building global scale systems from sequential code. Proceedings of the ACM on Programming Languages (PACMPL), 5(OOPSLA), October 2021. @@ -1024,7 +1231,7 @@

Paper List

-[52] +[64]
Eric Brattli and Weihai Yu. @@ -1043,7 +1250,7 @@

Paper List

-[53] +[65]
Amos Brocco. @@ -1061,7 +1268,7 @@

Paper List

-[54] +[66]
Kristof Jannes, Bert Lagaisse, and Wouter Joosen. @@ -1079,7 +1286,7 @@

Paper List

-[55] +[67]
Iver Toft Tomter and Weihai Yu. @@ -1097,7 +1304,7 @@

Paper List

-[56] +[68]
Sreeja Sasidharan Nair. @@ -1113,7 +1320,7 @@

Paper List

-[57] +[69]
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, @@ -1134,7 +1341,7 @@

Paper List

-[58] +[70]
Houssam Yactine, Ali Shoker, and Georges Younes. @@ -1152,7 +1359,7 @@

Paper List

-[59] +[71]
Eric Brattli. @@ -1169,7 +1376,7 @@

Paper List

-[60] +[72]
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, and Annette Bieniusa. @@ -1187,7 +1394,7 @@

Paper List

-[61] +[73]
Arik Rinberg, Tomer Solomon, Guy Khazma, Gal Lushi, Roee Shlomo, and Paula @@ -1205,7 +1412,7 @@

Paper List

-[62] +[74]
Jim Bauwens and Elisa Gonzalez Boix. @@ -1222,7 +1429,7 @@

Paper List

-[63] +[75]
Geoffrey Litt, Peter van Hardenberg, and Orion Henry. @@ -1239,7 +1446,7 @@

Paper List

-[64] +[76]
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, and Marc Shapiro. @@ -1256,11 +1463,11 @@

Paper List

-[65] +[77]
Manuel Barbosa, Bernardo Ferreira, João Marques, Bernardo Portela, and Nuno - Preguiça. + Preguiça. Secure conflict-free replicated data types. In International Conference on Distributed Computing and Networking 2021, ICDCN 2021, pages 6--15. ACM, January 2021. @@ -1275,7 +1482,7 @@

Paper List

-[66] +[78]
Martin Kleppmann and Heidi Howard. @@ -1293,7 +1500,7 @@

Paper List

-[67] +[79]
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and @@ -1312,7 +1519,7 @@

Paper List

-[68] +[80]
Jim Bauwens and Elisa Gonzalez Boix. @@ -1331,7 +1538,7 @@

Paper List

-[69] +[81]
Weihai Yu and Claudia-Lavinia Ignat. @@ -1350,7 +1557,7 @@

Paper List

-[70] +[82]
Kevin De Porre, Florian Myter, Christophe Scholliers, and Elisa Gonzalez Boix. @@ -1369,7 +1576,7 @@

Paper List

-[71] +[83]
Matthew Weidner, Heather Miller, and Christopher Meiklejohn. @@ -1387,7 +1594,7 @@

Paper List

-[72] +[84]
Stephen Dolan. @@ -1405,7 +1612,7 @@

Paper List

-[73] +[85]
David Sun, Chengzheng Sun, Agustina Ng, and Weiwei Cai. @@ -1423,7 +1630,7 @@

Paper List

-[74] +[86]
Taylor Blau. @@ -1439,7 +1646,7 @@

Paper List

-[75] +[87]
Martin Kleppmann. @@ -1457,7 +1664,7 @@

Paper List

-[76] +[88]
Weihai Yu and Sigbjørn Rostad. @@ -1474,7 +1681,7 @@

Paper List

-[77] +[89]
Pascal Grosch, Roman Krafft, Marcel Wölki, and Annette Bieniusa. @@ -1491,7 +1698,7 @@

Paper List

-[78] +[90]
Victor Grishchenko and Mikhail Patrakeev. @@ -1509,7 +1716,7 @@

Paper List

-[79] +[91]
Matthieu Nicolas, Gérald Oster, and Olivier Perrin. @@ -1527,7 +1734,7 @@

Paper List

-[80] +[92]
Peter van Hardenberg and Martin Kleppmann. @@ -1545,7 +1752,7 @@

Paper List

-[81] +[93]
Jim Bauwens and Elisa Gonzalez Boix. @@ -1563,7 +1770,7 @@

Paper List

-[82] +[94]
Hector Sanjuan, Samuli Poyhtari, Pedro Teixeira, and Ioannis Psaras. @@ -1580,7 +1787,7 @@

Paper List

-[83] +[95]
Pezhman Nasirifard, Ruben Mayer, and Hans-Arno Jacobsen. @@ -1599,14 +1806,14 @@

Paper List

-[84] +[96]
Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero, Annette Bieniusa, Roger Pueyo Centelles, Pedro Ákos Costa, Vitor Enes, Carla Ferreira, Pedro Fouto, Felix Freitag, Bradley King, Igor Kopestenski, Giorgos Kostopoulos, João Leitão, Adam Lindberg, Albert van der Linde, Sreeja - Nair, Nuno Preguiça, Mennan Selimi, Marc Shapiro, Peer Stritzinger, Ilyas + Nair, Nuno Preguiça, Mennan Selimi, Marc Shapiro, Peer Stritzinger, Ilyas Toumlilt, Peter Van Roy, Dimitrios Vasilas, Georges Younes, Igor Zavalyshyn, and Peter Zeller. LightKone reference architecture (LiRA). @@ -1622,7 +1829,7 @@

Paper List

-[85] +[97]
Weihai Yu, Victorien Elvinger, and Claudia-Lavinia Ignat. @@ -1640,7 +1847,7 @@

Paper List

-[86] +[98]
Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, and Mark McGranaghan. @@ -1659,7 +1866,7 @@

Paper List

-[87] +[99]
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan. @@ -1677,7 +1884,7 @@

Paper List

-[88] +[100]
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini. @@ -1695,7 +1902,7 @@

Paper List

-[89] +[101]
Jim Bauwens and Elisa Gonzalez Boix. @@ -1713,7 +1920,7 @@

Paper List

-[90] +[102]
Alex Auvolat and François Taïani. @@ -1732,7 +1939,23 @@

Paper List

-[91] +[103] +
+
+Kartik Nagar and Suresh Jagannathan. + Automated parameterized verification of crdts. + In Computer Aided Verification, pages 459--477. Springer, july + 2019. +[ bib ] +
+Keywords: verification, consistency models +
+ +
+ + +
+[104]
Stephan A Kollmann, Martin Kleppmann, and Alastair R Beresford. @@ -1751,7 +1974,7 @@

Paper List

-[92] +[105]
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, @@ -1771,7 +1994,7 @@

Paper List

-[93] +[106]
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, and João Leitão. @@ -1789,7 +2012,7 @@

Paper List

-[94] +[107]
Adriaan Leijnse, Paulo Sérgio Almeida, and Carlos Baquero. @@ -1807,7 +2030,7 @@

Paper List

-[95] +[108]
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, and Alastair R. @@ -1826,10 +2049,10 @@

Paper List

-[96] +[109]
-David Mealha, Nuno Preguiça, Maria Cecilia Gomes, and João Leitão. +David Mealha, Nuno Preguiça, Maria Cecilia Gomes, and João Leitão. Data replication on the cloud/edge. In 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019. ACM, March 2019. @@ -1843,7 +2066,7 @@

Paper List

-[97] +[110]
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, @@ -1862,7 +2085,7 @@

Paper List

-[98] +[111]
Aaron Hall, Grant Nelson, Mike Thiesen, and Nate Woods. @@ -1879,7 +2102,7 @@

Paper List

-[99] +[112]
Xiao Lv, Fazhi He, Yuan Cheng, and Yiqi Wu. @@ -1896,7 +2119,7 @@

Paper List

-[100] +[113]
Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, and @@ -1915,7 +2138,7 @@

Paper List

-[101] +[114]
Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin Levandoski, James @@ -1934,10 +2157,10 @@

Paper List

-[102] +[115]
-Nuno Preguiça. +Nuno Preguiça. Conflict-free replicated data types: An overview. June 2018. [ bib | @@ -1951,10 +2174,10 @@

Paper List

-[103] +[116]
-Nuno Preguiça, Carlos Baquero, and Marc Shapiro. +Nuno Preguiça, Carlos Baquero, and Marc Shapiro. Conflict-free replicated data types (CRDTs). In Encyclopedia of Big Data Technologies. Springer, May 2018. [ bib | @@ -1968,7 +2191,7 @@

Paper List

-[104] +[117]
Martin Kleppmann, Victor B F Gomes, Dominic P Mulligan, and Alastair R @@ -1987,7 +2210,7 @@

Paper List

-[105] +[118]
Tim Jungnickel. @@ -2005,7 +2228,7 @@

Paper List

-[106] +[119]
Marc Shapiro, Annette Bieniusa, Peter Zeller, and Gustavo Petri. @@ -2023,7 +2246,7 @@

Paper List

-[107] +[120]
Jim Bauwens, Florian Myter, and Elisa Gonzalez Boix. @@ -2041,7 +2264,7 @@

Paper List

-[108] +[121]
Radha Jagadeesan and James Riely. @@ -2059,7 +2282,7 @@

Paper List

-[109] +[122]
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. @@ -2077,7 +2300,7 @@

Paper List

-[110] +[123]
Mahsa Najafzadeh, Marc Shapiro, and Patrick Eugster. @@ -2096,7 +2319,7 @@

Paper List

-[111] +[124]
Vitor Enes. @@ -2112,7 +2335,7 @@

Paper List

-[112] +[125]
Victor B F Gomes, Martin Kleppmann, Dominic P Mulligan, and Alastair R @@ -2131,7 +2354,7 @@

Paper List

-[113] +[126]
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira. @@ -2148,7 +2371,7 @@

Paper List

-[114] +[127]
Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. @@ -2165,7 +2388,7 @@

Paper List

-[115] +[128]
Weihai Yu, Gérald Oster, and Claudia-Lavinia Ignat. @@ -2185,7 +2408,7 @@

Paper List

-[116] +[129]
Martin Kleppmann and Alastair R Beresford. @@ -2203,7 +2426,7 @@

Paper List

-[117] +[130]
Tim Jungnickel and Lennart Oldenburg. @@ -2221,7 +2444,7 @@

Paper List

-[118] +[131]
Georges Younes, Paulo Sérgio Almeida, and Carlos Baquero. @@ -2239,7 +2462,7 @@

Paper List

-[119] +[132]
Peter Zeller. @@ -2257,7 +2480,7 @@

Paper List

-[120] +[133]
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, and João Leitão. @@ -2276,10 +2499,10 @@

Paper List

-[121] +[134]
-Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, +Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira, and Annette Bieniusa. Legion: Enriching internet services with peer-to-peer interactions. In 26th International Conference on World Wide Web, WWW 2017, @@ -2295,7 +2518,7 @@

Paper List

-[122] +[135]
Loïck Briot, Pascal Urso, and Marc Shapiro. @@ -2313,7 +2536,7 @@

Paper List

-[123] +[136]
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma. @@ -2331,7 +2554,7 @@

Paper List

-[124] +[137]
Xiao Lv, Fazhi He, Weiwei Cai, and Yuan Cheng. @@ -2349,7 +2572,7 @@

Paper List

-[125] +[138]
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok @@ -2368,11 +2591,11 @@

Paper List

-[126] +[139]
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, - Tyler Crain, Annette Bieniusa, Nuno Preguiça, and Marc Shapiro. + Tyler Crain, Annette Bieniusa, Nuno Preguiça, and Marc Shapiro. Cure: Strong semantics meets high availability and low latency. In 36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016, pages 405--414. IEEE, June 2016. @@ -2387,7 +2610,7 @@

Paper List

-[127] +[140]
Wenbing Zhao, Mamdouh Babi, William Yang, Xiong Luo, Yueqin Zhu, Jack Yang, @@ -2406,7 +2629,7 @@

Paper List

-[128] +[141]
Russell Brown, Zeeshan Lakhani, and Paul Place. @@ -2424,10 +2647,10 @@

Paper List

-[129] +[142]
-Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça, and Marc +Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça, and Marc Shapiro. Eventually consistent register revisited. In 2nd Workshop on the Principles and Practice of Consistency @@ -2444,7 +2667,7 @@

Paper List

-[130] +[143]
Carlos Baquero, Paulo Sérgio Almeida, and Carl Lerche. @@ -2462,7 +2685,7 @@

Paper List

-[131] +[144]
Christian Weilbach, Konrad Kühne, and Annette Bieniusa. @@ -2479,10 +2702,10 @@

Paper List

-[132] +[145]
-Albert van der Linde, João Leitão, and Nuno Preguiça. +Albert van der Linde, João Leitão, and Nuno Preguiça. Δ-CRDTs: Making δ-CRDTs delta-based. In 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2016. ACM, April 2016. @@ -2497,7 +2720,7 @@

Paper List

-[133] +[146]
Deepthi Devaki Akkoorath and Annette Bieniusa. @@ -2515,7 +2738,7 @@

Paper List

-[134] +[147]
Brice Nédelec, Pascal Molli, and Achour Mostefaoui. @@ -2533,7 +2756,7 @@

Paper List

-[135] +[148]
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc @@ -2553,10 +2776,10 @@

Paper List

-[136] +[149]
-Marek Zawirski, Nuno Preguiça, Sérgio Duarte, Annette Bieniusa, Valter +Marek Zawirski, Nuno Preguiça, Sérgio Duarte, Annette Bieniusa, Valter Balegas, and Marc Shapiro. Write fast, read in the past: Causal consistency for client-side applications. @@ -2573,7 +2796,7 @@

Paper List

-[137] +[150]
Iwan Briquemont, Manuel Bravo, Zhongmiao Li, and Peter Van Roy. @@ -2591,11 +2814,11 @@

Paper List

-[138] +[151]
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, - Rodrigo Rodrigues, and Nuno Preguiça. + Rodrigo Rodrigues, and Nuno Preguiça. Extending eventually consistent cloud databases for enforcing numeric invariants. In 34th IEEE Symposium on Reliable Distributed Systems, SRDS @@ -2611,7 +2834,7 @@

Paper List

-[139] +[152]
Christopher Meiklejohn and Peter Van Roy. @@ -2629,7 +2852,7 @@

Paper List

-[140] +[153]
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma. @@ -2648,7 +2871,7 @@

Paper List

-[141] +[154]
Weihai Yu, Luc André, and Claudia-Lavinia Ignat. @@ -2667,7 +2890,7 @@

Paper List

-[142] +[155]
Vinh Tao, Marc Shapiro, and Vianney Rancurel. @@ -2686,7 +2909,7 @@

Paper List

-[143] +[156]
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira. @@ -2702,7 +2925,7 @@

Paper List

-[144] +[157]
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. @@ -2720,7 +2943,7 @@

Paper List

-[145] +[158]
Alexey Gotsman and Hongseok Yang. @@ -2738,10 +2961,10 @@

Paper List

-[146] +[159]
-David Navalho, Sérgio Duarte, and Nuno Preguiça. +David Navalho, Sérgio Duarte, and Nuno Preguiça. A study of CRDTs that do computations. In 1st Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2015. ACM, April 2015. @@ -2756,7 +2979,7 @@

Paper List

-[147] +[160]
Brandon Holt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze. @@ -2775,7 +2998,7 @@

Paper List

-[148] +[161]
Santiago J Castiñeira and Annette Bieniusa. @@ -2793,7 +3016,7 @@

Paper List

-[149] +[162]
Christopher Meiklejohn and Peter Van Roy. @@ -2812,7 +3035,7 @@

Paper List

-[150] +[163]
Sebastian Burckhardt. @@ -2830,10 +3053,10 @@

Paper List

-[151] +[164]
-Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, Rodrigo +Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, Rodrigo Rodrigues, and Viktor Vafeiadis. Automating the choice of consistency levels in replicated systems. In USENIX Annual Technical Conference, ATC 2014, pages @@ -2848,7 +3071,7 @@

Paper List

-[152] +[165]
Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter. @@ -2867,7 +3090,7 @@

Paper List

-[153] +[166]
Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. @@ -2887,7 +3110,7 @@

Paper List

-[154] +[167]
Russell Brown, Sean Cribbs, Christopher Meiklejohn, and Sam Elliott. @@ -2905,7 +3128,7 @@

Paper List

-[155] +[168]
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. @@ -2924,10 +3147,10 @@

Paper List

-[156] +[169]
-Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Perguiça. +Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Perguiça. Merging OT and CRDT algorithms. In 1st Workshop on Principles and Practice of Eventual Consistency, PaPEC 2014. ACM, April 2014. @@ -2942,7 +3165,7 @@

Paper List

-[157] +[170]
Christopher Meiklejohn. @@ -2961,7 +3184,7 @@

Paper List

-[158] +[171]
Victor Grishchenko. @@ -2979,7 +3202,7 @@

Paper List

-[159] +[172]
Lindsey Kuper and Ryan R Newton. @@ -2997,7 +3220,7 @@

Paper List

-[160] +[173]
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski. @@ -3015,7 +3238,7 @@

Paper List

-[161] +[174]
Luc André, Stéphane Martin, Gérald Oster, and Claudia-Lavinia @@ -3036,10 +3259,10 @@

Paper List

-[162] +[175]
-Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Preguiça. +Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Preguiça. Concurrency control and awareness support for multi-synchronous collaborative editing. In 9th IEEE International Conference on Collaborative @@ -3055,7 +3278,7 @@

Paper List

-[163] +[176]
Brice Nédelec, Pascal Molli, Achour Mostefaoui, and Emmanuel Desmontils. @@ -3074,7 +3297,7 @@

Paper List

-[164] +[177]
Paulo Sérgio Almeida and Carlos Baquero. @@ -3091,7 +3314,7 @@

Paper List

-[165] +[178]
Erwan Le Merrer, Nicolas Le Scouarnec, and Gilles Straub. @@ -3108,10 +3331,10 @@

Paper List

-[166] +[179]
-David Navalho, Sérgio Duarte, Nuno Preguiça, and Marc Shapiro. +David Navalho, Sérgio Duarte, Nuno Preguiça, and Marc Shapiro. Incremental stream processing using computational conflict-free replicated data types. In 3rd International Workshop on Cloud Data and Platforms, @@ -3127,7 +3350,7 @@

Paper List

-[167] +[180]
Hien Thi Thu Truong, Claudia-Lavinia Ignat, and Pascal Molli. @@ -3145,7 +3368,7 @@

Paper List

-[168] +[181]
Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David @@ -3164,10 +3387,10 @@

Paper List

-[169] +[182]
-Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos +Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, and Sérgio Duarte. Brief announcement: Semantics of eventually consistent replicated sets. @@ -3184,10 +3407,10 @@

Paper List

-[170] +[183]
-Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos +Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, and Sérgio Duarte. An optimized conflict-free replicated set. Research Report RR-8083, INRIA, October 2012. @@ -3202,7 +3425,7 @@

Paper List

-[171] +[184]
Mehdi Ahmed-Nacer, Stéphane Martin, and Pascal Urso. @@ -3219,7 +3442,7 @@

Paper List

-[172] +[185]
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P Wood. @@ -3237,7 +3460,7 @@

Paper List

-[173] +[186]
Luis Daniel Ibáñez, Hala Skaf-Molli, Pascal Molli, and Olivier Corby. @@ -3255,7 +3478,7 @@

Paper List

-[174] +[187]
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, and Mooly Sagiv. @@ -3273,7 +3496,7 @@

Paper List

-[175] +[188]
Stéphane Martin, Mehdi Ahmed-Nacer, and Pascal Urso. @@ -3290,10 +3513,10 @@

Paper List

-[176] +[189]
-Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. +Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. Conflict-free replicated data types. In 13th International Conference on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, pages 386--400. Springer LNCS @@ -3309,7 +3532,7 @@

Paper List

-[177] +[190]
Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, and @@ -3328,12 +3551,12 @@

Paper List

-[178] +[191]
-Marek Zawirski, Marc Shapiro, and Nuno Preguiça. +Marek Zawirski, Marc Shapiro, and Nuno Preguiça. Asynchronous rebalancing of a replicated tree. - In Conférence Française en Systèmes d'Exploitation, + In Conférence Française en Systèmes d'Exploitation, CFSE 2011, May 2011. [ bib | .pdf ] @@ -3345,7 +3568,7 @@

Paper List

-[179] +[192]
Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee. @@ -3364,10 +3587,10 @@

Paper List

-[180] +[193]
-Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. +Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. A comprehensive study of convergent and commutative replicated data types. Research Report 7506, INRIA, January 2011. @@ -3381,7 +3604,7 @@

Paper List

-[181] +[194]
Stéphane Martin, Pascal Urso, and Stéphane Weiss. @@ -3399,7 +3622,7 @@

Paper List

-[182] +[195]
Stephane Weiss, Pascal Urso, and Pascal Molli. @@ -3418,7 +3641,7 @@

Paper List

-[183] +[196]
Victor Grishchenko. @@ -3437,10 +3660,10 @@

Paper List

-[184] +[197]
-Mihai Letia, Nuno Preguiça, and Marc Shapiro. +Mihai Letia, Nuno Preguiça, and Marc Shapiro. Consistency without concurrency control in large, dynamic systems. ACM SIGOPS Operating Systems Review, 44(2):29--34, April 2010. [ bib | @@ -3454,10 +3677,10 @@

Paper List

-[185] +[198]
-Nuno Preguiça, Joan Manuel Marques, Marc Shapiro, and Mihai Letia. +Nuno Preguiça, Joan Manuel Marques, Marc Shapiro, and Mihai Letia. A commutative replicated data type for cooperative editing. In 29th IEEE International Conference on Distributed Computing Systems, ICDCS 2009, pages 395--403. IEEE, 2009. @@ -3472,7 +3695,7 @@

Paper List

-[186] +[199]
Stephane Weiss, Pascal Urso, and Pascal Molli. @@ -3491,7 +3714,7 @@

Paper List

-[187] +[200]
Stéphane Weiss, Pascal Urso, and Pascal Molli. @@ -3510,7 +3733,7 @@

Paper List

-[188] +[201]
Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine. @@ -3528,7 +3751,7 @@

Paper List

-[189] +[202]
Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine. diff --git a/papers_bib.html b/papers_bib.html index 70fdda7..264da37 100644 --- a/papers_bib.html +++ b/papers_bib.html @@ -1,6 +1,196 @@ -

CRDT Papers

+
CRDT Papers
+@article{Zhang2025geometry,
+  author = {Zhang, Pengcheng and Zhang, Chao},
+  title = {Geometry-Aware CRDTs for Efficient Collaborative Geospatial Editing},
+  journal = {ISPRS International Journal of Geo-Information},
+  volume = {14},
+  year = {2025},
+  month = nov,
+  number = {12},
+  article-number = {468},
+  issn = {2220-9964},
+  doi = {10.3390/ijgi14120468},
+  keywords = {invariants, systems, graph-crdt}
+}
+

+
+
+@article{Haas2025CORDA,
+  author = {Haas, Julian and Kuessner, Christian and Mogk, Ragnar and Mezini, Mira},
+  journal = {IEEE Internet Computing},
+  title = {Think Locally, Act Globally: A Programming Model for Decentralized Applications},
+  year = {2025},
+  month = oct,
+  volume = {29},
+  number = {4},
+  pages = {55-64},
+  keywords = {programming, systems, composition},
+  doi = {10.1109/MIC.2025.3618947}
+}
+

+
+
+@article{DePorre2025contracts,
+  author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa},
+  title = {Concurrency Contracts for Designing Highly Available Replicated Data Types},
+  journal = {Software: Practice and Experience},
+  volume = {55},
+  number = {9},
+  pages = {1489--1505},
+  year = {2025},
+  month = sep,
+  doi = {10.1002/spe.3430},
+  pdf = {https://onlinelibrary.wiley.com/share/author/AB9GMXMJCUYDMVZEXUS9?target=10.1002/spe.3430},
+  keywords = {verification, computation, invariants, systems}
+}
+

+
+
+@article{Liittschwager2025emluation,
+  author = {Liittschwager, Nathan and Castello, Jonathan and Tsampas, Stelios and Kuper, Lindsey},
+  title = {CRDT Emulation, Simulation, and Representation Independence},
+  year = {2025},
+  issue_date = {August 2025},
+  publisher = {ACM},
+  volume = {9},
+  number = {ICFP},
+  doi = {10.1145/3747528},
+  journal = {Proc. ACM Program. Lang.},
+  month = aug,
+  articleno = {259},
+  numpages = {29},
+  keywords = {theory, state-based, operation-based, emulation}
+}
+

+
+
+@inproceedings{Jacob2025ECAC,
+  author = {Jacob, Florian and Hartenstein, Hannes},
+  title = {To the Best of Knowledge and Belief: On Eventually Consistent Access Control},
+  year = {2025},
+  isbn = {9798400714764},
+  publisher = {ACM},
+  doi = {10.1145/3714393.3726520},
+  booktitle = {Fifteenth ACM Conference on Data and Application Security and Privacy},
+  pages = {107–118},
+  numpages = {12},
+  keywords = {security},
+  series = {CODASPY 2025}
+}
+

+
+
+@inproceedings{Borth2025DAGCrdt,
+  author = {Borth, Evelyn and Lersch, Philipp and Bieniusa, Annette},
+  title = {Directed Acyclic Graph CRDTs},
+  year = {2025},
+  isbn = {9798400715587},
+  publisher = {ACM},
+  doi = {10.1145/3721473.3722141},
+  booktitle = {12th Workshop on Principles and Practice of Consistency for Distributed Data},
+  pages = {30–37},
+  numpages = {8},
+  keywords = {graph-crdt, invariants, Yjs},
+  series = {PaPoC 2025}
+}
+

+
+
+@article{Zhu2025Crust,
+  author = {Zhu, Yunrui and Ma, Jing},
+  journal = {IEEE Access},
+  title = {Crust: A Modular Framework for Conflict-Free Replicated Data Types (CRDTs) Development, Validation, and Benchmarking},
+  year = {2025},
+  volume = {13},
+  pages = {84081-84093},
+  keywords = {programming, state-based, operation-based, delta-based},
+  doi = {10.1109/ACCESS.2025.3568925}
+}
+

+
+
+@inproceedings{Marx2025ProofCarrying,
+  author = {Marx, Nick and Jacob, Florian and Hartenstein, Hannes},
+  title = {Proof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation},
+  year = {2025},
+  month = mar,
+  doi = {10.1145/3721473.3722142},
+  booktitle = {12th Workshop on Principles and Practice of Consistency for Distributed Data},
+  pages = {15-21},
+  keywords = {security, counters},
+  series = {PaPoC 2025}
+}
+

+
+
+@inproceedings{Power2025freeTermination,
+  author = {Power, Conor and Koutris, Paraschos and Hellerstein, Joseph M.},
+  title = {{The Free Termination Property of Queries over Time}},
+  booktitle = {28th International Conference on Database Theory (ICDT 2025)},
+  pages = {32:1--32:22},
+  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
+  year = {2025},
+  publisher = {Schloss Dagstuhl},
+  doi = {10.4230/LIPIcs.ICDT.2025.32},
+  keywords = {theory, CALM Theorem, coordination-free}
+}
+

+
+
+@article{Faria2025CRDV,
+  author = {Faria, Nuno and Pereira, Jos\'{e}},
+  title = {CRDV: Conflict-free Replicated Data Views},
+  year = {2025},
+  issue_date = {February 2025},
+  publisher = {ACM},
+  volume = {3},
+  number = {1},
+  doi = {10.1145/3709675},
+  journal = {Proc. ACM Manag. Data},
+  month = feb,
+  articleno = {25},
+  numpages = {27},
+  keywords = {systems, databases, state-based, programming}
+}
+

+
+
+@article{Prymushko2025EGrid,
+  author = {Prymushko, Arsentii and Puchko, Ivan and Yaroshynskyi, Mykola and Sinko, Dmytro and Kravtsov, Hryhoriy and Artemchuk, Volodymyr},
+  title = {Efficient State Synchronization in Distributed Electrical Grid Systems Using Conflict-Free Replicated Data Types},
+  journal = {IoT},
+  volume = {6},
+  year = {2025},
+  number = {1},
+  article-number = {6},
+  issn = {2624-831X},
+  doi = {10.3390/iot6010006},
+  keywords = {systems, state-based, delta-based}
+}
+

+
+
+@article{Almeida2024approaches,
+  author = {Almeida, Paulo S\'{e}rgio},
+  title = {Approaches to Conflict-free Replicated Data Types},
+  year = {2024},
+  issue_date = {February 2025},
+  publisher = {ACM},
+  volume = {57},
+  number = {2},
+  issn = {0360-0300},
+  doi = {10.1145/3695249},
+  journal = {ACM Comput. Surv.},
+  month = nov,
+  articleno = {51},
+  numpages = {36},
+  keywords = {introduction, operation-based, state-based, delta-based, pure operation-based}
+}
+

+
+
 @inproceedings{Ignat2024Synql,
   author = {Ignat, Claudia-Lavinia and Elvinger, Victorien and Ba, Habibatou},
   title = {{Synql}: A {CRDT}-based Approach for Replicated Relational Databases with Integrity Constraints},
@@ -113,18 +303,6 @@ 
CRDT Papers
 }
 

 
-
-@article{Almeida2023approaches,
-  title = {Approaches to Conflict-free Replicated Data Types},
-  author = {Almeida, Paulo Sérgio},
-  year = {2023},
-  month = oct,
-  eprint = {2310.18220},
-  url = {https://arxiv.org/abs/2310.18220},
-  keywords = {introduction, operation-based, state-based, delta-based, pure operation-based}
-}
-

-
 
 @article{Renaux2023accessControl,
   author = {Renaux, Thierry and Van den Vonder, Sam and De Meuter, Wolfgang},
@@ -282,6 +460,20 @@ 
CRDT Papers
 }
 

 
+
+@inproceedings{Portela2023SecureCRDTs,
+  author = {Portela, Bernardo and Pacheco, Hugo and Jorge, Pedro and Pontes, Rogério},
+  booktitle = {2023 IEEE 36th Computer Security Foundations Symposium (CSF)},
+  title = {General-Purpose Secure Conflict-free Replicated Data Types},
+  year = {2023},
+  month = jul,
+  publisher = {IEEE},
+  pages = {521-536},
+  keywords = {security},
+  doi = {10.1109/CSF57540.2023.00030}
+}
+

+
 
 @article{Zakhour2023Propel,
   author = {Zakhour, George and Weisenburger, Pascal and Salvaneschi, Guido},
@@ -1375,6 +1567,20 @@ 
CRDT Papers
 }
 

 
+
+@inproceedings{Nagar2019verification,
+  author = {Nagar, Kartik and Jagannathan, Suresh},
+  title = {Automated Parameterized Verification of CRDTs},
+  booktitle = {Computer Aided Verification},
+  year = {2019},
+  month = {july},
+  publisher = {Springer},
+  pages = {459--477},
+  isbn = {978-3-030-25543-5},
+  keywords = {verification, consistency models}
+}
+

+
 
 @article{Kollmann2019Snapdoc,
   author = {Kollmann, Stephan A and Kleppmann, Martin and Beresford, Alastair R},