LIPIcs, Volume 217, OPODIS 2021
-
Quentin Bramas, Vincent Gramoli, and Alessia Milani
LIPIcs, Volume 217, OPODIS 2021, Complete Volume
10.4230/LIPIcs.OPODIS.2021
-
Quentin Bramas, Vincent Gramoli, and Alessia Milani
Front Matter, Table of Contents, Preface, Conference Organization
10.4230/LIPIcs.OPODIS.2021.0
-
Nathalie Bertrand
Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk)
10.4230/LIPIcs.OPODIS.2021.1
-
Petr Kuznetsov
Accountable Distributed Computing (Invited Talk)
10.4230/LIPIcs.OPODIS.2021.2
-
Robbert van Renesse
A Fresh Look at the Design and Implementation of Communication Paradigms (Invited Talk)
10.4230/LIPIcs.OPODIS.2021.3
-
Alexandre Maurer
Arbitrarily Accurate Aggregation Scheme for Byzantine SGD
10.4230/LIPIcs.OPODIS.2021.4
-
Ittai Abraham, Ling Ren, and Zhuolun Xiang
Good-Case and Bad-Case Latency of Unauthenticated Byzantine Broadcast: A Complete Categorization
10.4230/LIPIcs.OPODIS.2021.5
-
Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, and Sara Tucci-Piergiovanni
On Finality in Blockchains
10.4230/LIPIcs.OPODIS.2021.6
-
Shehar Bano, Alberto Sonnino, Andrey Chursin, Dmitri Perelman, Zekun Li, Avery Ching, and Dahlia Malkhi
Twins: BFT Systems Made Robust
10.4230/LIPIcs.OPODIS.2021.7
-
Ajay D. Kshemkalyani and Gokarna Sharma
Near-Optimal Dispersion on Arbitrary Anonymous Graphs
10.4230/LIPIcs.OPODIS.2021.8
-
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, and Koichi Wada
Asynchronous Gathering in a Torus
10.4230/LIPIcs.OPODIS.2021.9
-
Kaustav Bose, Archak Das, and Buddhadeb Sau
Pattern Formation by Robots with Inaccurate Movements
10.4230/LIPIcs.OPODIS.2021.10
-
Sam Coy, Artur Czumaj, Michael Feldmann, Kristian Hinnenthal, Fabian Kuhn, Christian Scheideler, Philipp Schneider, and Martijn Struijs
Near-Shortest Path Routing in Hybrid Communication Networks
10.4230/LIPIcs.OPODIS.2021.11
-
Leszek Gąsieniec, Jesper Jansson, Christos Levcopoulos, and Andrzej Lingas
Efficient Assignment of Identities in Anonymous Populations
10.4230/LIPIcs.OPODIS.2021.12
-
Hiroto Yasumi, Fukuhito Ooshita, and Michiko Inoue
Population Protocols for Graph Class Identification Problems
10.4230/LIPIcs.OPODIS.2021.13
-
Dan Alistarh, Rati Gelashvili, and Joel Rybicki
Fast Graphical Population Protocols
10.4230/LIPIcs.OPODIS.2021.14
-
Amir Nikabadi and Janne H. Korhonen
Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters
10.4230/LIPIcs.OPODIS.2021.15
-
Sebastian Forster, Martin Grösbacher, and Tijn de Vos
An Improved Random Shift Algorithm for Spanners and Low Diameter Decompositions
10.4230/LIPIcs.OPODIS.2021.16
-
Salwa Faour, Marc Fuchs, and Fabian Kuhn
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings
10.4230/LIPIcs.OPODIS.2021.17
-
Alkida Balliu, Fabian Kuhn, and Dennis Olivetti
Improved Distributed Fractional Coloring Algorithms
10.4230/LIPIcs.OPODIS.2021.18
-
Nicolas Bousquet, Laurent Feuilloley, Marc Heinrich, and Mikaël Rabie
Distributed Recoloring of Interval and Chordal Graphs
10.4230/LIPIcs.OPODIS.2021.19
-
Bapi Chatterjee, Sathya Peri, Muktikanta Sa, and Komma Manogna
Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds
10.4230/LIPIcs.OPODIS.2021.20
-
Orr Fischer, Rotem Oshman, and Dana Shamir
Explicit Space-Time Tradeoffs for Proof Labeling Schemes in Graphs with Small Separators
10.4230/LIPIcs.OPODIS.2021.21
-
Nicolas Bousquet, Laurent Feuilloley, and Théo Pierron
Local Certification of Graph Decompositions and Applications to Minor-Free Classes
10.4230/LIPIcs.OPODIS.2021.22
-
Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci-Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, and Petr Kuznetsov
RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination
10.4230/LIPIcs.OPODIS.2021.23
-
Lélia Blin, Laurent Feuilloley, and Gabriel Le Bouder
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
10.4230/LIPIcs.OPODIS.2021.24
-
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, and Sara Tucci-Piergiovanni
Accountability and Reconfiguration: Self-Healing Lattice Agreement
10.4230/LIPIcs.OPODIS.2021.25
-
William Schultz, Siyuan Zhou, Ian Dardik, and Stavros Tripakis
Design and Analysis of a Logless Dynamic Reconfiguration Protocol
10.4230/LIPIcs.OPODIS.2021.26
-
Ittai Abraham, Kartik Nayak, and Nibesh Shrestha
Optimal Good-Case Latency for Rotating Leader Synchronous BFT
10.4230/LIPIcs.OPODIS.2021.27
-
Steven Munsu Hwang and Philipp Woelfel
Strongly Linearizable Linked List and Queue
10.4230/LIPIcs.OPODIS.2021.28
-
Liad Nahum, Hagit Attiya, Ohad Ben-Baruch, and Danny Hendler
Recoverable and Detectable Fetch&Add
10.4230/LIPIcs.OPODIS.2021.29
-
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, and Alexander Spiegelman
Using Nesting to Push the Limits of Transactional Data Structure Libraries
10.4230/LIPIcs.OPODIS.2021.30
-
Bernard Mans and Ali Pourmiri
Asynchronous Rumor Spreading in Dynamic Graphs
10.4230/LIPIcs.OPODIS.2021.31