@Proceedings{alistarh:LIPIcs.DISC.2024, title = {{LIPIcs, Volume 319, DISC 2024, Complete Volume}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {1--952}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024}, URN = {urn:nbn:de:0030-drops-220706}, doi = {10.4230/LIPIcs.DISC.2024}, annote = {Keywords: LIPIcs, Volume 319, DISC 2024, Complete Volume} } @InProceedings{alistarh:LIPIcs.DISC.2024.0, author = {Alistarh, Dan}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {0:i--0:xx}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.0}, URN = {urn:nbn:de:0030-drops-220693}, doi = {10.4230/LIPIcs.DISC.2024.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{aldematshuva_et_al:LIPIcs.DISC.2024.1, author = {Aldema Tshuva, Eden and Oshman, Rotem}, title = {{Fully Local Succinct Distributed Arguments}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {1:1--1:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.1}, URN = {urn:nbn:de:0030-drops-212662}, doi = {10.4230/LIPIcs.DISC.2024.1}, annote = {Keywords: distributed certification, proof labeling schemes, SNARG} } @InProceedings{alpturer_et_al:LIPIcs.DISC.2024.2, author = {Alpturer, Kaya and Halpern, Joseph Y. and van der Meyden, Ron}, title = {{A Knowledge-Based Analysis of Intersection Protocols}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {2:1--2:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.2}, URN = {urn:nbn:de:0030-drops-212291}, doi = {10.4230/LIPIcs.DISC.2024.2}, annote = {Keywords: Intersection management, Autonomous vehicles, Distributed algorithms, Epistemic logic, Fault tolerance} } @InProceedings{augustine_et_al:LIPIcs.DISC.2024.3, author = {Augustine, John and Biju, Jeffin and Meir, Shachar and Peleg, David and Ramachandran, Srikkanth and Thiruvengadam, Aishwarya}, title = {{Byzantine Resilient Distributed Computing on External Data}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {3:1--3:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.3}, URN = {urn:nbn:de:0030-drops-212304}, doi = {10.4230/LIPIcs.DISC.2024.3}, annote = {Keywords: Byzantine Fault Tolerance, Blockchain Oracle, Congested Clique, Data Retrieval Model} } @InProceedings{bai_et_al:LIPIcs.DISC.2024.4, author = {Bai, Sirui and Fu, Xinyu and Wu, Xudong and Yao, Penghui and Zheng, Chaodong}, title = {{Almost Optimal Algorithms for Token Collision in Anonymous Networks}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {4:1--4:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.4}, URN = {urn:nbn:de:0030-drops-212319}, doi = {10.4230/LIPIcs.DISC.2024.4}, annote = {Keywords: Token collision, anonymous networks, deterministic algorithms} } @InProceedings{balliu_et_al:LIPIcs.DISC.2024.5, author = {Balliu, Alkida and Fraigniaud, Pierre and Lambein-Monette, Patrick and Olivetti, Dennis and Rabie, Mika\"{e}l}, title = {{Asynchronous Fault-Tolerant Distributed Proper Coloring of Graphs}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {5:1--5:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.5}, URN = {urn:nbn:de:0030-drops-212328}, doi = {10.4230/LIPIcs.DISC.2024.5}, annote = {Keywords: LOCAL model, Graph Coloring, Renaming, Weak Symmetry-Breaking, Fault-Tolerance, Wait-Free Computing} } @InProceedings{barenboim_et_al:LIPIcs.DISC.2024.6, author = {Barenboim, Leonid and Goldenberg, Uri}, title = {{Speedup of Distributed Algorithms for Power Graphs in the CONGEST Model}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {6:1--6:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.6}, URN = {urn:nbn:de:0030-drops-212337}, doi = {10.4230/LIPIcs.DISC.2024.6}, annote = {Keywords: Distributed Algorithms, Graph Coloring, Power Graph, CONGEST} } @InProceedings{bashari_et_al:LIPIcs.DISC.2024.7, author = {Bashari, Benyamin and Chan, David Yu Cheng and Woelfel, Philipp}, title = {{A Fully Concurrent Adaptive Snapshot Object for RMWable Shared-Memory}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {7:1--7:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.7}, URN = {urn:nbn:de:0030-drops-212342}, doi = {10.4230/LIPIcs.DISC.2024.7}, annote = {Keywords: Shared memory, snapshot, camera object, RMW, distributed computing} } @InProceedings{benshimon_et_al:LIPIcs.DISC.2024.8, author = {Ben Shimon, Yoav and Lahav, Ori and Shoham, Sharon}, title = {{Hyperproperty-Preserving Register Specifications}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {8:1--8:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.8}, URN = {urn:nbn:de:0030-drops-212630}, doi = {10.4230/LIPIcs.DISC.2024.8}, annote = {Keywords: Hyperproperties, Concurrent objects, Distributed objects, Linearizability, Strong linearizability, Simulation} } @InProceedings{bonichon_et_al:LIPIcs.DISC.2024.9, author = {Bonichon, Nicolas and Casteigts, Arnaud and Gavoille, Cyril and Hanusse, Nicolas}, title = {{Freeze-Tag in L₁ Has Wake-Up Time Five with Linear Complexity}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {9:1--9:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.9}, URN = {urn:nbn:de:0030-drops-212356}, doi = {10.4230/LIPIcs.DISC.2024.9}, annote = {Keywords: freeze-tag problem, metric, algorithm} } @InProceedings{bravo_et_al:LIPIcs.DISC.2024.10, author = {Bravo, Manuel and Chockler, Gregory and Gotsman, Alexey and Naser-Pastoriza, Alejandro and Rold\'{a}n, Christian}, title = {{Vertical Atomic Broadcast and Passive Replication}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {10:1--10:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.10}, URN = {urn:nbn:de:0030-drops-212363}, doi = {10.4230/LIPIcs.DISC.2024.10}, annote = {Keywords: Reconfiguration, consensus, replication} } @InProceedings{castaneda_et_al:LIPIcs.DISC.2024.11, author = {Casta\~{n}eda, Armando and Chockler, Gregory and Dongol, Brijesh and Lahav, Ori}, title = {{What Cannot Be Implemented on Weak Memory?}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {11:1--11:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.11}, URN = {urn:nbn:de:0030-drops-212371}, doi = {10.4230/LIPIcs.DISC.2024.11}, annote = {Keywords: Impossibility, Weak Memory Models, Total-Store Order, Release-Acquire} } @InProceedings{censorhillel_et_al:LIPIcs.DISC.2024.12, author = {Censor-Hillel, Keren and Even, Tomer and Vassilevska Williams, Virginia}, title = {{Faster Cycle Detection in the Congested Clique}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {12:1--12:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.12}, URN = {urn:nbn:de:0030-drops-212382}, doi = {10.4230/LIPIcs.DISC.2024.12}, annote = {Keywords: triangle detection, cycle detection, distributed computing, Congested Clique, quantum computing, Fast matrix multiplication, Fast rectangular matrix multiplication} } @InProceedings{chalopin_et_al:LIPIcs.DISC.2024.13, author = {Chalopin, J\'{e}r\'{e}mie and Das, Shantanu and Kokkou, Maria}, title = {{Deterministic Self-Stabilising Leader Election for Programmable Matter with Constant Memory}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {13:1--13:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.13}, URN = {urn:nbn:de:0030-drops-212395}, doi = {10.4230/LIPIcs.DISC.2024.13}, annote = {Keywords: Leader Election, Programmable Matter, Self-Stabilisation, Silent, Deterministic, Unique Leader, Simply Connected, Gouda fair Daemon, Constant Memory} } @InProceedings{civit_et_al:LIPIcs.DISC.2024.14, author = {Civit, Pierre and Dzulfikar, Muhammad Ayaz and Gilbert, Seth and Guerraoui, Rachid and Komatovic, Jovan and Vidigueira, Manuel and Zablotchi, Igor}, title = {{Efficient Signature-Free Validated Agreement}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {14:1--14:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.14}, URN = {urn:nbn:de:0030-drops-212408}, doi = {10.4230/LIPIcs.DISC.2024.14}, annote = {Keywords: Validated Byzantine agreement, Bit complexity, Round complexity} } @InProceedings{constantinescu_et_al:LIPIcs.DISC.2024.15, author = {Constantinescu, Andrei and Ghinea, Diana and Wattenhofer, Roger and Westermann, Floris}, title = {{Convex Consensus with Asynchronous Fallback}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {15:1--15:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.15}, URN = {urn:nbn:de:0030-drops-212411}, doi = {10.4230/LIPIcs.DISC.2024.15}, annote = {Keywords: convex consensus, network-agnostic protocols, agreement on a core-set} } @InProceedings{coutouly_et_al:LIPIcs.DISC.2024.16, author = {Coutouly, Yannis and Godard, Emmanuel}, title = {{A Simple Computability Theorem for Colorless Tasks in Submodels of the Iterated Immediate Snapshot}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {16:1--16:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.16}, URN = {urn:nbn:de:0030-drops-212422}, doi = {10.4230/LIPIcs.DISC.2024.16}, annote = {Keywords: topological methods, geometric simplicial complex, set-agreement} } @InProceedings{czerner:LIPIcs.DISC.2024.17, author = {Czerner, Philipp}, title = {{Breaking Through the \Omega(n)-Space Barrier: Population Protocols Decide Double-Exponential Thresholds}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {17:1--17:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.17}, URN = {urn:nbn:de:0030-drops-212438}, doi = {10.4230/LIPIcs.DISC.2024.17}, annote = {Keywords: Distributed computing, population protocols, state complexity} } @InProceedings{darchivio_et_al:LIPIcs.DISC.2024.18, author = {D'Archivio, Niccol\`{o} and Vacus, Robin}, title = {{On the Limits of Information Spread by Memory-Less Agents}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {18:1--18:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.18}, URN = {urn:nbn:de:0030-drops-212441}, doi = {10.4230/LIPIcs.DISC.2024.18}, annote = {Keywords: Opinion Dynamics, Consensus Protocols, Collective Animal Behavior, Lower Bound} } @InProceedings{dhulipala_et_al:LIPIcs.DISC.2024.19, author = {Dhulipala, Laxman and Dinitz, Michael and {\L}\k{a}cki, Jakub and Mitrovi\'{c}, Slobodan}, title = {{Parallel Set Cover and Hypergraph Matching via Uniform Random Sampling}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {19:1--19:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.19}, URN = {urn:nbn:de:0030-drops-212453}, doi = {10.4230/LIPIcs.DISC.2024.19}, annote = {Keywords: approximate maximum matching, set cover, hypergraph matching, PRAM, massively parallel computation} } @InProceedings{doty_et_al:LIPIcs.DISC.2024.20, author = {Doty, David and Heckmann, Ben}, title = {{The Computational Power of Discrete Chemical Reaction Networks with Bounded Executions}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {20:1--20:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.20}, URN = {urn:nbn:de:0030-drops-212469}, doi = {10.4230/LIPIcs.DISC.2024.20}, annote = {Keywords: chemical reaction networks, population protocols, stable computation} } @InProceedings{elhayek_et_al:LIPIcs.DISC.2024.21, author = {El-Hayek, Antoine and Henzinger, Monika and Schmid, Stefan}, title = {{Broadcast and Consensus in Stochastic Dynamic Networks with Byzantine Nodes and Adversarial Edges}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {21:1--21:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.21}, URN = {urn:nbn:de:0030-drops-212476}, doi = {10.4230/LIPIcs.DISC.2024.21}, annote = {Keywords: Broadcast, Smoothed Analysis, Stochastic Networks, Dynamic Networks} } @InProceedings{emek_et_al:LIPIcs.DISC.2024.22, author = {Emek, Yuval and Gil, Yuval and Harlev, Noga}, title = {{On the Power of Graphical Reconfigurable Circuits}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {22:1--22:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.22}, URN = {urn:nbn:de:0030-drops-212487}, doi = {10.4230/LIPIcs.DISC.2024.22}, annote = {Keywords: graphical reconfigurable circuits, bounded uniformity, beeping} } @InProceedings{fatourou_et_al:LIPIcs.DISC.2024.23, author = {Fatourou, Panagiota and Ruppert, Eric}, title = {{Lock-Free Augmented Trees}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {23:1--23:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.23}, URN = {urn:nbn:de:0030-drops-212499}, doi = {10.4230/LIPIcs.DISC.2024.23}, annote = {Keywords: shared-memory, data structure, tree, binary search tree, augmentation, linearizable, lock-free, order statistic, snapshot} } @InProceedings{flin_et_al:LIPIcs.DISC.2024.24, author = {Flin, Maxime and Halld\'{o}rsson, Magn\'{u}s M. and Nolin, Alexandre}, title = {{Decentralized Distributed Graph Coloring II: Degree+1-Coloring Virtual Graphs}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {24:1--24:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.24}, URN = {urn:nbn:de:0030-drops-212502}, doi = {10.4230/LIPIcs.DISC.2024.24}, annote = {Keywords: Graph Coloring, Distributed Algorithms, Virtual Graphs, Congestion, Dilation} } @InProceedings{fomin_et_al:LIPIcs.DISC.2024.25, author = {Fomin, Fedor V. and Fraigniaud, Pierre and Montealegre, Pedro and Rapaport, Ivan and Todinca, Ioan}, title = {{Distributed Model Checking on Graphs of Bounded Treedepth}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {25:1--25:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.25}, URN = {urn:nbn:de:0030-drops-212513}, doi = {10.4230/LIPIcs.DISC.2024.25}, annote = {Keywords: proof-labeling schemes, local computing, CONGEST model} } @InProceedings{frei_et_al:LIPIcs.DISC.2024.26, author = {Frei, Fabian and Gelles, Ran and Ghazy, Ahmed and Nolin, Alexandre}, title = {{Content-Oblivious Leader Election on Rings}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {26:1--26:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.26}, URN = {urn:nbn:de:0030-drops-212527}, doi = {10.4230/LIPIcs.DISC.2024.26}, annote = {Keywords: Content-Oblivious Computation, Faulty Communication, Leader Election, Ring Networks, Ring Orientation} } @InProceedings{gelles_et_al:LIPIcs.DISC.2024.27, author = {Gelles, Ran and Lotker, Zvi and Mallmann-Trenn, Frederik}, title = {{Sorting in One and Two Rounds Using t-Comparators}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {27:1--27:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.27}, URN = {urn:nbn:de:0030-drops-212539}, doi = {10.4230/LIPIcs.DISC.2024.27}, annote = {Keywords: Sorting, Steiner-System, Round Complexity, Deferred Randomness} } @InProceedings{giakkoupis_et_al:LIPIcs.DISC.2024.28, author = {Giakkoupis, George and Turau, Volker and Ziccardi, Isabella}, title = {{Self-Stabilizing MIS Computation in the Beeping Model}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {28:1--28:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.28}, URN = {urn:nbn:de:0030-drops-212540}, doi = {10.4230/LIPIcs.DISC.2024.28}, annote = {Keywords: Maximal Independent Set, Self-Stabilization, Beeping Model} } @InProceedings{giliberti_et_al:LIPIcs.DISC.2024.29, author = {Giliberti, Jeff and Parsaeian, Zahra}, title = {{Massively Parallel Ruling Set Made Deterministic}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {29:1--29:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.29}, URN = {urn:nbn:de:0030-drops-212551}, doi = {10.4230/LIPIcs.DISC.2024.29}, annote = {Keywords: deterministic algorithms, distributed computing, massively parallel computation, graph algorithms, derandomization} } @InProceedings{giridharan_et_al:LIPIcs.DISC.2024.30, author = {Giridharan, Neil and Abraham, Ittai and Crooks, Natacha and Nayak, Kartik and Ren, Ling}, title = {{Granular Synchrony}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {30:1--30:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.30}, URN = {urn:nbn:de:0030-drops-212566}, doi = {10.4230/LIPIcs.DISC.2024.30}, annote = {Keywords: Timing model, synchrony, asynchrony, consensus, blockchain, fault tolerance} } @InProceedings{halldorsson_et_al:LIPIcs.DISC.2024.31, author = {Halld\'{o}rsson, Magn\'{u}s M. and Maus, Yannic}, title = {{Distributed Delta-Coloring Under Bandwidth Limitations}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {31:1--31:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.31}, URN = {urn:nbn:de:0030-drops-212572}, doi = {10.4230/LIPIcs.DISC.2024.31}, annote = {Keywords: Graph problems, Graph coloring, Lov\'{a}sz local lemma, LOCAL model, CONGEST model, Distributed computing} } @InProceedings{li_et_al:LIPIcs.DISC.2024.32, author = {Li, Longcheng and Sun, Xiaoming and Zhu, Jiadong}, title = {{Quantum Byzantine Agreement Against Full-Information Adversary}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {32:1--32:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.32}, URN = {urn:nbn:de:0030-drops-212582}, doi = {10.4230/LIPIcs.DISC.2024.32}, annote = {Keywords: Byzantine agreement, Quantum computation, Full-information model} } @InProceedings{nataf_et_al:LIPIcs.DISC.2024.33, author = {Nataf, Ra\"{i}ssa and Moses, Yoram}, title = {{Communication Requirements for Linearizable Registers}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {33:1--33:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.33}, URN = {urn:nbn:de:0030-drops-212593}, doi = {10.4230/LIPIcs.DISC.2024.33}, annote = {Keywords: linearizability, atomic registers, asynchrony, message chains, real time} } @InProceedings{oh_et_al:LIPIcs.DISC.2024.34, author = {Oh, Shunhao and Briones, Joseph L. and Calvert, Jacob and Egan, Noah and Randall, Dana and Richa, Andr\'{e}a W.}, title = {{Single Bridge Formation in Self-Organizing Particle Systems}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {34:1--34:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.34}, URN = {urn:nbn:de:0030-drops-212606}, doi = {10.4230/LIPIcs.DISC.2024.34}, annote = {Keywords: Self-organizing particle systems, programmable matter, bridging, jump chain} } @InProceedings{parzych_et_al:LIPIcs.DISC.2024.35, author = {Parzych, Garrett and Daymude, Joshua J.}, title = {{Memory Lower Bounds and Impossibility Results for Anonymous Dynamic Broadcast}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {35:1--35:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.35}, URN = {urn:nbn:de:0030-drops-212615}, doi = {10.4230/LIPIcs.DISC.2024.35}, annote = {Keywords: Dynamic networks, anonymity, broadcast, space complexity, lower bounds, termination detection, stabilizing termination} } @InProceedings{petruschka_et_al:LIPIcs.DISC.2024.36, author = {Petruschka, Asaf and Spair, Shay and Tzalik, Elad}, title = {{Connectivity Labeling in Faulty Colored Graphs}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {36:1--36:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.36}, URN = {urn:nbn:de:0030-drops-212622}, doi = {10.4230/LIPIcs.DISC.2024.36}, annote = {Keywords: Labeling schemes, Fault-tolerance} } @InProceedings{shoup:LIPIcs.DISC.2024.37, author = {Shoup, Victor}, title = {{Sing a Song of Simplex}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {37:1--37:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.37}, URN = {urn:nbn:de:0030-drops-212649}, doi = {10.4230/LIPIcs.DISC.2024.37}, annote = {Keywords: Consensus, Atomic broadcast, Blockchain} } @InProceedings{sudo_et_al:LIPIcs.DISC.2024.38, author = {Sudo, Yuichi and Shibata, Masahiro and Nakamura, Junya and Kim, Yonghwan and Masuzawa, Toshimitsu}, title = {{Near-Linear Time Dispersion of Mobile Agents}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {38:1--38:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.38}, URN = {urn:nbn:de:0030-drops-212658}, doi = {10.4230/LIPIcs.DISC.2024.38}, annote = {Keywords: mobile agents, autonomous robots, dispersion} } @InProceedings{zhang_et_al:LIPIcs.DISC.2024.39, author = {Zhang, Qinzi and Tseng, Lewis}, title = {{The Power of Abstract MAC Layer: A Fault-Tolerance Perspective}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {39:1--39:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.39}, URN = {urn:nbn:de:0030-drops-212677}, doi = {10.4230/LIPIcs.DISC.2024.39}, annote = {Keywords: Abstract MAC Layer, Computation Power, Consensus} } @InProceedings{abdelhaleem_et_al:LIPIcs.DISC.2024.40, author = {Abd-Elhaleem, Yaseen and Dory, Michal and Parter, Merav and Weimann, Oren}, title = {{Brief Announcement: Distributed Maximum Flow in Planar Graphs}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {40:1--40:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.40}, URN = {urn:nbn:de:0030-drops-212687}, doi = {10.4230/LIPIcs.DISC.2024.40}, annote = {Keywords: Maximum flow, shortest paths, planar graphs, distributed computing} } @InProceedings{albouy_et_al:LIPIcs.DISC.2024.41, author = {Albouy, Timoth\'{e} and Frey, Davide and Gelles, Ran and Hazay, Carmit and Raynal, Michel and Schiller, Elad Michael and Ta\"{i}ani, Fran\c{c}ois and Zikas, Vassilis}, title = {{Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {41:1--41:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.41}, URN = {urn:nbn:de:0030-drops-212697}, doi = {10.4230/LIPIcs.DISC.2024.41}, annote = {Keywords: Asynchronous message-passing, Byzantine fault-tolerance, Message adversary, Reliable Broadcast} } @InProceedings{attiya_et_al:LIPIcs.DISC.2024.42, author = {Attiya, Hagit and Fraigniaud, Pierre and Paz, Ami and Rajsbaum, Sergio}, title = {{Brief Announcement: Solvability of Three-Process General Tasks}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {42:1--42:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.42}, URN = {urn:nbn:de:0030-drops-212700}, doi = {10.4230/LIPIcs.DISC.2024.42}, annote = {Keywords: Wait-free computing, lower bounds, topology} } @InProceedings{constantinescu_et_al:LIPIcs.DISC.2024.43, author = {Constantinescu, Andrei and Ghinea, Diana and Sliwinski, Jakub and Wattenhofer, Roger}, title = {{Brief Announcement: Unifying Partial Synchrony}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {43:1--43:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.43}, URN = {urn:nbn:de:0030-drops-212717}, doi = {10.4230/LIPIcs.DISC.2024.43}, annote = {Keywords: partial synchrony, unknown latency, global stabilization time} } @InProceedings{czerner_et_al:LIPIcs.DISC.2024.44, author = {Czerner, Philipp and Fischer, Vincent and Guttenberg, Roland}, title = {{Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {44:1--44:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.44}, URN = {urn:nbn:de:0030-drops-212726}, doi = {10.4230/LIPIcs.DISC.2024.44}, annote = {Keywords: Population Protocols, Uniform, Expressive Power} } @InProceedings{fan_et_al:LIPIcs.DISC.2024.45, author = {Fan, Lei and Katz, Jonathan and Lu, Zhenghao and Thai, Phuc and Zhou, Hong-Sheng}, title = {{Brief Announcement: Best-Possible Unpredictable Proof-Of-Stake}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {45:1--45:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.45}, URN = {urn:nbn:de:0030-drops-212731}, doi = {10.4230/LIPIcs.DISC.2024.45}, annote = {Keywords: blockchain, consensus, proof-of-stake, unpredictability} } @InProceedings{feletti_et_al:LIPIcs.DISC.2024.46, author = {Feletti, Caterina and Pattanayak, Debasish and Sharma, Gokarna}, title = {{Brief Announcement: Optimal Uniform Circle Formation by Asynchronous Luminous Robots}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {46:1--46:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.46}, URN = {urn:nbn:de:0030-drops-212748}, doi = {10.4230/LIPIcs.DISC.2024.46}, annote = {Keywords: Uniform Circle Formation, Robots with Lights, Autonomous Robots, Rank Encoding, Time and Color Complexities, Computational SEC} } @InProceedings{fraigniaud_et_al:LIPIcs.DISC.2024.47, author = {Fraigniaud, Pierre and Nguyen, Minh Hang and Paz, Ami}, title = {{Brief Announcement: Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structures}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {47:1--47:5}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.47}, URN = {urn:nbn:de:0030-drops-212755}, doi = {10.4230/LIPIcs.DISC.2024.47}, annote = {Keywords: Consensus, set-agreement, fault tolerance, crash failures} } @InProceedings{frei_et_al:LIPIcs.DISC.2024.48, author = {Frei, Fabian and Wada, Koichi}, title = {{Brief Announcement: Distinct Gathering Under Round Robin}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {48:1--48:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.48}, URN = {urn:nbn:de:0030-drops-212768}, doi = {10.4230/LIPIcs.DISC.2024.48}, annote = {Keywords: Autonomous mobile robots, Distinct Gathering, Round Robin} } @InProceedings{kristan_et_al:LIPIcs.DISC.2024.49, author = {K\v{r}i\v{s}\v{t}an, Jan Maty\'{a}\v{s} and Sedl\'{a}\v{c}ek, Josef Erik}, title = {{Brief Announcement: Decreasing Verification Radius in Local Certification}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {49:1--49:6}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.49}, URN = {urn:nbn:de:0030-drops-212773}, doi = {10.4230/LIPIcs.DISC.2024.49}, annote = {Keywords: Local certification, locally checkable proofs, proof-labeling schemes, graphs, distributed computing} } @InProceedings{kshemkalyani_et_al:LIPIcs.DISC.2024.50, author = {Kshemkalyani, Ajay D. and Kumar, Manish and Molla, Anisur Rahaman and Sharma, Gokarna}, title = {{Brief Announcement: Agent-Based Leader Election, MST, and Beyond}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {50:1--50:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.50}, URN = {urn:nbn:de:0030-drops-212782}, doi = {10.4230/LIPIcs.DISC.2024.50}, annote = {Keywords: Distributed algorithms, mobile agents, local communication, leader election, MST, MIS, gathering, minimal dominating sets, time and memory complexity, graph parameters} } @InProceedings{lenzen_et_al:LIPIcs.DISC.2024.51, author = {Lenzen, Christoph and Srinivas, Shreyas}, title = {{Brief Announcement: Clock Distribution with Gradient TRIX}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {51:1--51:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.51}, URN = {urn:nbn:de:0030-drops-212791}, doi = {10.4230/LIPIcs.DISC.2024.51}, annote = {Keywords: local skew, gradient clock synchronisation, average-case fault-tolerance, self-stabilisation, Systems-on-Chip} } @InProceedings{li_et_al:LIPIcs.DISC.2024.52, author = {Li, Xiao and Lesani, Mohsen}, title = {{Brief Announcement: Reconfigurable Heterogeneous Quorum Systems}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {52:1--52:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.52}, URN = {urn:nbn:de:0030-drops-212804}, doi = {10.4230/LIPIcs.DISC.2024.52}, annote = {Keywords: Quorum Systems, Reconfiguration, Heterogeneity} } @InProceedings{sela_et_al:LIPIcs.DISC.2024.53, author = {Sela, Gal and Petrank, Erez}, title = {{Brief Announcement: Concurrent Aggregate Queries}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {53:1--53:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.53}, URN = {urn:nbn:de:0030-drops-212819}, doi = {10.4230/LIPIcs.DISC.2024.53}, annote = {Keywords: Concurrent Algorithms, Concurrent Data Structures, Aggregate queries, Range queries, Binary Search Tree, Linearizability} } @InProceedings{shi_et_al:LIPIcs.DISC.2024.54, author = {Shi, Yusong and Liu, Weidong}, title = {{Brief Announcement: Colorless Tasks and Extension-Based Proofs}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {54:1--54:6}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.54}, URN = {urn:nbn:de:0030-drops-212821}, doi = {10.4230/LIPIcs.DISC.2024.54}, annote = {Keywords: Colorless tasks, Impossibility proofs, Extension-based proof} } @InProceedings{sudo_et_al:LIPIcs.DISC.2024.55, author = {Sudo, Yuichi and Ooshita, Fukuhito and Kamei, Sayaka}, title = {{Brief Announcement: Self-Stabilizing Graph Exploration by a Single Agent}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {55:1--55:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.55}, URN = {urn:nbn:de:0030-drops-212832}, doi = {10.4230/LIPIcs.DISC.2024.55}, annote = {Keywords: mobile agents, self-stabilization, graph exploration} }