Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine.
diff --git a/papers_bib.html b/papers_bib.html
index 3b391ea..97e1169 100644
--- a/papers_bib.html
+++ b/papers_bib.html
@@ -1,6 +1,103 @@
-CRDT Papers
+CRDT Papers
+@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},
+ booktitle = {24th International Conference on Distributed Applications and Interoperable Systems},
+ series = {DAIS 2024},
+ year = {2024},
+ month = jun,
+ publisher = {Springer},
+ doi = {10.1007/978-3-031-62638-8_2},
+ pdf = {https://inria.hal.science/hal-04580135/file/DAIS2024.pdf},
+ keywords = {relational, invariants}
+}
+
+
+
+@article{Haas2024LoRe,
+ author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira},
+ title = {{LoRe}: A Programming Model for Verifiably Safe Local-First Software},
+ journal = {ACM Transactions on Programming Languages and Systems},
+ volume = {46},
+ number = {1},
+ articleno = {2},
+ year = {2024},
+ month = jan,
+ publisher = {ACM},
+ pdf = {https://dl.acm.org/doi/pdf/10.1145/3633769},
+ doi = {10.1145/3633769},
+ eprint = {2304.07133},
+ keywords = {verification, computation, invariants, systems, reactive programming, mixed-consistency}
+}
+
+
+
+@inproceedings{Stewen2024undo,
+ author = {Stewen, Leo and Kleppmann, Martin},
+ title = {Undo and Redo Support for Replicated Registers},
+ booktitle = {11th Workshop on Principles and Practice of Consistency for Distributed Data},
+ series = {PaPoC 2024},
+ pages = {1-7},
+ year = {2024},
+ month = apr,
+ publisher = {ACM},
+ eprint = {2404.11308},
+ doi = {10.1145/3642976.3653029},
+ keywords = {undo}
+}
+
+
+
+@inproceedings{Da2024move,
+ author = {Da, Liangrun and Kleppmann, Martin},
+ title = {Extending {JSON} {CRDTs} with Move Operations},
+ booktitle = {11th Workshop on Principles and Practice of Consistency for Distributed Data},
+ series = {PaPoC 2024},
+ pages = {8-14},
+ year = {2024},
+ month = apr,
+ publisher = {ACM},
+ eprint = {2311.14007},
+ doi = {10.1145/3642976.3653030},
+ keywords = {JSON, trees}
+}
+
+
+
+@inproceedings{Power2024lattices,
+ author = {Power, Conor and Achalla, Saikrishna and Cottone, Ryan and Macasaet, Nathaniel and Hellerstein, Joseph M.},
+ title = {Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental View Maintenance and Eventual Consistency},
+ booktitle = {11th Workshop on Principles and Practice of Consistency for Distributed Data},
+ series = {PaPoC 2024},
+ pages = {15-22},
+ year = {2024},
+ month = apr,
+ publisher = {ACM},
+ pdf = {https://dl.acm.org/doi/pdf/10.1145/3642976.3653031},
+ doi = {10.1145/3642976.3653031},
+ keywords = {theory, computation, databases}
+}
+
+
+
+@inproceedings{Jacob2024Byzantine,
+ author = {Jacob, Florian and Hartenstein, Hannes},
+ title = {Logical Clocks and Monotonicity for {Byzantine}-Tolerant Replicated Data Types},
+ booktitle = {11th Workshop on Principles and Practice of Consistency for Distributed Data},
+ series = {PaPoC 2024},
+ pages = {37-43},
+ year = {2024},
+ month = apr,
+ publisher = {ACM},
+ pdf = {https://dl.acm.org/doi/pdf/10.1145/3642976.3653034},
+ doi = {10.1145/3642976.3653034},
+ keywords = {security, causal-consistency}
+}
+
+
+
@inproceedings{Nasirifard2023orderlessChain,
author = {Nasirifard, Pezhman and Mayer, Ruben and Jacobsen, Hans-Arno},
title = {{OrderlessChain}: A {CRDT}-Based {BFT} Coordination-Free Blockchain Without Global Order of Transactions},
@@ -45,6 +142,17 @@ CRDT Papers
}
+
+@article{Ou2023skipList,
+ author = {Ou, Yuran and Zhou, Jian},
+ title = {{RDSL}: an Efficient Retrieval Algorithm for Group Editing {CRDT}},
+ year = {2023},
+ month = sep,
+ url = {https://www.researchsquare.com/article/rs-3316287/v1},
+ keywords = {text}
+}
+
+
@inproceedings{Maheo2023oppnets,
author = {Mahéo, Yves and Guidec, Frédéric and Noûs, Camille},
@@ -91,22 +199,6 @@ CRDT Papers
}
-
-@inproceedings{Haas2023LoRe,
- author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira},
- title = {{LoRe}: A Programming Model for Verifiably Safe Local-First Software},
- booktitle = {37th European Conference on Object-Oriented Programming},
- pages = {12:1--12:15},
- series = {ECOOP 2023},
- year = {2023},
- month = jul,
- publisher = {Schloss Dagstuhl},
- doi = {10.4230/LIPIcs.ECOOP.2023.12},
- eprint = {2304.07133},
- keywords = {verification, systems, reactive programming}
-}
-
-
@inproceedings{DePorre2023VeriFx,
author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa},