


default search action
35th DISC 2021 Freiburg, Germany (Virtual Conference)
- Seth Gilbert:

35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference). LIPIcs 209, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-210-5 - Bernhard Haeupler:

The Quest for Universally-Optimal Distributed Algorithms (Invited Talk). 1:1-1:1 - Dahlia Malkhi:

Tech Transfer Stories and Takeaways (Invited Talk). 2:1-2:1 - Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui

, Dalia Papuc, Athanasios Xygkis, Igor Zablotchi:
Frugal Byzantine Computing. 3:1-3:19 - Dan Alistarh, Rati Gelashvili, Giorgi Nadiradze:

Lower Bounds for Shared-Memory Leader Election Under Bounded Write Contention. 4:1-4:17 - Ioannis Anagnostides, Themis Gouleakis

:
Deterministic Distributed Algorithms and Lower Bounds in the Hybrid Model. 5:1-5:19 - Sepehr Assadi, Aditi Dudeja:

Ruling Sets in Random Order and Adversarial Streams. 6:1-6:18 - Hagit Attiya

, Constantin Enea
, Jennifer L. Welch
:
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. 7:1-7:18 - Alkida Balliu

, Keren Censor-Hillel, Yannic Maus
, Dennis Olivetti
, Jukka Suomela
:
Locally Checkable Labelings with Small Messages. 8:1-8:18 - Gregor Bankhamer, Robert Elsässer, Stefan Schmid

:
Randomized Local Fast Rerouting for Datacenter Networks with Almost Optimal Congestion. 9:1-9:19 - Leonid Barenboim, Tzalik Maimon:

Deterministic Logarithmic Completeness in the Distributed Sleeping Model. 10:1-10:19 - Denis Bédin, François Lépine, Achour Mostéfaoui, Damien Perez, Matthieu Perrin:

Wait-Free CAS-Based Algorithms: The Burden of the Past. 11:1-11:15 - Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, Eric Ruppert, Yihan Sun

, Yuanhao Wei:
Space and Time Bounded Multiversion Garbage Collection. 12:1-12:20 - Marthe Bonamy

, Linda Cook, Carla Groenland
, Alexandra Wesolek
:
A Tight Local Algorithm for the Minimum Dominating Set Problem in Outerplanar Graphs. 13:1-13:18 - Wentao Cai

, Haosen Wen, Vladimir Maksimovski, Mingzhe Du, Rafaello Sanna, Shreif Abdallah, Michael L. Scott
:
Fast Nonblocking Persistence for Concurrent Data Structures. 14:1-14:20 - Mélanie Cambus, Davin Choo

, Havu Miikonen
, Jara Uitto
:
Massively Parallel Correlation Clustering in Bounded Arboricity Graphs. 15:1-15:18 - Armando Castañeda, Miguel Piña:

Fully Read/Write Fence-Free Work-Stealing with Multiplicity. 16:1-16:20 - Jinyuan Chen:

Optimal Error-Free Multi-Valued Byzantine Agreement. 17:1-17:19 - Shir Cohen, Idit Keidar:

Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. 18:1-18:18 - Varsha Dani

, Aayush Gupta, Thomas P. Hayes, Seth Pettie:
Wake up and Join Me! an Energy-Efficient Algorithm for Maximal Matching in Radio Networks. 19:1-19:14 - Joshua J. Daymude

, Andréa W. Richa, Christian Scheideler
:
The Canonical Amoebot Model: Algorithms and Concurrency Control. 20:1-20:19 - Michael Elkin, Yuval Gitlitz, Ofer Neiman:

Improved Weighted Additive Spanners. 21:1-21:15 - Adam Ganczorz

, Tomasz Jurdzinski
, Mateusz Lewko, Andrzej Pelc
:
Deterministic Size Discovery and Topology Recognition in Radio Networks with Short Labels. 22:1-22:20 - Yael Hitron, Merav Parter:

Broadcast CONGEST Algorithms against Adversarial Edges. 23:1-23:19 - Yael Hitron, Merav Parter:

General CONGEST Compilers against Adversarial Edges. 24:1-24:18 - Siddhartha Jayanti

, Julian Shun
:
Fast Arrays: Atomic Arrays with Constant Time Initialization. 25:1-25:19 - Muhammad Samir Khan, Nitin H. Vaidya:

Byzantine Consensus with Local Multicast Channels. 26:1-26:16 - Shay Kutten

, William K. Moses Jr.
, Gopal Pandurangan
, David Peleg
:
Singularly Near Optimal Leader Election in Asynchronous Networks. 27:1-27:18 - Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh:

Permissionless and Asynchronous Asset Transfer. 28:1-28:19 - Nan Li, Wojciech M. Golab

:
Detectable Sequential Specifications for Recoverable Shared Objects. 29:1-29:19 - Liat Maor, Gadi Taubenfeld:

Constant RMR Group Mutual Exclusion for Arbitrarily Many Processes and Sessions. 30:1-30:16 - Yannic Maus

, Jara Uitto
:
Efficient CONGEST Algorithms for the Lovász Local Lemma. 31:1-31:19 - Atsuki Momose, Ling Ren:

Optimal Communication Complexity of Authenticated Byzantine Agreement. 32:1-32:16 - Adir Morgan, Shay Solomon, Nicole Wein:

Algorithms for the Minimum Dominating Set Problem in Bounded Arboricity Graphs: Simpler, Faster, and Combinatorial. 33:1-33:19 - Gregory Schwartzman, Yuichi Sudo:

Smoothed Analysis of Population Protocols. 34:1-34:19 - Gali Sheffi, Maurice Herlihy, Erez Petrank:

VBR: Version Based Reclamation. 35:1-35:18 - Yilun Sheng, Faith Ellen

:
Extension-Based Proofs for Synchronous Message Passing. 36:1-36:17 - Lior Solodkin, Rotem Oshman:

Truthful Information Dissemination in General Asynchronous Networks. 37:1-37:19 - Alexander Spiegelman:

In Search for an Optimal Authenticated Byzantine Agreement. 38:1-38:19 - Lili Su, Quanquan C. Liu, Neha Narula:

The Power of Random Symmetry-Breaking in Nakamoto Consensus. 39:1-39:19 - Yuichi Sudo

, Ryota Eguchi, Taisuke Izumi, Toshimitsu Masuzawa:
Time-Optimal Loosely-Stabilizing Leader Election in Population Protocols. 40:1-40:17 - Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan:

Efficient Distribution of Quantum Circuits. 41:1-41:20 - Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, Stefano Secci:

Game Theoretical Framework for Analyzing Blockchains Robustness. 42:1-42:18 - Dan Alistarh, Rati Gelashvili, Joel Rybicki

:
Brief Announcement: Fast Graphical Population Protocols. 43:1-43:4 - Orestis Alpos, Christian Cachin, Luca Zanolini:

Brief Announcement: How to Trust Strangers - Composition of Byzantine Quorum Systems. 44:1-44:4 - Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:

Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries. 45:1-45:4 - Shehar Bano, Alberto Sonnino, Andrey Chursin, Dmitri Perelman, Zekun Li, Avery Ching, Dahlia Malkhi:

Brief Announcement: Twins - BFT Systems Made Robust. 46:1-46:4 - Paul Bastide, Pierre Fraigniaud:

Brief Annoucement: On Extending Brandt's Speedup Theorem from LOCAL to Round-Based Full-Information Models. 47:1-47:4 - Shreesha G. Bhat

, Kartik Nagar:
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols. 48:1-48:4 - Nicolas Bousquet

, Laurent Feuilloley
, Théo Pierron:
Brief Announcement: Local Certification of Graph Decompositions and Applications to Minor-Free Classes. 49:1-49:4 - Sebastian Brandt

, Rustam Latypov
, Jara Uitto
:
Brief Announcement: Memory Efficient Massively Parallel Algorithms for LCL Problems on Trees. 50:1-50:4 - Christian Cachin, Luca Zanolini:

Brief Announcement: Revisiting Signature-Free Asynchronous Byzantine Consensus. 51:1-51:4 - Bapi Chatterjee

, Sathya Peri
, Muktikanta Sa
:
Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds. 52:1-52:4 - Vinicius Vielmo Cogo

, Alysson Bessani
:
Brief Announcement: Auditable Register Emulations. 53:1-53:4 - Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni:

Brief Announcement: Accountability and Reconfiguration - Self-Healing Lattice Agreement. 54:1-54:5 - John Derrick

, Simon Doherty, Brijesh Dongol
, Gerhard Schellhorn, Heike Wehrheim
:
Brief Announcement: On Strong Observational Refinement and Forward Simulation. 55:1-55:4 - Panagiota Fatourou, Nikolaos D. Kallimanis

, Eleftherios Kosmas:
Brief Announcement: Persistent Software Combining. 56:1-56:4 - Guy Goren

, Yoram Moses
, Alexander Spiegelman:
Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement. 57:1-57:4 - Janne H. Korhonen, Ami Paz

, Joel Rybicki, Stefan Schmid
, Jukka Suomela
:
Brief Announcement: Sinkless Orientation Is Hard Also in the Supported LOCAL Model. 58:1-58:4 - Ariel Livshits

, Yonatan Shadmi
, Ran Tamir
:
Brief Announcement: Simple Majority Consensus in Networks with Unreliable Communication. 59:1-59:4 - Ruslan Nikolaev

, Binoy Ravindran
:
Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation. 60:1-60:4 - William Schultz, Siyuan Zhou, Stavros Tripakis:

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. 61:1-61:4 - Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter:

Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption. 62:1-62:4 - Pouriya Zarbafian, Vincent Gramoli

:
Brief Announcement: Ordered Reliable Broadcast and Fast Ordered Byzantine Consensus for Cryptocurrency. 63:1-63:4

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














