Portal - OPODIS 2017

OPODIS 2017	December 18-20, 2017 - Lisbon, Portugal
21st International Conference on Principles of Distributed Systems (OPODIS 2017) James Aspnes and Alysson Bessani and Pascal Felber and João Leitão (Eds.)
ISBN 978-3-95977-061-3, LIPICS Vol. 95	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 20 MB)
Search Publication Server

Authors

Kallimanis, Nikolaos D.

Spiegelman, Alexander

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Aspnes, James ; Bessani, Alysson ; Felber, Pascal ; Leitão, João

Abstract | Document (389 KB) | BibTeX

Causality for the Masses: Offering Fresh Data, Low Latency, and High Throughput

Authors: Rodrigues, Luís

Abstract | Document (225 KB) | BibTeX

piChain: When a Blockchain meets Paxos

Authors: Burchert, Conrad ; Wattenhofer, Roger

Abstract | Document (513 KB) | BibTeX

Broadcasting in an Unreliable SINR Model

Authors: Kuhn, Fabian ; Schneider, Philipp

Abstract | Document (636 KB) | BibTeX

Deterministic Subgraph Detection in Broadcast CONGEST

Authors: Korhonen, Janne H. ; Rybicki, Joel

Abstract | Document (643 KB) | BibTeX

Distributed Distance-Bounded Network Design Through Distributed Convex Programming

Authors: Dinitz, Michael ; Nazari, Yasamin

Abstract | Document (618 KB) | BibTeX

Lower Bounds for Subgraph Detection in the CONGEST Model

Authors: Gonen, Tzlil ; Oshman, Rotem

Abstract | Document (591 KB) | BibTeX

Extending Transactional Memory with Atomic Deferral

Authors: Zhou, Tingzhe ; Luchangco, Victor ; Spear, Michael

Abstract | Document (640 KB) | BibTeX

Lock Oscillation: Boosting the Performance of Concurrent Data Structures

Authors: Fatourou, Panagiota ; Kallimanis, Nikolaos D.

Abstract | Document (1,624 KB) | BibTeX

Progress-Space Tradeoffs in Single-Writer Memory Implementations

Authors: Imbs, Damien ; Kuznetsov, Petr ; Rieutord, Thibault

Abstract | Document (578 KB) | BibTeX

The Teleportation Design Pattern for Hardware Transactional Memory

Authors: Cohen, Nachshon ; Herlihy, Maurice ; Petrank, Erez ; Wald, Elias

Abstract | Document (1,514 KB) | BibTeX

Evacuating an Equilateral Triangle in the Face-to-Face Model

Authors: Chuangpishit, Huda ; Mehrabi, Saeed ; Narayanan, Lata ; Opatrny, Jaroslav

Abstract | Document (631 KB) | BibTeX

Model Checking of Robot Gathering

Authors: Doan, Ha Thi Thu ; Bonnet, François ; Ogata, Kazuhiro

Abstract | Document (604 KB) | BibTeX

Plane Formation by Synchronous Mobile Robots without Chirality

Authors: Tomita, Yusaku ; Yamauchi, Yukiko ; Kijima, Shuji ; Yamashita, Masafumi

Abstract | Document (564 KB) | BibTeX

Treasure Hunt with Barely Communicating Agents

Authors: Dobrev, Stefan ; Královic, Rastislav ; Pardubská, Dana

Abstract | Document (477 KB) | BibTeX

Anonymous Processors with Synchronous Shared Memory: Monte Carlo Algorithms

Authors: Chlebus, Bogdan S. ; De Marco, Gianluca ; Talo, Muhammed

Abstract | Document (517 KB) | BibTeX

Lower Bounds on the Amortized Time Complexity of Shared Objects

Authors: Attiya, Hagit ; Fouren, Arie

Abstract | Document (1,349 KB) | BibTeX

Mutual Exclusion Algorithms with Constant RMR Complexity and Wait-Free Exit Code

Authors: Dvir, Rotem ; Taubenfeld, Gadi

Abstract | Document (453 KB) | BibTeX

Remote Memory References at Block Granularity

Authors: Attiya, Hagit ; Yavneh, Gili

Abstract | Document (529 KB) | BibTeX

Constant-Space Population Protocols for Uniform Bipartition

Authors: Yasumi, Hiroto ; Ooshita, Fukuhito ; Yamaguchi, Ken'ichi ; Inoue, Michiko

Abstract | Document (513 KB) | BibTeX

Fast Detection of Stable and Count Predicates in Parallel Computations

Authors: Chauhan, Himanshu ; Garg, Vijay K.

Abstract | Document (611 KB) | BibTeX

Fast Distributed Approximation for TAP and 2-Edge-Connectivity

Authors: Censor-Hillel, Keren ; Dory, Michal

Abstract | Document (635 KB) | BibTeX

Schlegel Diagram and Optimizable Immediate Snapshot Protocol

Authors: Nishimura, Susumu

Abstract | Document (686 KB) | BibTeX

Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types

Authors: Jungnickel, Tim ; Oldenburg, Lennart ; Loibl, Matthias

Abstract | Document (565 KB) | BibTeX

Non-Uniform Replication

Authors: Cabrita, Gonçalo ; Preguiça, Nuno

Abstract | Document (672 KB) | BibTeX

Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus

Authors: Abraham, Ittai ; Malkhi, Dahlia ; Nayak, Kartik ; Ren, Ling ; Spiegelman, Alexander

Abstract | Document (565 KB) | BibTeX

Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage

Authors: Alchieri, Eduardo ; Bessani, Alysson ; Greve, Fabíola ; Fraga, Joni da Silva

Abstract | Document (801 KB) | BibTeX

Hardening Cassandra Against Byzantine Failures

Authors: Friedman, Roy ; Licher, Roni

Abstract | Document (1,962 KB) | BibTeX

Vulnerability-Tolerant Transport Layer Security

Authors: Joaquim, André ; Pardal, Miguel L. ; Correia, Miguel

Abstract | Document (776 KB) | BibTeX

Asynchronous Message Orderings Beyond Causality

Authors: Shimi, Adam ; Hurault, Aurélie ; Quéinnec, Philippe

Abstract | Document (513 KB) | BibTeX

Constant Space and Non-Constant Time in Distributed Computing

Authors: Lempiäinen, Tuomo ; Suomela, Jukka

Abstract | Document (494 KB) | BibTeX

Shape Formation by Programmable Particles

Authors: Di Luna, Giuseppe A. ; Flocchini, Paola ; Santoro, Nicola ; Viglietta, Giovanni ; Yamauchi, Yukiko

Abstract | Document (569 KB) | BibTeX

Synthesis of Distributed Algorithms with Parameterized Threshold Guards

Authors: Lazic, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick

Abstract | Document (725 KB) | BibTeX

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

21st International Conference on Principles of Distributed Systems (OPODIS 2017)