Portal - DISC 2021

DISC 2021	October 4-8, 2021, Freiburg, Germany (Virtual Conference)
35th International Symposium on Distributed Computing (DISC 2021) Seth Gilbert (Ed.)
ISBN 978-3-95977-210-5, LIPICS Vol. 209	ISSN 1868-8969

Additional Information

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

Authors

Anagnostides, Ioannis

Cogo, Vinicius Vielmo

de Souza, Luciano Freitas

Kallimanis, Nikolaos D.

Maksimovski, Vladimir

Moses Jr., William K.

Pignolet, Yvonne-Anne

Piña, Miguel

Ponomarev, Pavel

Potop-Butucaru, Maria

Scheideler, Christian

Spiegelman, Alexander

Tamir (Averbuch), Ran

Taubenfeld, Gadi

Tonkikh, Andrei

Tripakis, Stavros

Tucci-Piergiovanni, Sara

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Gilbert, Seth

Abstract | Document (600 KB) | BibTeX

The Quest for Universally-Optimal Distributed Algorithms (Invited Talk)

Authors: Haeupler, Bernhard

Abstract | Document (276 KB) | BibTeX

Tech Transfer Stories and Takeaways (Invited Talk)

Authors: Malkhi, Dahlia

Abstract | Document (244 KB) | BibTeX

Frugal Byzantine Computing

Authors: Aguilera, Marcos K. ; Ben-David, Naama ; Guerraoui, Rachid ; Papuc, Dalia ; Xygkis, Athanasios ; Zablotchi, Igor

Abstract | Document (788 KB) | BibTeX

Lower Bounds for Shared-Memory Leader Election Under Bounded Write Contention

Authors: Alistarh, Dan ; Gelashvili, Rati ; Nadiradze, Giorgi

Abstract | Document (690 KB) | BibTeX

Deterministic Distributed Algorithms and Lower Bounds in the Hybrid Model

Authors: Anagnostides, Ioannis ; Gouleakis, Themis

Abstract | Document (844 KB) | BibTeX

Ruling Sets in Random Order and Adversarial Streams

Authors: Assadi, Sepehr ; Dudeja, Aditi

Abstract | Document (1,048 KB) | BibTeX

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers

Authors: Attiya, Hagit ; Enea, Constantin ; Welch, Jennifer L.

Abstract | Document (763 KB) | BibTeX

Locally Checkable Labelings with Small Messages

Authors: Balliu, Alkida ; Censor-Hillel, Keren ; Maus, Yannic ; Olivetti, Dennis ; Suomela, Jukka

Abstract | Document (774 KB) | BibTeX

Randomized Local Fast Rerouting for Datacenter Networks with Almost Optimal Congestion

Authors: Bankhamer, Gregor ; Elsässer, Robert ; Schmid, Stefan

Abstract | Document (834 KB) | BibTeX

Deterministic Logarithmic Completeness in the Distributed Sleeping Model

Authors: Barenboim, Leonid ; Maimon, Tzalik

Abstract | Document (692 KB) | BibTeX

Wait-Free CAS-Based Algorithms: The Burden of the Past

Authors: Bédin, Denis ; Lépine, François ; Mostéfaoui, Achour ; Perez, Damien ; Perrin, Matthieu

Abstract | Document (708 KB) | BibTeX

Space and Time Bounded Multiversion Garbage Collection

Authors: Ben-David, Naama ; Blelloch, Guy E. ; Fatourou, Panagiota ; Ruppert, Eric ; Sun, Yihan ; Wei, Yuanhao

Abstract | Document (819 KB) | BibTeX

A Tight Local Algorithm for the Minimum Dominating Set Problem in Outerplanar Graphs

Authors: Bonamy, Marthe ; Cook, Linda ; Groenland, Carla ; Wesolek, Alexandra

Abstract | Document (811 KB) | BibTeX

Fast Nonblocking Persistence for Concurrent Data Structures

Authors: Cai, Wentao ; Wen, Haosen ; Maksimovski, Vladimir ; Du, Mingzhe ; Sanna, Rafaello ; Abdallah, Shreif ; Scott, Michael L.

Abstract | Document (1,038 KB) | BibTeX

Massively Parallel Correlation Clustering in Bounded Arboricity Graphs

Authors: Cambus, Mélanie ; Choo, Davin ; Miikonen, Havu ; Uitto, Jara

Abstract | Document (823 KB) | BibTeX

Fully Read/Write Fence-Free Work-Stealing with Multiplicity

Authors: Castañeda, Armando ; Piña, Miguel

Abstract | Document (1,729 KB) | BibTeX

Optimal Error-Free Multi-Valued Byzantine Agreement

Authors: Chen, Jinyuan

