@Proceedings{hillel_et_al:LIPIcs.OPODIS.2022, title = {{LIPIcs, Volume 253, OPODIS 2022, Complete Volume}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {1--536}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022}, URN = {urn:nbn:de:0030-drops-176190}, doi = {10.4230/LIPIcs.OPODIS.2022}, annote = {Keywords: LIPIcs, Volume 253, OPODIS 2022, Complete Volume} } @InProceedings{hillel_et_al:LIPIcs.OPODIS.2022.0, author = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {0:i--0:xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.0}, URN = {urn:nbn:de:0030-drops-176203}, doi = {10.4230/LIPIcs.OPODIS.2022.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{luchangco:LIPIcs.OPODIS.2022.1, author = {Luchangco, Victor}, title = {{Theory Meets Practice in the Algorand Blockchain}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {1:1--1:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.1}, URN = {urn:nbn:de:0030-drops-176219}, doi = {10.4230/LIPIcs.OPODIS.2022.1}, annote = {Keywords: Theory and practice, Design of distributed systems, Blockchain, Consensus, Algorand} } @InProceedings{fatourou:LIPIcs.OPODIS.2022.2, author = {Fatourou, Panagiota}, title = {{Recoverable Computing}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {2:1--2:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.2}, URN = {urn:nbn:de:0030-drops-176221}, doi = {10.4230/LIPIcs.OPODIS.2022.2}, annote = {Keywords: non-volatile memory, persistence, detectability, durability, recoverable algorithms, recoverable data structures, persistent objects, stacks, queues, heaps, synchronization, universal constructions, software combining, lock-freedom, wait-freedom, persistence cost analysis} } @InProceedings{tixeuil:LIPIcs.OPODIS.2022.3, author = {Tixeuil, S\'{e}bastien}, title = {{Realistic Self-Stabilization}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {3:1--3:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.3}, URN = {urn:nbn:de:0030-drops-176232}, doi = {10.4230/LIPIcs.OPODIS.2022.3}, annote = {Keywords: Self-stabilization, Distributed systems, Probable stabilization, Performance evaluation, Asynchronous message passing, Multi-tolerance} } @InProceedings{johnen_et_al:LIPIcs.OPODIS.2022.4, author = {Johnen, Colette and Khattabi, Adnane and Milani, Alessia}, title = {{Efficient Wait-Free Queue Algorithms with Multiple Enqueuers and Multiple Dequeuers}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {4:1--4:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.4}, URN = {urn:nbn:de:0030-drops-176240}, doi = {10.4230/LIPIcs.OPODIS.2022.4}, annote = {Keywords: Distributed computing, distributed algorithms, FIFO queue, shared memory, fault tolerance, concurrent data structures, relaxed specifications, complexity} } @InProceedings{sheffi_et_al:LIPIcs.OPODIS.2022.5, author = {Sheffi, Gali and Ramalhete, Pedro and Petrank, Erez}, title = {{EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {5:1--5:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.5}, URN = {urn:nbn:de:0030-drops-176253}, doi = {10.4230/LIPIcs.OPODIS.2022.5}, annote = {Keywords: safe memory reclamation, lock-freedom, snapshot, concurrency, range query} } @InProceedings{attiya_et_al:LIPIcs.OPODIS.2022.6, author = {Attiya, Hagit and Ellen, Faith}, title = {{The Step Complexity of Multidimensional Approximate Agreement}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {6:1--6:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.6}, URN = {urn:nbn:de:0030-drops-176261}, doi = {10.4230/LIPIcs.OPODIS.2022.6}, annote = {Keywords: approximate agreement, conflict detection, shared memory, wait-freedom, step complexity} } @InProceedings{kharal_et_al:LIPIcs.OPODIS.2022.7, author = {Kharal, Rosina F. and Brown, Trevor}, title = {{Performance Anomalies in Concurrent Data Structure Microbenchmarks}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {7:1--7:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.7}, URN = {urn:nbn:de:0030-drops-176273}, doi = {10.4230/LIPIcs.OPODIS.2022.7}, annote = {Keywords: concurrent microbenchmarks, concurrent data structures, concurrent performance evaluation, PRNGs, parallel computing} } @InProceedings{fynn_et_al:LIPIcs.OPODIS.2022.8, author = {Fynn, Enrique and Buchman, Ethan and Milosevic, Zarko and Soul\'{e}, Robert and Pedone, Fernando}, title = {{Robust and Fast Blockchain State Synchronization}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {8:1--8:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.8}, URN = {urn:nbn:de:0030-drops-176280}, doi = {10.4230/LIPIcs.OPODIS.2022.8}, annote = {Keywords: state synchronization, replication, blockchain} } @InProceedings{saramago_et_al:LIPIcs.OPODIS.2022.9, author = {Saramago, Rodrigo Q. and Meling, Hein and Jehl, Leander N.}, title = {{A Privacy-Preserving and Transparent Certification System for Digital Credentials}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {9:1--9:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.9}, URN = {urn:nbn:de:0030-drops-176294}, doi = {10.4230/LIPIcs.OPODIS.2022.9}, annote = {Keywords: verifiable credentials, privacy-preserving, zero-knowledge, blockchain} } @InProceedings{amoressesar_et_al:LIPIcs.OPODIS.2022.10, author = {Amores-Sesar, Ignacio and Cachin, Christian and Tedeschi, Enrico}, title = {{When Is Spring Coming? A Security Analysis of Avalanche Consensus}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {10:1--10:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.10}, URN = {urn:nbn:de:0030-drops-176307}, doi = {10.4230/LIPIcs.OPODIS.2022.10}, annote = {Keywords: Avalanche, security analysis, generic broadcast} } @InProceedings{inoue_et_al:LIPIcs.OPODIS.2022.11, author = {Inoue, Taichi and Kitamura, Naoki and Izumi, Taisuke and Masuzawa, Toshimitsu}, title = {{Computational Power of a Single Oblivious Mobile Agent in Two-Edge-Connected Graphs}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {11:1--11:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.11}, URN = {urn:nbn:de:0030-drops-176311}, doi = {10.4230/LIPIcs.OPODIS.2022.11}, annote = {Keywords: mobile agent, depth-first search, space complexity} } @InProceedings{coleman_et_al:LIPIcs.OPODIS.2022.12, author = {Coleman, Jared and Kranakis, Evangelos and Krizanc, Danny and Morales-Ponce, Oscar}, title = {{Line Search for an Oblivious Moving Target}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {12:1--12:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.12}, URN = {urn:nbn:de:0030-drops-176325}, doi = {10.4230/LIPIcs.OPODIS.2022.12}, annote = {Keywords: Infinite Line, Knowledge, Oblivious, Robot, Search, Search-Time, Speed, Target} } @InProceedings{augustine_et_al:LIPIcs.OPODIS.2022.13, author = {Augustine, John and Datar, Arnhav and Shadagopan, Nischith}, title = {{Randomized Byzantine Gathering in Rings}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {13:1--13:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.13}, URN = {urn:nbn:de:0030-drops-176333}, doi = {10.4230/LIPIcs.OPODIS.2022.13}, annote = {Keywords: Mobile agents and robots} } @InProceedings{kim_et_al:LIPIcs.OPODIS.2022.14, author = {Kim, Yonghwan and Shibata, Masahiro and Sudo, Yuichi and Nakamura, Junya and Katayama, Yoshiaki and Masuzawa, Toshimitsu}, title = {{Gathering of Mobile Robots with Defected Views}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {14:1--14:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.14}, URN = {urn:nbn:de:0030-drops-176349}, doi = {10.4230/LIPIcs.OPODIS.2022.14}, annote = {Keywords: mobile robot, gathering, defected view model} } @InProceedings{castenow_et_al:LIPIcs.OPODIS.2022.15, author = {Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, title = {{A Unifying Approach to Efficient (Near)-Gathering of Disoriented Robots with Limited Visibility}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {15:1--15:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.15}, URN = {urn:nbn:de:0030-drops-176350}, doi = {10.4230/LIPIcs.OPODIS.2022.15}, annote = {Keywords: mobile robots, gathering, limited visibility, runtime, collision avoidance, near-gathering} } @InProceedings{abraham_et_al:LIPIcs.OPODIS.2022.16, author = {Abraham, Ittai and Stern, Gilad}, title = {{New Dolev-Reischuk Lower Bounds Meet Blockchain Eclipse Attacks}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {16:1--16:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.16}, URN = {urn:nbn:de:0030-drops-176368}, doi = {10.4230/LIPIcs.OPODIS.2022.16}, annote = {Keywords: consensus, crusader broadcast, Byzantine fault tolerance, blockchain, synchrony, lower bounds} } @InProceedings{cachin_et_al:LIPIcs.OPODIS.2022.17, author = {Cachin, Christian and Losa, Giuliano and Zanolini, Luca}, title = {{Quorum Systems in Permissionless Networks}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {17:1--17:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.17}, URN = {urn:nbn:de:0030-drops-176379}, doi = {10.4230/LIPIcs.OPODIS.2022.17}, annote = {Keywords: Permissionless systems, fail-prone system, quorum system} } @InProceedings{cohen_et_al:LIPIcs.OPODIS.2022.18, author = {Cohen, Shir and Keidar, Idit and Spiegelman, Alexander}, title = {{Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {18:1--18:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.18}, URN = {urn:nbn:de:0030-drops-176385}, doi = {10.4230/LIPIcs.OPODIS.2022.18}, annote = {Keywords: Byzantine Agreement, Byzantine Broadcast, Adaptive communication} } @InProceedings{azouvi_et_al:LIPIcs.OPODIS.2022.19, author = {Azouvi, Sarah and Cachin, Christian and Le, Duc V. and Vukoli\'{c}, Marko and Zanolini, Luca}, title = {{Modeling Resources in Permissionless Longest-Chain Total-Order Broadcast}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {19:1--19:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.19}, URN = {urn:nbn:de:0030-drops-176398}, doi = {10.4230/LIPIcs.OPODIS.2022.19}, annote = {Keywords: blockchain, consensus, resource, broadcast} } @InProceedings{fraigniaud_et_al:LIPIcs.OPODIS.2022.20, author = {Fraigniaud, Pierre and Montealegre, Pedro and Paredes, Pablo and Rapaport, Ivan and R{\'\i}os-Wilson, Mart{\'\i}n and Todinca, Ioan}, title = {{Computing Power of Hybrid Models in Synchronous Networks}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {20:1--20:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.20}, URN = {urn:nbn:de:0030-drops-176401}, doi = {10.4230/LIPIcs.OPODIS.2022.20}, annote = {Keywords: hybrid model, synchronous networks, LOCAL, CONGEST, Broadcast Congested Clique} } @InProceedings{melnyk_et_al:LIPIcs.OPODIS.2022.21, author = {Melnyk, Darya and Suomela, Jukka and Villani, Neven}, title = {{Mending Partial Solutions with Few Changes}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {21:1--21:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.21}, URN = {urn:nbn:de:0030-drops-176413}, doi = {10.4230/LIPIcs.OPODIS.2022.21}, annote = {Keywords: mending, LCL problems, volume model} } @InProceedings{liu:LIPIcs.OPODIS.2022.22, author = {Liu, Shihao}, title = {{The Impossibility of Approximate Agreement on a Larger Class of Graphs}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {22:1--22:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.22}, URN = {urn:nbn:de:0030-drops-176420}, doi = {10.4230/LIPIcs.OPODIS.2022.22}, annote = {Keywords: Approximate agreement on graph, wait-free solvability, triangulated sphere} } @InProceedings{berenbrink_et_al:LIPIcs.OPODIS.2022.23, author = {Berenbrink, Petra and Coja-Oghlan, Amin and Gebhard, Oliver and Hahn-Klimroth, Max and Kaaser, Dominik and Rau, Malin}, title = {{On the Hierarchy of Distributed Majority Protocols}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {23:1--23:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.23}, URN = {urn:nbn:de:0030-drops-176434}, doi = {10.4230/LIPIcs.OPODIS.2022.23}, annote = {Keywords: Consensus, Majority, Hierarchy, Stochastic Dominance, Population Protocols, Gossip Model, Strassen’s Theorem} } @InProceedings{yandamuri_et_al:LIPIcs.OPODIS.2022.24, author = {Yandamuri, Sravya and Abraham, Ittai and Nayak, Kartik and Reiter, Michael K.}, title = {{Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {24:1--24:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.24}, URN = {urn:nbn:de:0030-drops-176448}, doi = {10.4230/LIPIcs.OPODIS.2022.24}, annote = {Keywords: communication complexity, consensus, trusted hardware} } @InProceedings{rozenschiff_et_al:LIPIcs.OPODIS.2022.25, author = {Rozen-Schiff, Neta and Foerster, Klaus-Tycho and Schmid, Stefan and Hay, David}, title = {{Chopin: Combining Distributed and Centralized Schedulers for Self-Adjusting Datacenter Networks}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {25:1--25:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.25}, URN = {urn:nbn:de:0030-drops-176457}, doi = {10.4230/LIPIcs.OPODIS.2022.25}, annote = {Keywords: reconfigurable optical networks, centralized scheduler, distributed scheduler} } @InProceedings{albouy_et_al:LIPIcs.OPODIS.2022.26, author = {Albouy, Timoth\'{e} and Frey, Davide and Raynal, Michel and Ta\"{i}ani, Fran\c{c}ois}, title = {{A Modular Approach to Construct Signature-Free BRB Algorithms Under a Message Adversary}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {26:1--26:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.26}, URN = {urn:nbn:de:0030-drops-176464}, doi = {10.4230/LIPIcs.OPODIS.2022.26}, annote = {Keywords: Asynchronous system, Byzantine processes, Communication abstraction, Delivery predicate, Fault-Tolerance, Forwarding predicate, Message adversary, Message loss, Modularity, Quorum, Reliable broadcast, Signature-free algorithm, Two-phase commit} } @InProceedings{emek_et_al:LIPIcs.OPODIS.2022.27, author = {Emek, Yuval and Gil, Yuval and Harlev, Noga}, title = {{Design of Self-Stabilizing Approximation Algorithms via a Primal-Dual Approach}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {27:1--27:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.27}, URN = {urn:nbn:de:0030-drops-176474}, doi = {10.4230/LIPIcs.OPODIS.2022.27}, annote = {Keywords: self-stabilization, approximation algorithms, primal-dual} } @InProceedings{charronbost_et_al:LIPIcs.OPODIS.2022.28, author = {Charron-Bost, Bernadette and Penet de Monterno, Louis}, title = {{Self-Stabilizing Clock Synchronization in Dynamic Networks}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {28:1--28:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.28}, URN = {urn:nbn:de:0030-drops-176480}, doi = {10.4230/LIPIcs.OPODIS.2022.28}, annote = {Keywords: Self-stabilization, Clock synchronization, Dynamic networks} }