OPODIS 2020 December 14-16, 2020, Strasbourg, France (Virtual Conference)

24th International Conference on Principles of Distributed Systems (OPODIS 2020)



Quentin Bramas and Rotem Oshman and Paolo Romano (Eds.)
ISBN 978-3-95977-176-4, LIPICS Vol. 184 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 19 MB)
Search Publication Server

Authors
  • Abraham, Ittai
  • Amir, Talley
  • Amores-Sesar, Ignacio
  • Amoussou-Guenou, Yackolley
  • Ancona, Bertie
  • Aspnes, James
  • Attiya, Hagit
  • Barenboim, Leonid
  • Biais, Bruno
  • Bonakdarpour, Borzoo
  • Boussetta, Amine
  • Bramas, Quentin
  • Cachin, Christian
  • Castañeda, Armando
  • Censor-Hillel, Keren
  • Chafi, Hassan
  • Chen, Haimin
  • Chiadmi, Dalila
  • Dafni, Neta
  • Dalirrooyfard, Mina
  • Das, Shantanu
  • Efron, Yuval
  • El-Mhamdi, El-Mahdi
  • Faour, Salwa
  • Felber, Pascal
  • Feldmann, Michael
  • Firmli, Soukaina
  • Foerster, Klaus-Tycho
  • Ganguly, Ritam
  • Garg, Vijay
  • Ghassemi, Fatemeh
  • Giachoudis, Nikos
  • Guerraoui, Rachid
  • Hinnenthal, Kristian
  • Hirt, Martin
  • Hong, Sungpack
  • Inoue, Michiko
  • Kastrati, Ard
  • Katzan, Daniel
  • Keidar, Idit
  • Khosravi, Ramtin
  • Kolobov, Victor I.
  • Komatovic, Jovan
  • Kosic, Petar
  • Kuhn, Fabian
  • Kumari, Sweta
  • Kuznetsov, Petr
  • Lazarsfeld, John
  • Levin, Harel
  • Liu-Zhang, Chen-Da
  • Lozi, Jean-Pierre
  • Luccio, Flaminia L.
  • Malkhi, Dahlia
  • Maram, Varun
  • Markou, Euripides
  • Maurer, Alexandre
  • Maurer, Ueli
  • Mićić, Jovana
  • Momtaz, Anik
  • Morrison, Adam
  • Myers, Andrew C.
  • Ooshita, Fukuhito
  • Oshman, Rotem
  • Parham, Mahmoud
  • Paz, Ami
  • Pignolet, Yvonne-Anne
  • Potop-Butucaru, Maria
  • Psaroudakis, Iraklis
  • Rajsbaum, Sergio
  • Raynal, Michel
  • Rinberg, Arik
  • Romano, Paolo
  • Rouault, Sébastien
  • Samadi, Mahboubeh
  • Scheideler, Christian
  • Schiller, Noa
  • Schmid, Stefan
  • Schwartzman, Gregory
  • Seredinschi, Dragos-Adrian
  • Sheff, Isaac
  • Spiegelman, Alexander
  • Stern, Gilad
  • Suomela, Jukka
  • Talmage, Edward
  • Tixeuil, Sébastien
  • Tonkikh, Andrei
  • Trigonakis, Vasileios
  • Tseng, Lewis
  • Tucci-Piergiovanni, Sara
  • van Renesse, Robbert
  • Vassilevska Williams, Virginia
  • Wade, Dempsey
  • Wang, Xinwen
  • Weld, Alexander
  • Yasumi, Hiroto
  • Zhang, Qinzi
  • Zheng, Chaodong
  • Zheng, Xiong
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Bramas, Quentin ; Oshman, Rotem ; Romano, Paolo

    Abstract | Document (294 KB) | BibTeX

    Big Data Processing: Security and Scalability Challenges (Invited Talk)
    Authors: Felber, Pascal

    Abstract | Document (155 KB) | BibTeX

    Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk)
    Authors: Keidar, Idit

    Abstract | Document (217 KB) | BibTeX

    Can We Automate Our Own Work - or Show That It Is Hard? (Invited Talk)
    Authors: Suomela, Jukka

    Abstract | Document (175 KB) | BibTeX

    Byzantine Lattice Agreement in Asynchronous Systems
    Authors: Zheng, Xiong ; Garg, Vijay

    Abstract | Document (513 KB) | BibTeX

    Heterogeneous Paxos
    Authors: Sheff, Isaac ; Wang, Xinwen ; van Renesse, Robbert ; Myers, Andrew C.

    Abstract | Document (567 KB) | BibTeX

    Multi-Threshold Asynchronous Reliable Broadcast and Consensus
    Authors: Hirt, Martin ; Kastrati, Ard ; Liu-Zhang, Chen-Da

    Abstract | Document (517 KB) | BibTeX

    Echo-CGC: A Communication-Efficient Byzantine-Tolerant Distributed Machine Learning Algorithm in Single-Hop Radio Network
    Authors: Zhang, Qinzi ; Tseng, Lewis

    Abstract | Document (511 KB) | BibTeX

    AKSEL: Fast Byzantine SGD
    Authors: Boussetta, Amine ; El-Mhamdi, El-Mahdi ; Guerraoui, Rachid ; Maurer, Alexandre ; Rouault, Sébastien

    Abstract | Document (1,348 KB) | BibTeX

    ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication
    Authors: Spiegelman, Alexander ; Rinberg, Arik ; Malkhi, Dahlia

    Abstract | Document (1,645 KB) | BibTeX

    Security Analysis of Ripple Consensus
    Authors: Amores-Sesar, Ignacio ; Cachin, Christian ; Mićić, Jovana

    Abstract | Document (1,122 KB) | BibTeX

    Information Theoretic HotStuff
    Authors: Abraham, Ittai ; Stern, Gilad

    Abstract | Document (466 KB) | BibTeX

    Rational Behaviors in Committee-Based Blockchains
    Authors: Amoussou-Guenou, Yackolley ; Biais, Bruno ; Potop-Butucaru, Maria ; Tucci-Piergiovanni, Sara

    Abstract | Document (585 KB) | BibTeX

    Relaxed Queues and Stacks from Read/Write Operations
    Authors: Castañeda, Armando ; Rajsbaum, Sergio ; Raynal, Michel

    Abstract | Document (687 KB) | BibTeX

    Fast and Space-Efficient Queues via Relaxation
    Authors: Wade, Dempsey ; Talmage, Edward

    Abstract | Document (483 KB) | BibTeX

    Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity
    Authors: Katzan, Daniel ; Morrison, Adam

    Abstract | Document (552 KB) | BibTeX

    Optimal Resilience in Systems That Mix Shared Memory and Message Passing
    Authors: Attiya, Hagit ; Kumari, Sweta ; Schiller, Noa

    Abstract | Document (553 KB) | BibTeX

    CSR++: A Fast, Scalable, Update-Friendly Graph Data Structure
    Authors: Firmli, Soukaina ; Trigonakis, Vasileios ; Lozi, Jean-Pierre ; Psaroudakis, Iraklis ; Weld, Alexander ; Chiadmi, Dalila ; Hong, Sungpack ; Chafi, Hassan

    Abstract | Document (607 KB) | BibTeX

    Locally Solvable Tasks and the Limitations of Valency Arguments
    Authors: Attiya, Hagit ; Castañeda, Armando ; Rajsbaum, Sergio

    Abstract | Document (1,055 KB) | BibTeX

    Approximate Majority with Catalytic Inputs
    Authors: Amir, Talley ; Aspnes, James ; Lazarsfeld, John

    Abstract | Document (792 KB) | BibTeX

    Distributed Runtime Verification Under Partial Synchrony
    Authors: Ganguly, Ritam ; Momtaz, Anik ; Bonakdarpour, Borzoo

    Abstract | Document (649 KB) | BibTeX

    Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems
    Authors: Samadi, Mahboubeh ; Ghassemi, Fatemeh ; Khosravi, Ramtin

    Abstract | Document (745 KB) | BibTeX

    Broadcasting Competitively Against Adaptive Adversary in Multi-Channel Radio Networks
    Authors: Chen, Haimin ; Zheng, Chaodong

    Abstract | Document (589 KB) | BibTeX

    Dynamic Byzantine Reliable Broadcast
    Authors: Guerraoui, Rachid ; Komatovic, Jovan ; Kuznetsov, Petr ; Pignolet, Yvonne-Anne ; Seredinschi, Dragos-Adrian ; Tonkikh, Andrei

    Abstract | Document (1,150 KB) | BibTeX

    Broadcasting with Mobile Agents in Dynamic Networks
    Authors: Das, Shantanu ; Giachoudis, Nikos ; Luccio, Flaminia L. ; Markou, Euripides

    Abstract | Document (501 KB) | BibTeX

    On Broadcast in Generalized Network and Adversarial Models
    Authors: Liu-Zhang, Chen-Da ; Maram, Varun ; Maurer, Ueli

    Abstract | Document (792 KB) | BibTeX

    Maximally Resilient Replacement Paths for a Family of Product Graphs
    Authors: Parham, Mahmoud ; Foerster, Klaus-Tycho ; Kosic, Petar ; Schmid, Stefan

    Abstract | Document (550 KB) | BibTeX

    Self-Stabilizing Byzantine-Resilient Communication in Dynamic Networks
    Authors: Maurer, Alexandre

    Abstract | Document (437 KB) | BibTeX

    Fast Deterministic Algorithms for Highly-Dynamic Networks
    Authors: Censor-Hillel, Keren ; Dafni, Neta ; Kolobov, Victor I. ; Paz, Ami ; Schwartzman, Gregory

    Abstract | Document (506 KB) | BibTeX

    Approximating Bipartite Minimum Vertex Cover in the CONGEST Model
    Authors: Faour, Salwa ; Kuhn, Fabian

    Abstract | Document (534 KB) | BibTeX

    Distributed Distance Approximation
    Authors: Ancona, Bertie ; Censor-Hillel, Keren ; Dalirrooyfard, Mina ; Efron, Yuval ; Vassilevska Williams, Virginia

    Abstract | Document (575 KB) | BibTeX

    Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs
    Authors: Feldmann, Michael ; Hinnenthal, Kristian ; Scheideler, Christian

    Abstract | Document (497 KB) | BibTeX

    Secured Distributed Algorithms Without Hardness Assumptions
    Authors: Barenboim, Leonid ; Levin, Harel

    Abstract | Document (539 KB) | BibTeX

    Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs
    Authors: Yasumi, Hiroto ; Ooshita, Fukuhito ; Inoue, Michiko ; Tixeuil, Sébastien

    Abstract | Document (499 KB) | BibTeX

    		  



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