Abstract | Document (1,020 KB) | BibTeX

Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer

Authors: Cohen, Shir ; Keidar, Idit

Abstract | Document (736 KB) | BibTeX

Wake up and Join Me! an Energy-Efficient Algorithm for Maximal Matching in Radio Networks

Authors: Dani, Varsha ; Gupta, Aayush ; Hayes, Thomas P. ; Pettie, Seth

Abstract | Document (610 KB) | BibTeX

The Canonical Amoebot Model: Algorithms and Concurrency Control

Authors: Daymude, Joshua J. ; Richa, Andréa W. ; Scheideler, Christian

Abstract | Document (901 KB) | BibTeX

Improved Weighted Additive Spanners

Authors: Elkin, Michael ; Gitlitz, Yuval ; Neiman, Ofer

Abstract | Document (757 KB) | BibTeX

Deterministic Size Discovery and Topology Recognition in Radio Networks with Short Labels

Authors: Gańczorz, Adam ; Jurdziński, Tomasz ; Lewko, Mateusz ; Pelc, Andrzej

Abstract | Document (925 KB) | BibTeX

Broadcast CONGEST Algorithms against Adversarial Edges

Authors: Hitron, Yael ; Parter, Merav

Abstract | Document (726 KB) | BibTeX

General CONGEST Compilers against Adversarial Edges

Authors: Hitron, Yael ; Parter, Merav

Abstract | Document (717 KB) | BibTeX

Fast Arrays: Atomic Arrays with Constant Time Initialization

Authors: Jayanti, Siddhartha ; Shun, Julian

Abstract | Document (1,136 KB) | BibTeX

Byzantine Consensus with Local Multicast Channels

Authors: Khan, Muhammad Samir ; Vaidya, Nitin H.

Abstract | Document (729 KB) | BibTeX

Singularly Near Optimal Leader Election in Asynchronous Networks

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

Abstract | Document (982 KB) | BibTeX

Permissionless and Asynchronous Asset Transfer

Authors: Kuznetsov, Petr ; Pignolet, Yvonne-Anne ; Ponomarev, Pavel ; Tonkikh, Andrei

Abstract | Document (776 KB) | BibTeX

Detectable Sequential Specifications for Recoverable Shared Objects

Authors: Li, Nan ; Golab, Wojciech

Abstract | Document (952 KB) | BibTeX

Constant RMR Group Mutual Exclusion for Arbitrarily Many Processes and Sessions

Authors: Maor, Liat ; Taubenfeld, Gadi

Abstract | Document (666 KB) | BibTeX

Efficient CONGEST Algorithms for the Lovász Local Lemma

Authors: Maus, Yannic ; Uitto, Jara

Abstract | Document (809 KB) | BibTeX

Optimal Communication Complexity of Authenticated Byzantine Agreement

Authors: Momose, Atsuki ; Ren, Ling

Abstract | Document (657 KB) | BibTeX

Algorithms for the Minimum Dominating Set Problem in Bounded Arboricity Graphs: Simpler, Faster, and Combinatorial

Authors: Morgan, Adir ; Solomon, Shay ; Wein, Nicole

Abstract | Document (748 KB) | BibTeX

Smoothed Analysis of Population Protocols

Authors: Schwartzman, Gregory ; Sudo, Yuichi

Abstract | Document (932 KB) | BibTeX

VBR: Version Based Reclamation

Authors: Sheffi, Gali ; Herlihy, Maurice ; Petrank, Erez

Abstract | Document (2,944 KB) | BibTeX

Extension-Based Proofs for Synchronous Message Passing

Authors: Sheng, Yilun ; Ellen, Faith

Abstract | Document (665 KB) | BibTeX

Truthful Information Dissemination in General Asynchronous Networks

Authors: Solodkin, Lior ; Oshman, Rotem

Abstract | Document (627 KB) | BibTeX

In Search for an Optimal Authenticated Byzantine Agreement

Authors: Spiegelman, Alexander

Abstract | Document (1,320 KB) | BibTeX

The Power of Random Symmetry-Breaking in Nakamoto Consensus

Authors: Su, Lili ; Liu, Quanquan C. ; Narula, Neha

Abstract | Document (749 KB) | BibTeX

Time-Optimal Loosely-Stabilizing Leader Election in Population Protocols

Authors: Sudo, Yuichi ; Eguchi, Ryota ; Izumi, Taisuke ; Masuzawa, Toshimitsu

Abstract | Document (874 KB) | BibTeX

Efficient Distribution of Quantum Circuits

Authors: G Sundaram, Ranjani ; Gupta, Himanshu ; Ramakrishnan, C. R.

Abstract | Document (1,865 KB) | BibTeX

