Portal - DISC 2020

DISC 2020	October 12-16, 2020, Virtual Conference
34th International Symposium on Distributed Computing (DISC 2020) Hagit Attiya (Ed.)
ISBN 978-3-95977-168-9, LIPICS Vol. 179	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 29 MB)
Search Publication Server

Authors

Foerster, Klaus-Tycho

Fraigniaud, Pierre

França Rezende, Tuanir

Halldórsson, Magnús M.

Kawarabayashi, Ken-ichi

Mohtashami, Amirkeivan

Molla, Anisur Rahaman

Moses Jr., William K.

Pignolet, Yvonne-Anne

Portmann, Julian

Potop-Butucaru, Maria

Spiegelman, Alexander

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Attiya, Hagit

Abstract | Document (1,221 KB) | BibTeX

Improved Bounds for Distributed Load Balancing

Authors: Assadi, Sepehr ; Bernstein, Aaron ; Langley, Zachary

Abstract | Document (557 KB) | BibTeX

Intermediate Value Linearizability: A Quantitative Correctness Criterion

Authors: Rinberg, Arik ; Keidar, Idit

Abstract | Document (628 KB) | BibTeX

The Splay-List: A Distribution-Adaptive Concurrent Skip-List

Authors: Aksenov, Vitaly ; Alistarh, Dan ; Drozdova, Alexandra ; Mohtashami, Amirkeivan

Abstract | Document (723 KB) | BibTeX

Efficient Multi-Word Compare and Swap

Authors: Guerraoui, Rachid ; Kogan, Alex ; Marathe, Virendra J. ; Zablotchi, Igor

Abstract | Document (620 KB) | BibTeX

LL/SC and Atomic Copy: Constant Time, Space Efficient Implementations Using Only Pointer-Width CAS

Authors: Blelloch, Guy E. ; Wei, Yuanhao

Abstract | Document (496 KB) | BibTeX

Message Complexity of Population Protocols

Authors: Amir, Talley ; Aspnes, James ; Doty, David ; Eftekhari, Mahsa ; Severson, Eric

Abstract | Document (683 KB) | BibTeX

Distributed Computation with Continual Population Growth

Authors: Cho, Da-Jung ; Függer, Matthias ; Hopper, Corbin ; Kushwaha, Manish ; Nowak, Thomas ; Soubeyran, Quentin

Abstract | Document (1,054 KB) | BibTeX

Who Started This Rumor? Quantifying the Natural Differential Privacy of Gossip Protocols

Authors: Bellet, Aurélien ; Guerraoui, Rachid ; Hendrikx, Hadrien

Abstract | Document (655 KB) | BibTeX

Spread of Information and Diseases via Random Walks in Sparse Graphs

Authors: Giakkoupis, George ; Saribekyan, Hayk ; Sauerwald, Thomas

Abstract | Document (561 KB) | BibTeX

Spiking Neural Networks Through the Lens of Streaming Algorithms

Authors: Hitron, Yael ; Musco, Cameron ; Parter, Merav

Abstract | Document (492 KB) | BibTeX

Communication Efficient Self-Stabilizing Leader Election

Authors: Défago, Xavier ; Emek, Yuval ; Kutten, Shay ; Masuzawa, Toshimitsu ; Tamura, Yasumasa

Abstract | Document (548 KB) | BibTeX

Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots

Authors: Di Luna, Giuseppe A. ; Uehara, Ryuhei ; Viglietta, Giovanni ; Yamauchi, Yukiko

Abstract | Document (524 KB) | BibTeX

Tight Bounds for Deterministic High-Dimensional Grid Exploration

Authors: Brandt, Sebastian ; Portmann, Julian ; Uitto, Jara

Abstract | Document (511 KB) | BibTeX

Distributed Dispatching in the Parallel Server Model

Authors: Goren, Guy ; Vargaftik, Shay ; Moses, Yoram

Abstract | Document (1,061 KB) | BibTeX

Distributed Dense Subgraph Detection and Low Outdegree Orientation

Authors: Su, Hsin-Hao ; Vu, Hoa T.

Abstract | Document (640 KB) | BibTeX

Local Conflict Coloring Revisited: Linial for Lists

