LIPIcs, Volume 95, OPODIS 2017

• James Aspnes, Alysson Bessani, Pascal Felber, and João Leitão LIPIcs, Volume 95, OPODIS'17, Complete Volume 10.4230/LIPIcs.OPODIS.2017
• James Aspnes, Alysson Bessani, Pascal Felber, and João Leitão Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.OPODIS.2017.0
• Luís Rodrigues Causality for the Masses: Offering Fresh Data, Low Latency, and High Throughput 10.4230/LIPIcs.OPODIS.2017.1
• Conrad Burchert and Roger Wattenhofer piChain: When a Blockchain meets Paxos 10.4230/LIPIcs.OPODIS.2017.2
• Fabian Kuhn and Philipp Schneider Broadcasting in an Unreliable SINR Model 10.4230/LIPIcs.OPODIS.2017.3
• Janne H. Korhonen and Joel Rybicki Deterministic Subgraph Detection in Broadcast CONGEST 10.4230/LIPIcs.OPODIS.2017.4
• Michael Dinitz and Yasamin Nazari Distributed Distance-Bounded Network Design Through Distributed Convex Programming 10.4230/LIPIcs.OPODIS.2017.5
• Tzlil Gonen and Rotem Oshman Lower Bounds for Subgraph Detection in the CONGEST Model 10.4230/LIPIcs.OPODIS.2017.6
• Tingzhe Zhou, Victor Luchangco, and Michael Spear Extending Transactional Memory with Atomic Deferral 10.4230/LIPIcs.OPODIS.2017.7
• Panagiota Fatourou and Nikolaos D. Kallimanis Lock Oscillation: Boosting the Performance of Concurrent Data Structures 10.4230/LIPIcs.OPODIS.2017.8
• Damien Imbs, Petr Kuznetsov, and Thibault Rieutord Progress-Space Tradeoffs in Single-Writer Memory Implementations 10.4230/LIPIcs.OPODIS.2017.9
• Nachshon Cohen, Maurice Herlihy, Erez Petrank, and Elias Wald The Teleportation Design Pattern for Hardware Transactional Memory 10.4230/LIPIcs.OPODIS.2017.10
• Huda Chuangpishit, Saeed Mehrabi, Lata Narayanan, and Jaroslav Opatrny Evacuating an Equilateral Triangle in the Face-to-Face Model 10.4230/LIPIcs.OPODIS.2017.11
• Ha Thi Thu Doan, François Bonnet, and Kazuhiro Ogata Model Checking of Robot Gathering 10.4230/LIPIcs.OPODIS.2017.12
• Yusaku Tomita, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita Plane Formation by Synchronous Mobile Robots without Chirality 10.4230/LIPIcs.OPODIS.2017.13
• Stefan Dobrev, Rastislav Královic, and Dana Pardubská Treasure Hunt with Barely Communicating Agents 10.4230/LIPIcs.OPODIS.2017.14
• Bogdan S. Chlebus, Gianluca De Marco, and Muhammed Talo Anonymous Processors with Synchronous Shared Memory: Monte Carlo Algorithms 10.4230/LIPIcs.OPODIS.2017.15
• Hagit Attiya and Arie Fouren Lower Bounds on the Amortized Time Complexity of Shared Objects 10.4230/LIPIcs.OPODIS.2017.16
• Rotem Dvir and Gadi Taubenfeld Mutual Exclusion Algorithms with Constant RMR Complexity and Wait-Free Exit Code 10.4230/LIPIcs.OPODIS.2017.17
• Hagit Attiya and Gili Yavneh Remote Memory References at Block Granularity 10.4230/LIPIcs.OPODIS.2017.18
• Hiroto Yasumi, Fukuhito Ooshita, Ken'ichi Yamaguchi, and Michiko Inoue Constant-Space Population Protocols for Uniform Bipartition 10.4230/LIPIcs.OPODIS.2017.19
• Himanshu Chauhan and Vijay K. Garg Fast Detection of Stable and Count Predicates in Parallel Computations 10.4230/LIPIcs.OPODIS.2017.20
• Keren Censor-Hillel and Michal Dory Fast Distributed Approximation for TAP and 2-Edge-Connectivity 10.4230/LIPIcs.OPODIS.2017.21
• Susumu Nishimura Schlegel Diagram and Optimizable Immediate Snapshot Protocol 10.4230/LIPIcs.OPODIS.2017.22
• Tim Jungnickel, Lennart Oldenburg, and Matthias Loibl Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types 10.4230/LIPIcs.OPODIS.2017.23
• Gonçalo Cabrita and Nuno Preguiça Non-Uniform Replication 10.4230/LIPIcs.OPODIS.2017.24
• Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, and Alexander Spiegelman Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus 10.4230/LIPIcs.OPODIS.2017.25
• Eduardo Alchieri, Alysson Bessani, Fabíola Greve, and Joni da Silva Fraga Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage 10.4230/LIPIcs.OPODIS.2017.26
• Roy Friedman and Roni Licher Hardening Cassandra Against Byzantine Failures 10.4230/LIPIcs.OPODIS.2017.27
• André Joaquim, Miguel L. Pardal, and Miguel Correia Vulnerability-Tolerant Transport Layer Security 10.4230/LIPIcs.OPODIS.2017.28
• Adam Shimi, Aurélie Hurault, and Philippe Quéinnec Asynchronous Message Orderings Beyond Causality 10.4230/LIPIcs.OPODIS.2017.29
• Tuomo Lempiäinen and Jukka Suomela Constant Space and Non-Constant Time in Distributed Computing 10.4230/LIPIcs.OPODIS.2017.30
• Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, and Yukiko Yamauchi Shape Formation by Programmable Particles 10.4230/LIPIcs.OPODIS.2017.31
• Marijana Lazic, Igor Konnov, Josef Widder, and Roderick Bloem Synthesis of Distributed Algorithms with Parameterized Threshold Guards 10.4230/LIPIcs.OPODIS.2017.32