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
  • Abraham, Ittai
  • Alchieri, Eduardo
  • Aspnes, James
  • Attiya, Hagit
  • Bessani, Alysson
  • Bloem, Roderick
  • Bonnet, François
  • Burchert, Conrad
  • Cabrita, Gonçalo
  • Censor-Hillel, Keren
  • Chauhan, Himanshu
  • Chlebus, Bogdan S.
  • Chuangpishit, Huda
  • Cohen, Nachshon
  • Correia, Miguel
  • De Marco, Gianluca
  • Di Luna, Giuseppe A.
  • Dinitz, Michael
  • Doan, Ha Thi Thu
  • Dobrev, Stefan
  • Dory, Michal
  • Dvir, Rotem
  • Fatourou, Panagiota
  • Felber, Pascal
  • Flocchini, Paola
  • Fouren, Arie
  • Fraga, Joni da Silva
  • Friedman, Roy
  • Garg, Vijay K.
  • Gonen, Tzlil
  • Greve, Fabíola
  • Herlihy, Maurice
  • Hurault, Aurélie
  • Imbs, Damien
  • Inoue, Michiko
  • Joaquim, André
  • Jungnickel, Tim
  • Kallimanis, Nikolaos D.
  • Kijima, Shuji
  • Konnov, Igor
  • Korhonen, Janne H.
  • Královic, Rastislav
  • Kuhn, Fabian
  • Kuznetsov, Petr
  • Lazic, Marijana
  • Leitão, João
  • Lempiäinen, Tuomo
  • Licher, Roni
  • Loibl, Matthias
  • Luchangco, Victor
  • Malkhi, Dahlia
  • Mehrabi, Saeed
  • Narayanan, Lata
  • Nayak, Kartik
  • Nazari, Yasamin
  • Nishimura, Susumu
  • Ogata, Kazuhiro
  • Oldenburg, Lennart
  • Ooshita, Fukuhito
  • Opatrny, Jaroslav
  • Oshman, Rotem
  • Pardal, Miguel L.
  • Pardubská, Dana
  • Petrank, Erez
  • Preguiça, Nuno
  • Quéinnec, Philippe
  • Ren, Ling
  • Rieutord, Thibault
  • Rodrigues, Luís
  • Rybicki, Joel
  • Santoro, Nicola
  • Schneider, Philipp
  • Shimi, Adam
  • Spear, Michael
  • Spiegelman, Alexander
  • Suomela, Jukka
  • Talo, Muhammed
  • Taubenfeld, Gadi
  • Tomita, Yusaku
  • Viglietta, Giovanni
  • Wald, Elias
  • Wattenhofer, Roger
  • Widder, Josef
  • Yamaguchi, Ken'ichi
  • Yamashita, Masafumi
  • Yamauchi, Yukiko
  • Yasumi, Hiroto
  • Yavneh, Gili
  • Zhou, Tingzhe

  •   
    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 Published by LZI