Authors: Maus, Yannic ; Tonoyan, Tigran

Abstract | Document (590 KB) | BibTeX

Classification of Distributed Binary Labeling Problems

Authors: Balliu, Alkida ; Brandt, Sebastian ; Efron, Yuval ; Hirvonen, Juho ; Maus, Yannic ; Olivetti, Dennis ; Suomela, Jukka

Abstract | Document (541 KB) | BibTeX

The Complexity Landscape of Distributed Locally Checkable Problems on Trees

Authors: Chang, Yi-Jun

Abstract | Document (959 KB) | BibTeX

Improved Hardness of Approximation of Diameter in the CONGEST Model

Authors: Grossman, Ofer ; Khoury, Seri ; Paz, Ami

Abstract | Document (1,066 KB) | BibTeX

Twenty-Two New Approximate Proof Labeling Schemes

Authors: Emek, Yuval ; Gil, Yuval

Abstract | Document (509 KB) | BibTeX

Distributed Constructions of Dual-Failure Fault-Tolerant Distance Preservers

Authors: Parter, Merav

Abstract | Document (691 KB) | BibTeX

Singularly Optimal Randomized Leader Election

Authors: Kutten, Shay ; Moses Jr., William K. ; Pandurangan, Gopal ; Peleg, David

Abstract | Document (571 KB) | BibTeX

Making Byzantine Consensus Live

Authors: Bravo, Manuel ; Chockler, Gregory ; Gotsman, Alexey

Abstract | Document (1,167 KB) | BibTeX

Leaderless State-Machine Replication: Specification, Properties, Limits

Authors: França Rezende, Tuanir ; Sutra, Pierre

Abstract | Document (640 KB) | BibTeX

Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP

Authors: Cohen, Shir ; Keidar, Idit ; Spiegelman, Alexander

Abstract | Document (579 KB) | BibTeX

Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR

Authors: Naor, Oded ; Keidar, Idit

Abstract | Document (812 KB) | BibTeX

Asynchronous Reconfiguration with Byzantine Failures

Authors: Kuznetsov, Petr ; Tonkikh, Andrei

Abstract | Document (545 KB) | BibTeX

Improved Extension Protocols for Byzantine Broadcast and Agreement

Authors: Nayak, Kartik ; Ren, Ling ; Shi, Elaine ; Vaidya, Nitin H. ; Xiang, Zhuolun

Abstract | Document (616 KB) | BibTeX

From Partial to Global Asynchronous Reliable Broadcast

Authors: Ghinea, Diana ; Hirt, Martin ; Liu-Zhang, Chen-Da

Abstract | Document (620 KB) | BibTeX

Fast Agreement in Networks with Byzantine Nodes

Authors: Chlebus, Bogdan S. ; Kowalski, Dariusz R. ; Olkowski, Jan

Abstract | Document (620 KB) | BibTeX

Scalable and Secure Computation Among Strangers: Message-Competitive Byzantine Protocols

Authors: Augustine, John ; King, Valerie ; Molla, Anisur Rahaman ; Pandurangan, Gopal ; Saia, Jared

Abstract | Document (625 KB) | BibTeX

Byzantine Lattice Agreement in Synchronous Message Passing Systems

Authors: Zheng, Xiong ; Garg, Vijay

Abstract | Document (494 KB) | BibTeX

Fast Distributed Algorithms for Girth, Cycles and Small Subgraphs

Authors: Censor-Hillel, Keren ; Fischer, Orr ; Gonen, Tzlil ; Le Gall, François ; Leitersdorf, Dean ; Oshman, Rotem

Abstract | Document (1,236 KB) | BibTeX

Improved MPC Algorithms for MIS, Matching, and Coloring on Trees and Beyond

Authors: Ghaffari, Mohsen ; Grunau, Christoph ; Jin, Ce

Abstract | Document (593 KB) | BibTeX

Improved Distributed Approximations for Maximum Independent Set

Authors: Kawarabayashi, Ken-ichi ; Khoury, Seri ; Schild, Aaron ; Schwartzman, Gregory

Abstract | Document (495 KB) | BibTeX

Models of Smoothing in Dynamic Networks

