| 2020 | Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs. | Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sbastien Tixeuil |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2020 | Fast and Space-Efficient Queues via Relaxation. | Dempsey Wade, Edward Talmage |
| 2020 | Can We Automate Our Own Work - or Show That It Is Hard? (Invited Talk). | Jukka Suomela |
| 2020 | ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication. | Alexander Spiegelman, Arik Rinberg, Dahlia Malkhi |
| 2020 | Heterogeneous Paxos. | Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers |
| 2020 | Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. | Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi |
| 2020 | Maximally Resilient Replacement Paths for a Family of Product Graphs. | Mahmoud Parham, Klaus-Tycho Foerster, Petar Kosic, Stefan Schmid |
| 2020 | Self-Stabilizing Byzantine-Resilient Communication in Dynamic Networks. | Alexandre Maurer |
| 2020 | On Broadcast in Generalized Network and Adversarial Models. | Chen-Da Liu-Zhang, Varun Maram, Ueli Maurer |
| 2020 | Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk). | Idit Keidar |
| 2020 | Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity. | Daniel Katzan, Adam Morrison |
| 2020 | Multi-Threshold Asynchronous Reliable Broadcast and Consensus. | Martin Hirt, Ard Kastrati, Chen-Da Liu-Zhang |
| 2020 | Dynamic Byzantine Reliable Broadcast. | Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh |
| 2020 | Distributed Runtime Verification Under Partial Synchrony. | Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour |
| 2020 | CSR++: 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 |
| 2020 | Big Data Processing: Security and Scalability Challenges (Invited Talk). | Pascal Felber |
| 2020 | Approximating Bipartite Minimum Vertex Cover in the CONGEST Model. | Salwa Faour, Fabian Kuhn |
| 2020 | Broadcasting Competitively Against Adaptive Adversary in Multi-Channel Radio Networks. | Haimin Chen, Chaodong Zheng |
| 2020 | Fast Deterministic Algorithms for Highly-Dynamic Networks. | Keren Censor-Hillel, Neta Dafni, Victor I. Kolobov, Ami Paz, Gregory Schwartzman |
| 2020 | Relaxed Queues and Stacks from Read/Write Operations. | Armando Castaeda, Sergio Rajsbaum, Michel Raynal |
| 2020 | AKSEL: Fast Byzantine SGD. | Amine Boussetta, El-Mahdi El-Mhamdi, Rachid Guerraoui, Alexandre Maurer, Sbastien Rouault |
| 2020 | Secured Distributed Algorithms Without Hardness Assumptions. | Leonid Barenboim, Harel Levin |
| 2020 | Optimal Resilience in Systems That Mix Shared Memory and Message Passing. | Hagit Attiya, Sweta Kumari, Noa Schiller |
| 2020 | Locally Solvable Tasks and the Limitations of Valency Arguments. | Hagit Attiya, Armando Castaeda, Sergio Rajsbaum |