OPODIS B

34 papers

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