OPODIS B

35 papers

YearTitle / Authors
202124th International Conference on Principles of Distributed Systems, OPODIS 2020, Strasbourg, France (Virtual Conference), December 14-16, 2020
Quentin Bramas, Rotem Oshman, Paolo Romano
2020ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication.
Alexander Spiegelman, Arik Rinberg, Dahlia Malkhi
2020AKSEL: Fast Byzantine SGD.
Amine Boussetta, El-Mahdi El-Mhamdi, Rachid Guerraoui, Alexandre Maurer, Sébastien Rouault
2020Approximate Majority with Catalytic Inputs.
Talley Amir, James Aspnes, John Lazarsfeld
2020Approximating Bipartite Minimum Vertex Cover in the CONGEST Model.
Salwa Faour, Fabian Kuhn
2020Big Data Processing: Security and Scalability Challenges (Invited Talk).
Pascal Felber
2020Broadcasting Competitively Against Adaptive Adversary in Multi-Channel Radio Networks.
Haimin Chen, Chaodong Zheng
2020Broadcasting with Mobile Agents in Dynamic Networks.
Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
2020Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk).
Idit Keidar
2020Byzantine Lattice Agreement in Asynchronous Systems.
Xiong Zheng, Vijay K. Garg
2020CSR++: A Fast, Scalable, Update-Friendly Graph Data Structure.
Soukaina Firmli, Vasileios Trigonakis, Jean-Pierre Lozi, Iraklis Psaroudakis, Alexander Weld, Dalila Chiadmi, Sungpack Hong, Hassan Chafi
2020Can We Automate Our Own Work - or Show That It Is Hard? (Invited Talk).
Jukka Suomela
2020Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems.
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
2020Distributed Distance Approximation.
Bertie Ancona, Keren Censor-Hillel, Mina Dalirrooyfard, Yuval Efron, Virginia Vassilevska Williams
2020Distributed Runtime Verification Under Partial Synchrony.
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour
2020Dynamic Byzantine Reliable Broadcast.
Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh
2020Echo-CGC: A Communication-Efficient Byzantine-Tolerant Distributed Machine Learning Algorithm in Single-Hop Radio Network.
Qinzi Zhang, Lewis Tseng
2020Fast Deterministic Algorithms for Highly-Dynamic Networks.
Keren Censor-Hillel, Neta Dafni, Victor I. Kolobov, Ami Paz, Gregory Schwartzman
2020Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.
Michael Feldmann, Kristian Hinnenthal, Christian Scheideler
2020Fast and Space-Efficient Queues via Relaxation.
Dempsey Wade, Edward Talmage
2020Front Matter, Table of Contents, Preface, Conference Organization.
2020Heterogeneous Paxos.
Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
2020Information Theoretic HotStuff.
Ittai Abraham, Gilad Stern
2020Locally Solvable Tasks and the Limitations of Valency Arguments.
Hagit Attiya, Armando Castañeda, Sergio Rajsbaum
2020Maximally Resilient Replacement Paths for a Family of Product Graphs.
Mahmoud Parham, Klaus-Tycho Foerster, Petar Kosic, Stefan Schmid
2020Multi-Threshold Asynchronous Reliable Broadcast and Consensus.
Martin Hirt, Ard Kastrati, Chen-Da Liu-Zhang
2020On Broadcast in Generalized Network and Adversarial Models.
Chen-Da Liu-Zhang, Varun Maram, Ueli Maurer
2020Optimal Resilience in Systems That Mix Shared Memory and Message Passing.
Hagit Attiya, Sweta Kumari, Noa Schiller
2020Rational Behaviors in Committee-Based Blockchains.
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2020Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity.
Daniel Katzan, Adam Morrison
2020Relaxed Queues and Stacks from Read/Write Operations.
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2020Secured Distributed Algorithms Without Hardness Assumptions.
Leonid Barenboim, Harel Levin
2020Security Analysis of Ripple Consensus.
Ignacio Amores-Sesar, Christian Cachin, Jovana Micic
2020Self-Stabilizing Byzantine-Resilient Communication in Dynamic Networks.
Alexandre Maurer
2020Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs.
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil