OPODIS 2018 December 17-19, 2018 - Hong Kong, China

22nd International Conference on Principles of Distributed Systems (OPODIS 2018)



Jiannong Cao and Faith Ellen and Luis Rodrigues and Bernardo Ferreira (Eds.)
ISBN 978-3-95977-098-9, LIPICS Vol. 125 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 15 MB)
Search Publication Server


Authors
  • Abbadi, Amr El
  • Afek, Yehuda
  • Aksenov, Vitaly
  • Amoussou-Guenou, Yackolley
  • Atalar, Aras
  • Bonakdarpour, Borzoo
  • Cao, Jiannong
  • Censor-Hillel, Keren
  • Chugg, Ben
  • Collet, Simon
  • Condon, Anne
  • Czyzowicz, Jurek
  • Défago, Xavier
  • Datta, Ajoy K.
  • Del Pozzo, Antonella
  • Ellen, Faith
  • Emek, Yuval
  • Faghih, Fathiyeh
  • Ferreira, Bernardo
  • Foerster, Klaus-Tycho
  • Fraigniaud, Pierre
  • García-Pérez, Álvaro
  • Gilbert, Seth
  • Gotsman, Alexey
  • Goubault, Éric
  • Hashemi, Hooman
  • Huang, Yu
  • Hurault, Aurélie
  • Inamdar, Tanmay
  • Jacobs, Swen
  • Kakugawa, Hirotsugu
  • Kapitza, Rüdiger
  • Kelly, Robert
  • Killick, Ryan
  • Ko, Jeremy
  • Kolikant, Noa
  • Kozhaya, David
  • Kranakis, Evangelos
  • Kuznetsov, Petr
  • Larmore, Lawrence L.
  • Ledent, Jérémy
  • Leitersdorf, Dean
  • Li, Bijun
  • Lu, Jian
  • Lynch, Nancy
  • Maguire, Phil
  • Maric, Ognjen
  • Masuzawa, Toshimitsu
  • Mimram, Samuel
  • Mirzaie, Nahal
  • Molli, Pascal
  • Mostéfaoui, Achour
  • Nédelec, Brice
  • Newport, Calvin
  • Okumura, Takashi
  • Ooshita, Fukuhito
  • Pai, Shreyas
  • Pajak, Dominik
  • Parham, Mahmoud
  • Paz, Ami
  • Pearlmutter, Barak A.
  • Pemmaraju, Sriram V.
  • Penna, Paolo
  • Pignolet, Yvonne-Anne
  • Potop-Butucaru, Maria
  • Quéinnec, Philippe
  • Rüsch, Signe
  • Ravid, Noam
  • Renaud-Goud, Paul
  • Rodrigues, Luis
  • Sakavalas, Dimitris
  • Schmid, Stefan
  • Sen, Siddhartha
  • Shalyto, Anatoly
  • Shimi, Adam
  • Sudo, Yuichi
  • Tseng, Lewis
  • Tsigas, Philippas
  • Tucci-Piergiovanni, Sara
  • Turner, Elia
  • Vaidya, Nitin H.
  • Wada, Koichi
  • Wei, Hengfeng
  • Welch, Jennifer L.
  • Wen, Tao
  • Xu, Wenbo
  • Yanagisawa, Nayuta
  • Zheng, Chaodong

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Cao, Jiannong ; Ellen, Faith ; Rodrigues, Luis ; Ferreira, Bernardo

    Abstract | Document (342 KB) | BibTeX

    Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote)
    Authors: Welch, Jennifer L.

    Abstract | Document (156 KB) | BibTeX

    Distributed Systems and Databases of the Globe Unite! The Cloud, the Edge and Blockchains (Keynote)
    Authors: Abbadi, Amr El

    Abstract | Document (158 KB) | BibTeX

    How to Make Decisions (Optimally) (Keynote)
    Authors: Sen, Siddhartha

    Abstract | Document (176 KB) | BibTeX

    Sparse Matrix Multiplication and Triangle Listing in the Congested Clique Model
    Authors: Censor-Hillel, Keren ; Leitersdorf, Dean ; Turner, Elia

    Abstract | Document (583 KB) | BibTeX

    Large-Scale Distributed Algorithms for Facility Location with Outliers
    Authors: Inamdar, Tanmay ; Pai, Shreyas ; Pemmaraju, Sriram V.

    Abstract | Document (505 KB) | BibTeX

    Equilibria of Games in Networks for Local Tasks
    Authors: Collet, Simon ; Fraigniaud, Pierre ; Penna, Paolo

    Abstract | Document (574 KB) | BibTeX

    The Sparsest Additive Spanner via Multiple Weighted BFS Trees
    Authors: Censor-Hillel, Keren ; Paz, Ami ; Ravid, Noam

    Abstract | Document (536 KB) | BibTeX

    The Amortized Analysis of a Non-blocking Chromatic Tree
    Authors: Ko, Jeremy

    Abstract | Document (465 KB) | BibTeX

    Lock-Free Search Data Structures: Throughput Modeling with Poisson Processes
    Authors: Atalar, Aras ; Renaud-Goud, Paul ; Tsigas, Philippas

    Abstract | Document (556 KB) | BibTeX

    Concurrent Robin Hood Hashing
    Authors: Kelly, Robert ; Pearlmutter, Barak A. ; Maguire, Phil

    Abstract | Document (725 KB) | BibTeX

    Parallel Combining: Benefits of Explicit Synchronization
    Authors: Aksenov, Vitaly ; Kuznetsov, Petr ; Shalyto, Anatoly

    Abstract | Document (608 KB) | BibTeX

    Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
    Authors: Wei, Hengfeng ; Huang, Yu ; Lu, Jian

    Abstract | Document (1,024 KB) | BibTeX

    Local Fast Segment Rerouting on Hypercubes
    Authors: Foerster, Klaus-Tycho ; Parham, Mahmoud ; Schmid, Stefan ; Wen, Tao

    Abstract | Document (1,354 KB) | BibTeX

    Effects of Topology Knowledge and Relay Depth on Asynchronous Appoximate Consensus
    Authors: Sakavalas, Dimitris ; Tseng, Lewis ; Vaidya, Nitin H.

    Abstract | Document (582 KB) | BibTeX

    Hybrid Fault-Tolerant Consensus in Asynchronous and Wireless Embedded Systems
    Authors: Xu, Wenbo ; Rüsch, Signe ; Li, Bijun ; Kapitza, Rüdiger

    Abstract | Document (505 KB) | BibTeX

    Correctness of Tendermint-Core Blockchains
    Authors: Amoussou-Guenou, Yackolley ; Del Pozzo, Antonella ; Potop-Butucaru, Maria ; Tucci-Piergiovanni, Sara

    Abstract | Document (545 KB) | BibTeX

    Federated Byzantine Quorum Systems
    Authors: García-Pérez, Álvaro ; Gotsman, Alexey

    Abstract | Document (481 KB) | BibTeX

    Characterizing Asynchronous Message-Passing Models Through Rounds
    Authors: Shimi, Adam ; Hurault, Aurélie ; Quéinnec, Philippe

    Abstract | Document (475 KB) | BibTeX

    You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings
    Authors: Kozhaya, David ; Maric, Ognjen ; Pignolet, Yvonne-Anne

    Abstract | Document (637 KB) | BibTeX

    Causal Broadcast: How to Forget?
    Authors: Nédelec, Brice ; Molli, Pascal ; Mostéfaoui, Achour

    Abstract | Document (703 KB) | BibTeX

    Output-Oblivious Stochastic Chemical Reaction Networks
    Authors: Chugg, Ben ; Hashemi, Hooman ; Condon, Anne

    Abstract | Document (567 KB) | BibTeX

    The Synergy of Finite State Machines
    Authors: Afek, Yehuda ; Emek, Yuval ; Kolikant, Noa

    Abstract | Document (462 KB) | BibTeX

    Task Computability in Unreliable Anonymous Networks
    Authors: Kuznetsov, Petr ; Yanagisawa, Nayuta

    Abstract | Document (684 KB) | BibTeX

    Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights
    Authors: Okumura, Takashi ; Wada, Koichi ; Défago, Xavier

    Abstract | Document (500 KB) | BibTeX

    Linear Rendezvous with Asymmetric Clocks
    Authors: Czyzowicz, Jurek ; Killick, Ryan ; Kranakis, Evangelos

    Abstract | Document (480 KB) | BibTeX

    Approximate Neighbor Counting in Radio Networks
    Authors: Newport, Calvin ; Zheng, Chaodong

    Abstract | Document (446 KB) | BibTeX

    On Simple Back-Off in Unreliable Radio Networks
    Authors: Gilbert, Seth ; Lynch, Nancy ; Newport, Calvin ; Pajak, Dominik

    Abstract | Document (529 KB) | BibTeX

    Concurrent Specifications Beyond Linearizability
    Authors: Goubault, Éric ; Ledent, Jérémy ; Mimram, Samuel

    Abstract | Document (510 KB) | BibTeX

    Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
    Authors: Mirzaie, Nahal ; Faghih, Fathiyeh ; Jacobs, Swen ; Bonakdarpour, Borzoo

    Abstract | Document (517 KB) | BibTeX

    Loosely-Stabilizing Leader Election with Polylogarithmic Convergence Time
    Authors: Sudo, Yuichi ; Ooshita, Fukuhito ; Kakugawa, Hirotsugu ; Masuzawa, Toshimitsu ; Datta, Ajoy K. ; Larmore, Lawrence L.

    Abstract | Document (568 KB) | BibTeX

    Self-Stabilizing Token Distribution with Constant-Space for Trees
    Authors: Sudo, Yuichi ; Datta, Ajoy K. ; Larmore, Lawrence L. ; Masuzawa, Toshimitsu

    Abstract | Document (620 KB) | BibTeX

      




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