Game Theoretical Framework for Analyzing Blockchains Robustness

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

Abstract | Document (684 KB) | BibTeX

Brief Announcement: Fast Graphical Population Protocols

Authors: Alistarh, Dan ; Gelashvili, Rati ; Rybicki, Joel

Abstract | Document (522 KB) | BibTeX

Brief Announcement: How to Trust Strangers - Composition of Byzantine Quorum Systems

Authors: Alpos, Orestis ; Cachin, Christian ; Zanolini, Luca

Abstract | Document (409 KB) | BibTeX

Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries

Authors: Assa, Gal ; Meir, Hagar ; Golan-Gueta, Guy ; Keidar, Idit ; Spiegelman, Alexander

Abstract | Document (393 KB) | BibTeX

Brief Announcement: Twins – BFT Systems Made Robust

Authors: Bano, Shehar ; Sonnino, Alberto ; Chursin, Andrey ; Perelman, Dmitri ; Li, Zekun ; Ching, Avery ; Malkhi, Dahlia

Abstract | Document (421 KB) | BibTeX

Brief Annoucement: On Extending Brandt’s Speedup Theorem from LOCAL to Round-Based Full-Information Models

Authors: Bastide, Paul ; Fraigniaud, Pierre

Abstract | Document (459 KB) | BibTeX

Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols

Authors: Bhat, Shreesha G. ; Nagar, Kartik

Abstract | Document (493 KB) | BibTeX

Brief Announcement: Local Certification of Graph Decompositions and Applications to Minor-Free Classes

Authors: Bousquet, Nicolas ; Feuilloley, Laurent ; Pierron, Théo

Abstract | Document (518 KB) | BibTeX

Brief Announcement: Memory Efficient Massively Parallel Algorithms for LCL Problems on Trees

Authors: Brandt, Sebastian ; Latypov, Rustam ; Uitto, Jara

Abstract | Document (569 KB) | BibTeX

Brief Announcement: Revisiting Signature-Free Asynchronous Byzantine Consensus

Authors: Cachin, Christian ; Zanolini, Luca

Abstract | Document (537 KB) | BibTeX

Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds

Authors: Chatterjee, Bapi ; Peri, Sathya ; Sa, Muktikanta

Abstract | Document (777 KB) | BibTeX

Brief Announcement: Auditable Register Emulations

Authors: Cogo, Vinicius Vielmo ; Bessani, Alysson

Abstract | Document (610 KB) | BibTeX

Brief Announcement: Accountability and Reconfiguration — Self-Healing Lattice Agreement

Authors: de Souza, Luciano Freitas ; Kuznetsov, Petr ; Rieutord, Thibault ; Tucci-Piergiovanni, Sara

Abstract | Document (430 KB) | BibTeX

Brief Announcement: On Strong Observational Refinement and Forward Simulation

Authors: Derrick, John ; Doherty, Simon ; Dongol, Brijesh ; Schellhorn, Gerhard ; Wehrheim, Heike

Abstract | Document (550 KB) | BibTeX

Brief Announcement: Persistent Software Combining

Authors: Fatourou, Panagiota ; Kallimanis, Nikolaos D. ; Kosmas, Eleftherios

Abstract | Document (474 KB) | BibTeX

Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement

Authors: Goren, Guy ; Moses, Yoram ; Spiegelman, Alexander

Abstract | Document (541 KB) | BibTeX

Brief Announcement: Sinkless Orientation Is Hard Also in the Supported LOCAL Model

Authors: Korhonen, Janne H. ; Paz, Ami ; Rybicki, Joel ; Schmid, Stefan ; Suomela, Jukka

Abstract | Document (463 KB) | BibTeX

Brief Announcement: Simple Majority Consensus in Networks with Unreliable Communication

Authors: Livshits, Ariel ; Shadmi, Yonatan ; Tamir (Averbuch), Ran

Abstract | Document (513 KB) | BibTeX

Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation

Authors: Nikolaev, Ruslan ; Ravindran, Binoy

Abstract | Document (580 KB) | BibTeX

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication

Authors: Schultz, William ; Zhou, Siyuan ; Tripakis, Stavros

Abstract | Document (636 KB) | BibTeX

Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption

Authors: Yandamuri, Sravya ; Abraham, Ittai ; Nayak, Kartik ; Reiter, Michael

Abstract | Document (462 KB) | BibTeX

Brief Announcement: Ordered Reliable Broadcast and Fast Ordered Byzantine Consensus for Cryptocurrency

Authors: Zarbafian, Pouriya ; Gramoli, Vincent

Abstract | Document (646 KB) | BibTeX

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

35th International Symposium on Distributed Computing (DISC 2021)