@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} }
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing