Add some recent papers from PaPoC and elsewhere

papers.bib

@@ -23,27 +23,90 @@
 
 % 2024
 
+@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},
-year       = {2024},
-issue_date = {March 2024},
-publisher  = {ACM},
-address    = {New York, NY, USA},
-volume     = {46},
-number     = {1},
-issn       = {0164-0925},
-url        = {https://doi.org/10.1145/3633769},
-pdf        = {https://dl.acm.org/doi/pdf/10.1145/3633769},
-doi        = {10.1145/3633769},
-eprint     = {2304.07133},
-journal    = {ACM Transactions on Programming Languages and Systems},
-month      = {jan},
-articleno  = {2},
-numpages   = {26},
-keywords   = {verification, computation, invariants, systems, reactive programming, mixed-consistency}
+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}
+}
 
 % 2023
 
@@ -86,6 +149,15 @@ @article{Renaux2023accessControl
 keywords = {security, JSON, trees}
 }
 
+@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},
 title = {{CRDT}-based Collaborative Editing in {OppNets}: a Practical Experiment},