Authors: Meir, Uri ; Paz, Ami ; Schwartzman, Gregory

Abstract | Document (559 KB) | BibTeX

Distributed Maximum Matching Verification in CONGEST

Authors: Ahmadi, Mohamad ; Kuhn, Fabian

Abstract | Document (626 KB) | BibTeX

Distributed Planar Reachability in Nearly Optimal Time

Authors: Parter, Merav

Abstract | Document (784 KB) | BibTeX

Coloring Fast Without Learning Your Neighbors' Colors

Authors: Halldórsson, Magnús M. ; Kuhn, Fabian ; Maus, Yannic ; Nolin, Alexandre

Abstract | Document (563 KB) | BibTeX

Brief Announcement: Efficient Load-Balancing Through Distributed Token Dropping

Authors: Brandt, Sebastian ; Keller, Barbara ; Rybicki, Joel ; Suomela, Jukka ; Uitto, Jara

Abstract | Document (296 KB) | BibTeX

Brief Announcement: Distributed Graph Problems Through an Automata-Theoretic Lens

Authors: Chang, Yi-Jun ; Studený, Jan ; Suomela, Jukka

Abstract | Document (358 KB) | BibTeX

Brief Announcement: Phase Transitions of the k-Majority Dynamics in a Biased Communication Model

Authors: Cruciani, Emilio ; Mimun, Hlafo Alfie ; Quattropani, Matteo ; Rizzo, Sara

Abstract | Document (360 KB) | BibTeX

Brief Announcement: Distributed Quantum Proofs for Replicated Data

Authors: Fraigniaud, Pierre ; Le Gall, François ; Nishimura, Harumichi ; Paz, Ami

Abstract | Document (321 KB) | BibTeX

Brief Announcement: Optimally-Resilient Unconditionally-Secure Asynchronous Multi-Party Computation Revisited

Authors: Choudhury, Ashish

Abstract | Document (330 KB) | BibTeX

Brief Announcement: Polygraph: Accountable Byzantine Agreement

Authors: Civit, Pierre ; Gilbert, Seth ; Gramoli, Vincent

Abstract | Document (449 KB) | BibTeX

Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally

Authors: Foerster, Klaus-Tycho ; Hirvonen, Juho ; Pignolet, Yvonne-Anne ; Schmid, Stefan ; Tredan, Gilles

Abstract | Document (578 KB) | BibTeX

Brief Announcement: Byzantine Agreement, Broadcast and State Machine Replication with Optimal Good-Case Latency

Authors: Abraham, Ittai ; Nayak, Kartik ; Ren, Ling ; Xiang, Zhuolun

Abstract | Document (378 KB) | BibTeX

Brief Announcement: Multi-Threshold Asynchronous Reliable Broadcast and Consensus

Authors: Hirt, Martin ; Kastrati, Ard ; Liu-Zhang, Chen-Da

Abstract | Document (357 KB) | BibTeX

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness

Authors: Zappalà, Paolo ; Belotti, Marianna ; Potop-Butucaru, Maria ; Secci, Stefano

Abstract | Document (302 KB) | BibTeX

Brief Announcement: Jiffy: A Fast, Memory Efficient, Wait-Free Multi-Producers Single-Consumer Queue

Authors: Adas, Dolev ; Friedman, Roy

Abstract | Document (264 KB) | BibTeX

Brief Announcement: Concurrent Fixed-Size Allocation and Free in Constant Time

Authors: Blelloch, Guy E. ; Wei, Yuanhao

Abstract | Document (363 KB) | BibTeX

Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage

Authors: Wen, Haosen ; Cai, Wentao ; Du, Mingzhe ; Valpey, Benjamin ; Scott, Michael L.

Abstract | Document (317 KB) | BibTeX

Brief Announcement: Reaching Approximate Consensus When Everyone May Crash

Authors: Tseng, Lewis ; Zhang, Qinzi ; Zhang, Yifan

Abstract | Document (369 KB) | BibTeX

Brief Announcement: On Decidability of 2-Process Affine Models

Authors: Kuznetsov, Petr ; Rieutord, Thibault

Abstract | Document (325 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

34th International Symposium on Distributed Computing (DISC 2020)