OPODIS 2021 December 13-15, 2021, Strasbourg, France

25th International Conference on Principles of Distributed Systems (OPODIS 2021)



Quentin Bramas and Vincent Gramoli and Alessia Milani (Eds.)
ISBN 978-3-95977-219-8, LIPICS Vol. 217 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 11 MB)
Search Publication Server

Authors
  • Abraham, Ittai
  • Alistarh, Dan
  • Anceaume, Emmanuelle
  • Assa, Gal
  • Attiya, Hagit
  • Balliu, Alkida
  • Bano, Shehar
  • Ben-Baruch, Ohad
  • Bertrand, Nathalie
  • Blin, Lélia
  • Bose, Kaustav
  • Bousquet, Nicolas
  • Bramas, Quentin
  • Chatterjee, Bapi
  • Ching, Avery
  • Chursin, Andrey
  • Coy, Sam
  • Czumaj, Artur
  • Dardik, Ian
  • Das, Archak
  • Del Pozzo, Antonella
  • de Vos, Tijn
  • Faour, Salwa
  • Feldmann, Michael
  • Feuilloley, Laurent
  • Fischer, Orr
  • Forster, Sebastian
  • Freitas de Souza, Luciano
  • Fuchs, Marc
  • Gąsieniec, Leszek
  • Gelashvili, Rati
  • Golan-Gueta, Guy
  • Gramoli, Vincent
  • Grösbacher, Martin
  • Heinrich, Marc
  • Hendler, Danny
  • Hinnenthal, Kristian
  • Hwang, Steven Munsu
  • Inoue, Michiko
  • Jansson, Jesper
  • Kamei, Sayaka
  • Keidar, Idit
  • Korhonen, Janne H.
  • Kshemkalyani, Ajay D.
  • Kuhn, Fabian
  • Kuznetsov, Petr
  • Lamani, Anissa
  • Le Bouder, Gabriel
  • Levcopoulos, Christos
  • Lingas, Andrzej
  • Li, Zekun
  • Malkhi, Dahlia
  • Manogna, Komma
  • Mans, Bernard
  • Maurer, Alexandre
  • Meir, Hagar
  • Milani, Alessia
  • Nahum, Liad
  • Nayak, Kartik
  • Nikabadi, Amir
  • Olivetti, Dennis
  • Ooshita, Fukuhito
  • Oshman, Rotem
  • Perelman, Dmitri
  • Peri, Sathya
  • Pierron, Théo
  • Pourmiri, Ali
  • Quero, Nicolas
  • Rabie, Mikaël
  • Ren, Ling
  • Rieutord, Thibault
  • Rybicki, Joel
  • Sa, Muktikanta
  • Sau, Buddhadeb
  • Scheideler, Christian
  • Schneider, Philipp
  • Schultz, William
  • Shamir, Dana
  • Sharma, Gokarna
  • Shrestha, Nibesh
  • Sirdey, Renaud
  • Sonnino, Alberto
  • Spiegelman, Alexander
  • Stan, Oana
  • Struijs, Martijn
  • Tixeuil, Sébastien
  • Tonkikh, Andrei
  • Tripakis, Stavros
  • Tucci-Piergiovanni, Sara
  • van Renesse, Robbert
  • Wada, Koichi
  • Woelfel, Philipp
  • Xiang, Zhuolun
  • Yasumi, Hiroto
  • Zhou, Siyuan
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Bramas, Quentin ; Gramoli, Vincent ; Milani, Alessia

    Abstract | Document (499 KB) | BibTeX

    Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk)
    Authors: Bertrand, Nathalie

    Abstract | Document (318 KB) | BibTeX

    Accountable Distributed Computing (Invited Talk)
    Authors: Kuznetsov, Petr

    Abstract | Document (271 KB) | BibTeX

    A Fresh Look at the Design and Implementation of Communication Paradigms (Invited Talk)
    Authors: van Renesse, Robbert

    Abstract | Document (317 KB) | BibTeX

    Arbitrarily Accurate Aggregation Scheme for Byzantine SGD
    Authors: Maurer, Alexandre

    Abstract | Document (712 KB) | BibTeX

    Good-Case and Bad-Case Latency of Unauthenticated Byzantine Broadcast: A Complete Categorization
    Authors: Abraham, Ittai ; Ren, Ling ; Xiang, Zhuolun

    Abstract | Document (753 KB) | BibTeX

    On Finality in Blockchains
    Authors: Anceaume, Emmanuelle ; Del Pozzo, Antonella ; Rieutord, Thibault ; Tucci-Piergiovanni, Sara

    Abstract | Document (832 KB) | BibTeX

    Twins: BFT Systems Made Robust
    Authors: Bano, Shehar ; Sonnino, Alberto ; Chursin, Andrey ; Perelman, Dmitri ; Li, Zekun ; Ching, Avery ; Malkhi, Dahlia

    Abstract | Document (1,018 KB) | BibTeX

    Near-Optimal Dispersion on Arbitrary Anonymous Graphs
    Authors: Kshemkalyani, Ajay D. ; Sharma, Gokarna

    Abstract | Document (801 KB) | BibTeX

    Asynchronous Gathering in a Torus
    Authors: Kamei, Sayaka ; Lamani, Anissa ; Ooshita, Fukuhito ; Tixeuil, Sébastien ; Wada, Koichi

    Abstract | Document (1,122 KB) | BibTeX

    Pattern Formation by Robots with Inaccurate Movements
    Authors: Bose, Kaustav ; Das, Archak ; Sau, Buddhadeb

    Abstract | Document (948 KB) | BibTeX

    Near-Shortest Path Routing in Hybrid Communication Networks
    Authors: Coy, Sam ; Czumaj, Artur ; Feldmann, Michael ; Hinnenthal, Kristian ; Kuhn, Fabian ; Scheideler, Christian ; Schneider, Philipp ; Struijs, Martijn

    Abstract | Document (1,136 KB) | BibTeX

    Efficient Assignment of Identities in Anonymous Populations
    Authors: Gąsieniec, Leszek ; Jansson, Jesper ; Levcopoulos, Christos ; Lingas, Andrzej

    Abstract | Document (883 KB) | BibTeX

    Population Protocols for Graph Class Identification Problems
    Authors: Yasumi, Hiroto ; Ooshita, Fukuhito ; Inoue, Michiko

    Abstract | Document (722 KB) | BibTeX

    Fast Graphical Population Protocols
    Authors: Alistarh, Dan ; Gelashvili, Rati ; Rybicki, Joel

    Abstract | Document (937 KB) | BibTeX

    Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters
    Authors: Nikabadi, Amir ; Korhonen, Janne H.

    Abstract | Document (772 KB) | BibTeX

    An Improved Random Shift Algorithm for Spanners and Low Diameter Decompositions
    Authors: Forster, Sebastian ; Grösbacher, Martin ; de Vos, Tijn

    Abstract | Document (721 KB) | BibTeX

    Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings
    Authors: Faour, Salwa ; Fuchs, Marc ; Kuhn, Fabian

    Abstract | Document (780 KB) | BibTeX

    Improved Distributed Fractional Coloring Algorithms
    Authors: Balliu, Alkida ; Kuhn, Fabian ; Olivetti, Dennis

    Abstract | Document (747 KB) | BibTeX

    Distributed Recoloring of Interval and Chordal Graphs
    Authors: Bousquet, Nicolas ; Feuilloley, Laurent ; Heinrich, Marc ; Rabie, Mikaël

    Abstract | Document (728 KB) | BibTeX

    Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds
    Authors: Chatterjee, Bapi ; Peri, Sathya ; Sa, Muktikanta ; Manogna, Komma

    Abstract | Document (2,336 KB) | BibTeX

    Explicit Space-Time Tradeoffs for Proof Labeling Schemes in Graphs with Small Separators
    Authors: Fischer, Orr ; Oshman, Rotem ; Shamir, Dana

    Abstract | Document (789 KB) | BibTeX

    Local Certification of Graph Decompositions and Applications to Minor-Free Classes
    Authors: Bousquet, Nicolas ; Feuilloley, Laurent ; Pierron, Théo

    Abstract | Document (696 KB) | BibTeX

    RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination
    Authors: Freitas de Souza, Luciano ; Tonkikh, Andrei ; Tucci-Piergiovanni, Sara ; Sirdey, Renaud ; Stan, Oana ; Quero, Nicolas ; Kuznetsov, Petr

    Abstract | Document (1,140 KB) | BibTeX

    Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
    Authors: Blin, Lélia ; Feuilloley, Laurent ; Le Bouder, Gabriel

    Abstract | Document (619 KB) | BibTeX

    Accountability and Reconfiguration: Self-Healing Lattice Agreement
    Authors: Freitas de Souza, Luciano ; Kuznetsov, Petr ; Rieutord, Thibault ; Tucci-Piergiovanni, Sara

    Abstract | Document (831 KB) | BibTeX

    Design and Analysis of a Logless Dynamic Reconfiguration Protocol
    Authors: Schultz, William ; Zhou, Siyuan ; Dardik, Ian ; Tripakis, Stavros

    Abstract | Document (901 KB) | BibTeX

    Optimal Good-Case Latency for Rotating Leader Synchronous BFT
    Authors: Abraham, Ittai ; Nayak, Kartik ; Shrestha, Nibesh

    Abstract | Document (1,001 KB) | BibTeX

    Strongly Linearizable Linked List and Queue
    Authors: Hwang, Steven Munsu ; Woelfel, Philipp

    Abstract | Document (692 KB) | BibTeX

    Recoverable and Detectable Fetch&Add
    Authors: Nahum, Liad ; Attiya, Hagit ; Ben-Baruch, Ohad ; Hendler, Danny

    Abstract | Document (775 KB) | BibTeX

    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 (828 KB) | BibTeX

    Asynchronous Rumor Spreading in Dynamic Graphs
    Authors: Mans, Bernard ; Pourmiri, Ali

    Abstract | Document (846 KB) | BibTeX

    		  



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