@Proceedings{attiya:LIPIcs.DISC.2020, title = {{LIPIcs, Volume 179, DISC 2020, Complete Volume}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {1--768}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020}, URN = {urn:nbn:de:0030-drops-130777}, doi = {10.4230/LIPIcs.DISC.2020}, annote = {Keywords: LIPIcs, Volume 179, DISC 2020, Complete Volume} } @InProceedings{attiya:LIPIcs.DISC.2020.0, author = {Attiya, Hagit}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {0:i--0:xviii}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.0}, URN = {urn:nbn:de:0030-drops-130787}, doi = {10.4230/LIPIcs.DISC.2020.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{assadi_et_al:LIPIcs.DISC.2020.1, author = {Assadi, Sepehr and Bernstein, Aaron and Langley, Zachary}, title = {{Improved Bounds for Distributed Load Balancing}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {1:1--1:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.1}, URN = {urn:nbn:de:0030-drops-130798}, doi = {10.4230/LIPIcs.DISC.2020.1}, annote = {Keywords: Load Balancing, Distributed Algorithms, Matching, Semi-Matching} } @InProceedings{rinberg_et_al:LIPIcs.DISC.2020.2, author = {Rinberg, Arik and Keidar, Idit}, title = {{Intermediate Value Linearizability: A Quantitative Correctness Criterion}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {2:1--2:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.2}, URN = {urn:nbn:de:0030-drops-130801}, doi = {10.4230/LIPIcs.DISC.2020.2}, annote = {Keywords: concurrency, concurrent objects, linearizability} } @InProceedings{aksenov_et_al:LIPIcs.DISC.2020.3, author = {Aksenov, Vitaly and Alistarh, Dan and Drozdova, Alexandra and Mohtashami, Amirkeivan}, title = {{The Splay-List: A Distribution-Adaptive Concurrent Skip-List}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {3:1--3:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.3}, URN = {urn:nbn:de:0030-drops-130818}, doi = {10.4230/LIPIcs.DISC.2020.3}, annote = {Keywords: Data structures, self-adjusting, concurrency} } @InProceedings{guerraoui_et_al:LIPIcs.DISC.2020.4, author = {Guerraoui, Rachid and Kogan, Alex and Marathe, Virendra J. and Zablotchi, Igor}, title = {{Efficient Multi-Word Compare and Swap}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {4:1--4:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.4}, URN = {urn:nbn:de:0030-drops-130827}, doi = {10.4230/LIPIcs.DISC.2020.4}, annote = {Keywords: lock-free, multi-word compare-and-swap, persistent memory} } @InProceedings{blelloch_et_al:LIPIcs.DISC.2020.5, author = {Blelloch, Guy E. and Wei, Yuanhao}, title = {{LL/SC and Atomic Copy: Constant Time, Space Efficient Implementations Using Only Pointer-Width CAS}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {5:1--5:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.5}, URN = {urn:nbn:de:0030-drops-130831}, doi = {10.4230/LIPIcs.DISC.2020.5}, annote = {Keywords: LL/SC, Atomic Copy, CAS, Constant Time} } @InProceedings{amir_et_al:LIPIcs.DISC.2020.6, author = {Amir, Talley and Aspnes, James and Doty, David and Eftekhari, Mahsa and Severson, Eric}, title = {{Message Complexity of Population Protocols}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {6:1--6:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.6}, URN = {urn:nbn:de:0030-drops-130848}, doi = {10.4230/LIPIcs.DISC.2020.6}, annote = {Keywords: population protocol, message complexity, space-optimal} } @InProceedings{cho_et_al:LIPIcs.DISC.2020.7, author = {Cho, Da-Jung and F\"{u}gger, Matthias and Hopper, Corbin and Kushwaha, Manish and Nowak, Thomas and Soubeyran, Quentin}, title = {{Distributed Computation with Continual Population Growth}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {7:1--7:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.7}, URN = {urn:nbn:de:0030-drops-130856}, doi = {10.4230/LIPIcs.DISC.2020.7}, annote = {Keywords: microbiological circuits, majority consensus, birth-death processes} } @InProceedings{bellet_et_al:LIPIcs.DISC.2020.8, author = {Bellet, Aur\'{e}lien and Guerraoui, Rachid and Hendrikx, Hadrien}, title = {{Who Started This Rumor? Quantifying the Natural Differential Privacy of Gossip Protocols}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {8:1--8:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.8}, URN = {urn:nbn:de:0030-drops-130868}, doi = {10.4230/LIPIcs.DISC.2020.8}, annote = {Keywords: Gossip Protocol, Rumor Spreading, Differential Privacy} } @InProceedings{giakkoupis_et_al:LIPIcs.DISC.2020.9, author = {Giakkoupis, George and Saribekyan, Hayk and Sauerwald, Thomas}, title = {{Spread of Information and Diseases via Random Walks in Sparse Graphs}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {9:1--9:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.9}, URN = {urn:nbn:de:0030-drops-130873}, doi = {10.4230/LIPIcs.DISC.2020.9}, annote = {Keywords: parallel random walks, information dissemination, infectious diseases} } @InProceedings{hitron_et_al:LIPIcs.DISC.2020.10, author = {Hitron, Yael and Musco, Cameron and Parter, Merav}, title = {{Spiking Neural Networks Through the Lens of Streaming Algorithms}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {10:1--10:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.10}, URN = {urn:nbn:de:0030-drops-130882}, doi = {10.4230/LIPIcs.DISC.2020.10}, annote = {Keywords: Biological distributed algorithms, Spiking neural networks, Streaming algorithms} } @InProceedings{defago_et_al:LIPIcs.DISC.2020.11, author = {D\'{e}fago, Xavier and Emek, Yuval and Kutten, Shay and Masuzawa, Toshimitsu and Tamura, Yasumasa}, title = {{Communication Efficient Self-Stabilizing Leader Election}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {11:1--11:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.11}, URN = {urn:nbn:de:0030-drops-130892}, doi = {10.4230/LIPIcs.DISC.2020.11}, annote = {Keywords: self-stabilization, leader election, communication overhead} } @InProceedings{diluna_et_al:LIPIcs.DISC.2020.12, author = {Di Luna, Giuseppe A. and Uehara, Ryuhei and Viglietta, Giovanni and Yamauchi, Yukiko}, title = {{Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {12:1--12:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.12}, URN = {urn:nbn:de:0030-drops-130907}, doi = {10.4230/LIPIcs.DISC.2020.12}, annote = {Keywords: Mobile robots, Gathering, limited visibility, circle} } @InProceedings{brandt_et_al:LIPIcs.DISC.2020.13, author = {Brandt, Sebastian and Portmann, Julian and Uitto, Jara}, title = {{Tight Bounds for Deterministic High-Dimensional Grid Exploration}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {13:1--13:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.13}, URN = {urn:nbn:de:0030-drops-130911}, doi = {10.4230/LIPIcs.DISC.2020.13}, annote = {Keywords: Mobile agents, finite automata, grid search} } @InProceedings{goren_et_al:LIPIcs.DISC.2020.14, author = {Goren, Guy and Vargaftik, Shay and Moses, Yoram}, title = {{Distributed Dispatching in the Parallel Server Model}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {14:1--14:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.14}, URN = {urn:nbn:de:0030-drops-130929}, doi = {10.4230/LIPIcs.DISC.2020.14}, annote = {Keywords: Distributed load balancing, Join the Shortest Queue, Tidal Water Filling, Parallel Server Model} } @InProceedings{su_et_al:LIPIcs.DISC.2020.15, author = {Su, Hsin-Hao and Vu, Hoa T.}, title = {{Distributed Dense Subgraph Detection and Low Outdegree Orientation}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {15:1--15:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.15}, URN = {urn:nbn:de:0030-drops-130938}, doi = {10.4230/LIPIcs.DISC.2020.15}, annote = {Keywords: Distributed Algorithms, Network Algorithms} } @InProceedings{maus_et_al:LIPIcs.DISC.2020.16, author = {Maus, Yannic and Tonoyan, Tigran}, title = {{Local Conflict Coloring Revisited: Linial for Lists}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {16:1--16:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.16}, URN = {urn:nbn:de:0030-drops-130944}, doi = {10.4230/LIPIcs.DISC.2020.16}, annote = {Keywords: distributed graph coloring, list coloring, low intersecting set families} } @InProceedings{balliu_et_al:LIPIcs.DISC.2020.17, author = {Balliu, Alkida and Brandt, Sebastian and Efron, Yuval and Hirvonen, Juho and Maus, Yannic and Olivetti, Dennis and Suomela, Jukka}, title = {{Classification of Distributed Binary Labeling Problems}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {17:1--17:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.17}, URN = {urn:nbn:de:0030-drops-130957}, doi = {10.4230/LIPIcs.DISC.2020.17}, annote = {Keywords: LOCAL model, graph problems, locally checkable labeling problems, distributed computational complexity} } @InProceedings{chang:LIPIcs.DISC.2020.18, author = {Chang, Yi-Jun}, title = {{The Complexity Landscape of Distributed Locally Checkable Problems on Trees}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {18:1--18:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.18}, URN = {urn:nbn:de:0030-drops-130964}, doi = {10.4230/LIPIcs.DISC.2020.18}, annote = {Keywords: Distributed algorithms, LOCAL model, locally checkable labeling} } @InProceedings{grossman_et_al:LIPIcs.DISC.2020.19, author = {Grossman, Ofer and Khoury, Seri and Paz, Ami}, title = {{Improved Hardness of Approximation of Diameter in the CONGEST Model}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {19:1--19:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.19}, URN = {urn:nbn:de:0030-drops-130972}, doi = {10.4230/LIPIcs.DISC.2020.19}, annote = {Keywords: Distributed graph algorithms, Approximation algorithms, Lower bounds} } @InProceedings{emek_et_al:LIPIcs.DISC.2020.20, author = {Emek, Yuval and Gil, Yuval}, title = {{Twenty-Two New Approximate Proof Labeling Schemes}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {20:1--20:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.20}, URN = {urn:nbn:de:0030-drops-130983}, doi = {10.4230/LIPIcs.DISC.2020.20}, annote = {Keywords: proof labeling schemes, distributed graph problems, approximation algorithms} } @InProceedings{parter:LIPIcs.DISC.2020.21, author = {Parter, Merav}, title = {{Distributed Constructions of Dual-Failure Fault-Tolerant Distance Preservers}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {21:1--21:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.21}, URN = {urn:nbn:de:0030-drops-130992}, doi = {10.4230/LIPIcs.DISC.2020.21}, annote = {Keywords: Fault Tolerance, Distance Preservers, CONGEST} } @InProceedings{kutten_et_al:LIPIcs.DISC.2020.22, author = {Kutten, Shay and Moses Jr., William K. and Pandurangan, Gopal and Peleg, David}, title = {{Singularly Optimal Randomized Leader Election}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {22:1--22:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.22}, URN = {urn:nbn:de:0030-drops-131002}, doi = {10.4230/LIPIcs.DISC.2020.22}, annote = {Keywords: Leader election, Asynchronous systems, Randomized algorithms, Singularly optimal, Complete networks} } @InProceedings{bravo_et_al:LIPIcs.DISC.2020.23, author = {Bravo, Manuel and Chockler, Gregory and Gotsman, Alexey}, title = {{Making Byzantine Consensus Live}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {23:1--23:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.23}, URN = {urn:nbn:de:0030-drops-131013}, doi = {10.4230/LIPIcs.DISC.2020.23}, annote = {Keywords: Byzantine consensus, blockchain, partial synchrony, liveness} } @InProceedings{francarezende_et_al:LIPIcs.DISC.2020.24, author = {Fran\c{c}a Rezende, Tuanir and Sutra, Pierre}, title = {{Leaderless State-Machine Replication: Specification, Properties, Limits}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {24:1--24:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.24}, URN = {urn:nbn:de:0030-drops-131024}, doi = {10.4230/LIPIcs.DISC.2020.24}, annote = {Keywords: Fault Tolerance, State Machine Replication, Consensus} } @InProceedings{cohen_et_al:LIPIcs.DISC.2020.25, author = {Cohen, Shir and Keidar, Idit and Spiegelman, Alexander}, title = {{Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {25:1--25:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.25}, URN = {urn:nbn:de:0030-drops-131034}, doi = {10.4230/LIPIcs.DISC.2020.25}, annote = {Keywords: shared coin, Byzantine Agreement, VRF, sub-quadratic consensus protocol} } @InProceedings{naor_et_al:LIPIcs.DISC.2020.26, author = {Naor, Oded and Keidar, Idit}, title = {{Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {26:1--26:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.26}, URN = {urn:nbn:de:0030-drops-131046}, doi = {10.4230/LIPIcs.DISC.2020.26}, annote = {Keywords: Distributed Systems, State Machine Replication} } @InProceedings{kuznetsov_et_al:LIPIcs.DISC.2020.27, author = {Kuznetsov, Petr and Tonkikh, Andrei}, title = {{Asynchronous Reconfiguration with Byzantine Failures}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {27:1--27:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.27}, URN = {urn:nbn:de:0030-drops-131054}, doi = {10.4230/LIPIcs.DISC.2020.27}, annote = {Keywords: Reconfiguration, Asynchronous Models, Byzantine Faults} } @InProceedings{nayak_et_al:LIPIcs.DISC.2020.28, author = {Nayak, Kartik and Ren, Ling and Shi, Elaine and Vaidya, Nitin H. and Xiang, Zhuolun}, title = {{Improved Extension Protocols for Byzantine Broadcast and Agreement}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {28:1--28:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.28}, URN = {urn:nbn:de:0030-drops-131064}, doi = {10.4230/LIPIcs.DISC.2020.28}, annote = {Keywords: Byzantine agreement, Byzantine broadcast, extension protocol, communication complexity} } @InProceedings{ghinea_et_al:LIPIcs.DISC.2020.29, author = {Ghinea, Diana and Hirt, Martin and Liu-Zhang, Chen-Da}, title = {{From Partial to Global Asynchronous Reliable Broadcast}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {29:1--29:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.29}, URN = {urn:nbn:de:0030-drops-131074}, doi = {10.4230/LIPIcs.DISC.2020.29}, annote = {Keywords: asynchronous broadcast, partial broadcast} } @InProceedings{chlebus_et_al:LIPIcs.DISC.2020.30, author = {Chlebus, Bogdan S. and Kowalski, Dariusz R. and Olkowski, Jan}, title = {{Fast Agreement in Networks with Byzantine Nodes}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {30:1--30:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.30}, URN = {urn:nbn:de:0030-drops-131088}, doi = {10.4230/LIPIcs.DISC.2020.30}, annote = {Keywords: distributed algorithm, network, Consensus, Byzantine fault, message authentication, node crash, lower bound} } @InProceedings{augustine_et_al:LIPIcs.DISC.2020.31, author = {Augustine, John and King, Valerie and Molla, Anisur Rahaman and Pandurangan, Gopal and Saia, Jared}, title = {{Scalable and Secure Computation Among Strangers: Message-Competitive Byzantine Protocols}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {31:1--31:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.31}, URN = {urn:nbn:de:0030-drops-131093}, doi = {10.4230/LIPIcs.DISC.2020.31}, annote = {Keywords: Byzantine protocols, Byzantine agreement, Leader election, Committee election, Message-competitive protocol, Randomized protocol} } @InProceedings{zheng_et_al:LIPIcs.DISC.2020.32, author = {Zheng, Xiong and Garg, Vijay}, title = {{Byzantine Lattice Agreement in Synchronous Message Passing Systems}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {32:1--32:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.32}, URN = {urn:nbn:de:0030-drops-131106}, doi = {10.4230/LIPIcs.DISC.2020.32}, annote = {Keywords: Lattice agreement, Byzantine Failure, Gradecast} } @InProceedings{censorhillel_et_al:LIPIcs.DISC.2020.33, author = {Censor-Hillel, Keren and Fischer, Orr and Gonen, Tzlil and Le Gall, Fran\c{c}ois and Leitersdorf, Dean and Oshman, Rotem}, title = {{Fast Distributed Algorithms for Girth, Cycles and Small Subgraphs}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {33:1--33:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.33}, URN = {urn:nbn:de:0030-drops-131115}, doi = {10.4230/LIPIcs.DISC.2020.33}, annote = {Keywords: distributed graph algorithms, cycles, girth, Congested Clique, CONGEST} } @InProceedings{ghaffari_et_al:LIPIcs.DISC.2020.34, author = {Ghaffari, Mohsen and Grunau, Christoph and Jin, Ce}, title = {{Improved MPC Algorithms for MIS, Matching, and Coloring on Trees and Beyond}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {34:1--34:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.34}, URN = {urn:nbn:de:0030-drops-131128}, doi = {10.4230/LIPIcs.DISC.2020.34}, annote = {Keywords: Massively Parallel Computation, MIS, Matching, Coloring} } @InProceedings{kawarabayashi_et_al:LIPIcs.DISC.2020.35, author = {Kawarabayashi, Ken-ichi and Khoury, Seri and Schild, Aaron and Schwartzman, Gregory}, title = {{Improved Distributed Approximations for Maximum Independent Set}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {35:1--35:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.35}, URN = {urn:nbn:de:0030-drops-131135}, doi = {10.4230/LIPIcs.DISC.2020.35}, annote = {Keywords: Distributed graph algorithms, Approximation algorithms, Lower bounds} } @InProceedings{meir_et_al:LIPIcs.DISC.2020.36, author = {Meir, Uri and Paz, Ami and Schwartzman, Gregory}, title = {{Models of Smoothing in Dynamic Networks}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {36:1--36:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.36}, URN = {urn:nbn:de:0030-drops-131145}, doi = {10.4230/LIPIcs.DISC.2020.36}, annote = {Keywords: Distributed dynamic graph algorithms, Smoothed analysis, Flooding} } @InProceedings{ahmadi_et_al:LIPIcs.DISC.2020.37, author = {Ahmadi, Mohamad and Kuhn, Fabian}, title = {{Distributed Maximum Matching Verification in CONGEST}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {37:1--37:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.37}, URN = {urn:nbn:de:0030-drops-131151}, doi = {10.4230/LIPIcs.DISC.2020.37}, annote = {Keywords: distributed matching, distributed graph algorithms, augmenting paths} } @InProceedings{parter:LIPIcs.DISC.2020.38, author = {Parter, Merav}, title = {{Distributed Planar Reachability in Nearly Optimal Time}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {38:1--38:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.38}, URN = {urn:nbn:de:0030-drops-131160}, doi = {10.4230/LIPIcs.DISC.2020.38}, annote = {Keywords: Distributed Graph Algorithms, Planar Graphs, Reachability} } @InProceedings{halldorsson_et_al:LIPIcs.DISC.2020.39, author = {Halld\'{o}rsson, Magn\'{u}s M. and Kuhn, Fabian and Maus, Yannic and Nolin, Alexandre}, title = {{Coloring Fast Without Learning Your Neighbors' Colors}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {39:1--39:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.39}, URN = {urn:nbn:de:0030-drops-131170}, doi = {10.4230/LIPIcs.DISC.2020.39}, annote = {Keywords: distributed graph coloring, distance 2 coloring, congestion} } @InProceedings{brandt_et_al:LIPIcs.DISC.2020.40, author = {Brandt, Sebastian and Keller, Barbara and Rybicki, Joel and Suomela, Jukka and Uitto, Jara}, title = {{Brief Announcement: Efficient Load-Balancing Through Distributed Token Dropping}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {40:1--40:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.40}, URN = {urn:nbn:de:0030-drops-131182}, doi = {10.4230/LIPIcs.DISC.2020.40}, annote = {Keywords: distributed algorithms, graph problems, semi-matching} } @InProceedings{chang_et_al:LIPIcs.DISC.2020.41, author = {Chang, Yi-Jun and Studen\'{y}, Jan and Suomela, Jukka}, title = {{Brief Announcement: Distributed Graph Problems Through an Automata-Theoretic Lens}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {41:1--41:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.41}, URN = {urn:nbn:de:0030-drops-131197}, doi = {10.4230/LIPIcs.DISC.2020.41}, annote = {Keywords: Algorithm synthesis, locally checkable labeling problems, LOCAL model, locality, distributed computational complexity, nondeterministic finite automata} } @InProceedings{cruciani_et_al:LIPIcs.DISC.2020.42, author = {Cruciani, Emilio and Mimun, Hlafo Alfie and Quattropani, Matteo and Rizzo, Sara}, title = {{Brief Announcement: Phase Transitions of the k-Majority Dynamics in a Biased Communication Model}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {42:1--42:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.42}, URN = {urn:nbn:de:0030-drops-131200}, doi = {10.4230/LIPIcs.DISC.2020.42}, annote = {Keywords: Biased Communication, Consensus, Majority Dynamics, Markov Chains, Metastability} } @InProceedings{fraigniaud_et_al:LIPIcs.DISC.2020.43, author = {Fraigniaud, Pierre and Le Gall, Fran\c{c}ois and Nishimura, Harumichi and Paz, Ami}, title = {{Brief Announcement: Distributed Quantum Proofs for Replicated Data}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {43:1--43:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.43}, URN = {urn:nbn:de:0030-drops-131217}, doi = {10.4230/LIPIcs.DISC.2020.43}, annote = {Keywords: Quantum Computing, Distributed Network Computing, Algorithmic Aspects of Networks} } @InProceedings{choudhury:LIPIcs.DISC.2020.44, author = {Choudhury, Ashish}, title = {{Brief Announcement: Optimally-Resilient Unconditionally-Secure Asynchronous Multi-Party Computation Revisited}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {44:1--44:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.44}, URN = {urn:nbn:de:0030-drops-131223}, doi = {10.4230/LIPIcs.DISC.2020.44}, annote = {Keywords: Verifiable Secret-sharing, Secure MPC, Fault-tolerance, Byzantine faults, secret-sharing, unconditional-security, privacy} } @InProceedings{civit_et_al:LIPIcs.DISC.2020.45, author = {Civit, Pierre and Gilbert, Seth and Gramoli, Vincent}, title = {{Brief Announcement: Polygraph: Accountable Byzantine Agreement}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {45:1--45:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.45}, URN = {urn:nbn:de:0030-drops-131236}, doi = {10.4230/LIPIcs.DISC.2020.45}, annote = {Keywords: Fault detection, cryptography, equivocation, consensus} } @InProceedings{foerster_et_al:LIPIcs.DISC.2020.46, author = {Foerster, Klaus-Tycho and Hirvonen, Juho and Pignolet, Yvonne-Anne and Schmid, Stefan and Tredan, Gilles}, title = {{Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {46:1--46:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.46}, URN = {urn:nbn:de:0030-drops-131244}, doi = {10.4230/LIPIcs.DISC.2020.46}, annote = {Keywords: Resilience, Local Failover} } @InProceedings{abraham_et_al:LIPIcs.DISC.2020.47, author = {Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun}, title = {{Brief Announcement: Byzantine Agreement, Broadcast and State Machine Replication with Optimal Good-Case Latency}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {47:1--47:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.47}, URN = {urn:nbn:de:0030-drops-131259}, doi = {10.4230/LIPIcs.DISC.2020.47}, annote = {Keywords: Byzantine broadcast, synchrony, latency, state machine replication} } @InProceedings{hirt_et_al:LIPIcs.DISC.2020.48, author = {Hirt, Martin and Kastrati, Ard and Liu-Zhang, Chen-Da}, title = {{Brief Announcement: Multi-Threshold Asynchronous Reliable Broadcast and Consensus}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {48:1--48:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.48}, URN = {urn:nbn:de:0030-drops-131267}, doi = {10.4230/LIPIcs.DISC.2020.48}, annote = {Keywords: broadcast, byzantine agreement, multi-threshold} } @InProceedings{zappala_et_al:LIPIcs.DISC.2020.49, author = {Zappal\`{a}, Paolo and Belotti, Marianna and Potop-Butucaru, Maria and Secci, Stefano}, title = {{Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {49:1--49:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.49}, URN = {urn:nbn:de:0030-drops-131275}, doi = {10.4230/LIPIcs.DISC.2020.49}, annote = {Keywords: Blockchains, Game Theory, Byzantine-Altruistic-Rational behaviours} } @InProceedings{adas_et_al:LIPIcs.DISC.2020.50, author = {Adas, Dolev and Friedman, Roy}, title = {{Brief Announcement: Jiffy: A Fast, Memory Efficient, Wait-Free Multi-Producers Single-Consumer Queue}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {50:1--50:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.50}, URN = {urn:nbn:de:0030-drops-131287}, doi = {10.4230/LIPIcs.DISC.2020.50}, annote = {Keywords: Wait-freedom, MPSC Queues, Concurrent data-structures} } @InProceedings{blelloch_et_al:LIPIcs.DISC.2020.51, author = {Blelloch, Guy E. and Wei, Yuanhao}, title = {{Brief Announcement: Concurrent Fixed-Size Allocation and Free in Constant Time}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {51:1--51:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.51}, URN = {urn:nbn:de:0030-drops-131291}, doi = {10.4230/LIPIcs.DISC.2020.51}, annote = {Keywords: malloc, free, fixed-size, concurrent, constant time} } @InProceedings{wen_et_al:LIPIcs.DISC.2020.52, author = {Wen, Haosen and Cai, Wentao and Du, Mingzhe and Valpey, Benjamin and Scott, Michael L.}, title = {{Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {52:1--52:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.52}, URN = {urn:nbn:de:0030-drops-131304}, doi = {10.4230/LIPIcs.DISC.2020.52}, annote = {Keywords: Durable linearizability, consistency, persistence, fault tolerance} } @InProceedings{tseng_et_al:LIPIcs.DISC.2020.53, author = {Tseng, Lewis and Zhang, Qinzi and Zhang, Yifan}, title = {{Brief Announcement: Reaching Approximate Consensus When Everyone May Crash}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {53:1--53:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.53}, URN = {urn:nbn:de:0030-drops-131319}, doi = {10.4230/LIPIcs.DISC.2020.53}, annote = {Keywords: Approximate Consensus, Fair-loss Channel, Crash-recovery} } @InProceedings{kuznetsov_et_al:LIPIcs.DISC.2020.54, author = {Kuznetsov, Petr and Rieutord, Thibault}, title = {{Brief Announcement: On Decidability of 2-Process Affine Models}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {54:1--54:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.54}, URN = {urn:nbn:de:0030-drops-131328}, doi = {10.4230/LIPIcs.DISC.2020.54}, annote = {Keywords: Affine tasks, Decidability} }