LIPIcs, Volume 125, OPODIS 2018

• Jiannong Cao, Faith Ellen, Luis Rodrigues, and Bernardo Ferreira LIPIcs, Volume 125, OPODIS'18, Complete Volume 10.4230/LIPIcs.OPODIS.2018
• Jiannong Cao, Faith Ellen, Luis Rodrigues, and Bernardo Ferreira Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.OPODIS.2018.0
• Jennifer L. Welch Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote) 10.4230/LIPIcs.OPODIS.2018.1
• Amr El Abbadi Distributed Systems and Databases of the Globe Unite! The Cloud, the Edge and Blockchains (Keynote) 10.4230/LIPIcs.OPODIS.2018.2
• Siddhartha Sen How to Make Decisions (Optimally) (Keynote) 10.4230/LIPIcs.OPODIS.2018.3
• Keren Censor-Hillel, Dean Leitersdorf, and Elia Turner Sparse Matrix Multiplication and Triangle Listing in the Congested Clique Model 10.4230/LIPIcs.OPODIS.2018.4
• Tanmay Inamdar, Shreyas Pai, and Sriram V. Pemmaraju Large-Scale Distributed Algorithms for Facility Location with Outliers 10.4230/LIPIcs.OPODIS.2018.5
• Simon Collet, Pierre Fraigniaud, and Paolo Penna Equilibria of Games in Networks for Local Tasks 10.4230/LIPIcs.OPODIS.2018.6
• Keren Censor-Hillel, Ami Paz, and Noam Ravid The Sparsest Additive Spanner via Multiple Weighted BFS Trees 10.4230/LIPIcs.OPODIS.2018.7
• Jeremy Ko The Amortized Analysis of a Non-blocking Chromatic Tree 10.4230/LIPIcs.OPODIS.2018.8
• Aras Atalar, Paul Renaud-Goud, and Philippas Tsigas Lock-Free Search Data Structures: Throughput Modeling with Poisson Processes 10.4230/LIPIcs.OPODIS.2018.9
• Robert Kelly, Barak A. Pearlmutter, and Phil Maguire Concurrent Robin Hood Hashing 10.4230/LIPIcs.OPODIS.2018.10
• Vitaly Aksenov, Petr Kuznetsov, and Anatoly Shalyto Parallel Combining: Benefits of Explicit Synchronization 10.4230/LIPIcs.OPODIS.2018.11
• Hengfeng Wei, Yu Huang, and Jian Lu Specification and Implementation of Replicated List: The Jupiter Protocol Revisited 10.4230/LIPIcs.OPODIS.2018.12
• Klaus-Tycho Foerster, Mahmoud Parham, Stefan Schmid, and Tao Wen Local Fast Segment Rerouting on Hypercubes 10.4230/LIPIcs.OPODIS.2018.13
• Dimitris Sakavalas, Lewis Tseng, and Nitin H. Vaidya Effects of Topology Knowledge and Relay Depth on Asynchronous Appoximate Consensus 10.4230/LIPIcs.OPODIS.2018.14
• Wenbo Xu, Signe Rüsch, Bijun Li, and Rüdiger Kapitza Hybrid Fault-Tolerant Consensus in Asynchronous and Wireless Embedded Systems 10.4230/LIPIcs.OPODIS.2018.15
• Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, and Sara Tucci-Piergiovanni Correctness of Tendermint-Core Blockchains 10.4230/LIPIcs.OPODIS.2018.16
• Álvaro García-Pérez and Alexey Gotsman Federated Byzantine Quorum Systems 10.4230/LIPIcs.OPODIS.2018.17
• Adam Shimi, Aurélie Hurault, and Philippe Quéinnec Characterizing Asynchronous Message-Passing Models Through Rounds 10.4230/LIPIcs.OPODIS.2018.18
• David Kozhaya, Ognjen Maric, and Yvonne-Anne Pignolet You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings 10.4230/LIPIcs.OPODIS.2018.19
• Brice Nédelec, Pascal Molli, and Achour Mostéfaoui Causal Broadcast: How to Forget? 10.4230/LIPIcs.OPODIS.2018.20
• Ben Chugg, Hooman Hashemi, and Anne Condon Output-Oblivious Stochastic Chemical Reaction Networks 10.4230/LIPIcs.OPODIS.2018.21
• Yehuda Afek, Yuval Emek, and Noa Kolikant The Synergy of Finite State Machines 10.4230/LIPIcs.OPODIS.2018.22
• Petr Kuznetsov and Nayuta Yanagisawa Task Computability in Unreliable Anonymous Networks 10.4230/LIPIcs.OPODIS.2018.23
• Takashi Okumura, Koichi Wada, and Xavier Défago Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights 10.4230/LIPIcs.OPODIS.2018.24
• Jurek Czyzowicz, Ryan Killick, and Evangelos Kranakis Linear Rendezvous with Asymmetric Clocks 10.4230/LIPIcs.OPODIS.2018.25
• Calvin Newport and Chaodong Zheng Approximate Neighbor Counting in Radio Networks 10.4230/LIPIcs.OPODIS.2018.26
• Seth Gilbert, Nancy Lynch, Calvin Newport, and Dominik Pajak On Simple Back-Off in Unreliable Radio Networks 10.4230/LIPIcs.OPODIS.2018.27
• Éric Goubault, Jérémy Ledent, and Samuel Mimram Concurrent Specifications Beyond Linearizability 10.4230/LIPIcs.OPODIS.2018.28
• Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, and Borzoo Bonakdarpour Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings 10.4230/LIPIcs.OPODIS.2018.29
• Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta, and Lawrence L. Larmore Loosely-Stabilizing Leader Election with Polylogarithmic Convergence Time 10.4230/LIPIcs.OPODIS.2018.30
• Yuichi Sudo, Ajoy K. Datta, Lawrence L. Larmore, and Toshimitsu Masuzawa Self-Stabilizing Token Distribution with Constant-Space for Trees 10.4230/LIPIcs.OPODIS.2018.31