OPODIS 2019 December 17-19, 2019, Neuchâtel, Switzerland

23rd International Conference on Principles of Distributed Systems (OPODIS 2019)



Pascal Felber and Roy Friedman and Seth Gilbert and Avery Miller (Eds.)
ISBN 978-3-95977-133-7, LIPICS Vol. 153 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 32 MB)
Search Publication Server

Authors
  • Acharjee, Sumi
  • Afek, Yehuda
  • Alistarh, Dan
  • Auvolat, Alex
  • Bertier, Marin
  • Cachin, Christian
  • Censor-Hillel, Keren
  • Cepeda, Diego
  • Chatterjee, Krishnendu
  • Chen, Zhanhao
  • Chowdhury, Sakib
  • Coelho, Fábio
  • Das, Shantanu
  • de Azevedo Piovezan, Felipe
  • Di Luna, Giuseppe A.
  • Dinitz, Michael
  • Elvinger, Victorien
  • Emek, Yuval
  • Fatourou, Panagiota
  • Fedorov, Alexander
  • Felber, Pascal
  • Flocchini, Paola
  • Friedman, Roy
  • García-Pérez, Álvaro
  • Garg, Vijay K.
  • Gelles, Ran
  • Georgiou, Konstantinos
  • Gilbert, Seth
  • Golab, Wojciech
  • Gotoh, Tsuyoshi
  • Guerraoui, Rachid
  • Hadzilacos, Vassos
  • Harel, Itay
  • Harlev, Noga
  • Hassan, Ahmed
  • Hu, Xing
  • Ignat, Claudia-Lavinia
  • Inoue, Michiko
  • Iyer, Siddharth
  • Izumi, Taisuke
  • Jacob-Fanani, Amit
  • Kaippallimalil, John
  • Kallimanis, Nikolaos D.
  • Kamei, Sayaka
  • Kanellou, Eleni
  • Keidar, Idit
  • Khan, Muhammad Samir
  • Kishi, Masoomeh Javidi
  • Konwar, Kishori M.
  • Koval, Nikita
  • Kundu, Somnath
  • Kuznetsov, Petr
  • Lamani, Anissa
  • Lev-Ari, Kfir
  • Li, Nan
  • Lopez, Raphael
  • Lynch, Nancy
  • Machado, Nuno
  • Maia, Francisco
  • Malkhi, Dahlia
  • Masuzawa, Toshimitsu
  • Médard, Muriel
  • Miller, Avery
  • Moses, Yoram
  • Nanongkai, Danupon
  • Nazari, Yasamin
  • Nelson, Jacob
  • Neves, Francisco
  • Ooshita, Fukuhito
  • Palmieri, Roberto
  • Pereira, José
  • Pozidis, Haris
  • Prakash, N.
  • Raynal, Michel
  • Rieutord, Thibault
  • Rivière, Etienne
  • Santoro, Nicola
  • Schett, Maria A.
  • Schmid, Laura
  • Schmid, Stefan
  • Schmid, Ulrich
  • Scquizzato, Michele
  • Spiegelman, Alexander
  • Srinivasan, Akshaya
  • Sulamy, Moshe
  • Tackmann, Björn
  • Taïani, François
  • Tato, Genc
  • Tedeschi, Cédric
  • Tixeuil, Sébastien
  • Toueg, Sam
  • Tseng, Lewis
  • Tucci-Piergiovanni, Sara
  • Vaidya, Nitin H.
  • Viglietta, Giovanni
  • Wada, Koichi
  • Wang, Xinzhe
  • Winkler, Kyrill
  • Yamashita, Masafumi
  • Yasumi, Hiroto
  • Yu, Weihai
  • Zheng, Xiong
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Felber, Pascal ; Friedman, Roy ; Gilbert, Seth ; Miller, Avery

    Abstract | Document (317 KB) | BibTeX

    Demystifying Bitcoin (Keynote Abstract)
    Authors: Guerraoui, Rachid

    Abstract | Document (177 KB) | BibTeX

    Distributed Optimization And Approximation: How Difficult Can It Be? (Keynote Abstract)
    Authors: Censor-Hillel, Keren

    Abstract | Document (179 KB) | BibTeX

    Snap ML - Accelerated Machine Learning for Big Data (Keynote Abstract)
    Authors: Pozidis, Haris

    Abstract | Document (159 KB) | BibTeX

    FairLedger: A Fair Blockchain Protocol for Financial Institutions
    Authors: Lev-Ari, Kfir ; Spiegelman, Alexander ; Keidar, Idit ; Malkhi, Dahlia

    Abstract | Document (585 KB) | BibTeX

    Deconstructing Stellar Consensus
    Authors: García-Pérez, Álvaro ; Schett, Maria A.

    Abstract | Document (586 KB) | BibTeX

    Byzantine-Tolerant Set-Constrained Delivery Broadcast
    Authors: Auvolat, Alex ; Raynal, Michel ; Taïani, François

    Abstract | Document (627 KB) | BibTeX

    Asymmetric Distributed Trust
    Authors: Cachin, Christian ; Tackmann, Björn

    Abstract | Document (707 KB) | BibTeX

    Uniform Partition in Population Protocol Model Under Weak Fairness
    Authors: Yasumi, Hiroto ; Ooshita, Fukuhito ; Inoue, Michiko

    Abstract | Document (435 KB) | BibTeX

    Split and Migrate: Resource-Driven Placement and Discovery of Microservices at the Edge
    Authors: Tato, Genc ; Bertier, Marin ; Rivière, Etienne ; Tedeschi, Cédric

    Abstract | Document (732 KB) | BibTeX

    HaTS: Hardware-Assisted Transaction Scheduler
    Authors: Chen, Zhanhao ; Hassan, Ahmed ; Kishi, Masoomeh Javidi ; Nelson, Jacob ; Palmieri, Roberto

    Abstract | Document (802 KB) | BibTeX

    Minha: Large-Scale Distributed Systems Testing Made Practical
    Authors: Machado, Nuno ; Maia, Francisco ; Neves, Francisco ; Coelho, Fábio ; Pereira, José

    Abstract | Document (599 KB) | BibTeX

    Fast Lean Erasure-Coded Atomic Memory Object
    Authors: Konwar, Kishori M. ; Prakash, N. ; Médard, Muriel ; Lynch, Nancy

    Abstract | Document (1,432 KB) | BibTeX

    Interactive Coding Resilient to an Unknown Number of Erasures
    Authors: Gelles, Ran ; Iyer, Siddharth

    Abstract | Document (531 KB) | BibTeX

    A Generic Undo Support for State-Based CRDTs
    Authors: Yu, Weihai ; Elvinger, Victorien ; Ignat, Claudia-Lavinia

    Abstract | Document (478 KB) | BibTeX

    In Search of the Fastest Concurrent Union-Find Algorithm
    Authors: Alistarh, Dan ; Fedorov, Alexander ; Koval, Nikita

    Abstract | Document (12,768 KB) | BibTeX

    On Deterministic Linearizable Set Agreement Objects
    Authors: de Azevedo Piovezan, Felipe ; Hadzilacos, Vassos ; Toueg, Sam

    Abstract | Document (859 KB) | BibTeX

    A Characterization of Consensus Solvability for Closed Message Adversaries
    Authors: Winkler, Kyrill ; Schmid, Ulrich ; Moses, Yoram

    Abstract | Document (600 KB) | BibTeX

    An Efficient Universal Construction for Large Objects
    Authors: Fatourou, Panagiota ; Kallimanis, Nikolaos D. ; Kanellou, Eleni

    Abstract | Document (646 KB) | BibTeX

    Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives
    Authors: Cepeda, Diego ; Chowdhury, Sakib ; Li, Nan ; Lopez, Raphael ; Wang, Xinzhe ; Golab, Wojciech

    Abstract | Document (916 KB) | BibTeX

    Consensus in Equilibrium: Can One Against All Decide Fairly?
    Authors: Harel, Itay ; Jacob-Fanani, Amit ; Sulamy, Moshe ; Afek, Yehuda

    Abstract | Document (512 KB) | BibTeX

    The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game
    Authors: Schmid, Laura ; Chatterjee, Krishnendu ; Schmid, Stefan

    Abstract | Document (616 KB) | BibTeX

    Tight Bounds on Distributed Exploration of Temporal Graphs
    Authors: Gotoh, Tsuyoshi ; Flocchini, Paola ; Masuzawa, Toshimitsu ; Santoro, Nicola

    Abstract | Document (619 KB) | BibTeX

    Parallel and Distributed Algorithms for the Housing Allocation Problem
    Authors: Zheng, Xiong ; Garg, Vijay K.

    Abstract | Document (513 KB) | BibTeX

    Oblivious Permutations on the Plane
    Authors: Das, Shantanu ; Di Luna, Giuseppe A. ; Flocchini, Paola ; Santoro, Nicola ; Viglietta, Giovanni ; Yamashita, Masafumi

    Abstract | Document (2,562 KB) | BibTeX

    On Memory, Communication, and Synchronous Schedulers When Moving and Computing
    Authors: Flocchini, Paola ; Santoro, Nicola ; Wada, Koichi

    Abstract | Document (996 KB) | BibTeX

    Lower Bounds for Shoreline Searching With 2 or More Robots
    Authors: Acharjee, Sumi ; Georgiou, Konstantinos ; Kundu, Somnath ; Srinivasan, Akshaya

    Abstract | Document (632 KB) | BibTeX

    Gathering on Rings for Myopic Asynchronous Robots With Lights
    Authors: Kamei, Sayaka ; Lamani, Anissa ; Ooshita, Fukuhito ; Tixeuil, Sébastien ; Wada, Koichi

    Abstract | Document (2,248 KB) | BibTeX

    Optimal Register Construction in M&M Systems
    Authors: Hadzilacos, Vassos ; Hu, Xing ; Toueg, Sam

    Abstract | Document (724 KB) | BibTeX

    Linearizable Replicated State Machines With Lattice Agreement
    Authors: Zheng, Xiong ; Garg, Vijay K. ; Kaippallimalil, John

    Abstract | Document (629 KB) | BibTeX

    Exact Byzantine Consensus on Arbitrary Directed Graphs Under Local Broadcast Model
    Authors: Khan, Muhammad Samir ; Tseng, Lewis ; Vaidya, Nitin H.

    Abstract | Document (510 KB) | BibTeX

    Reconfigurable Lattice Agreement and Applications
    Authors: Kuznetsov, Petr ; Rieutord, Thibault ; Tucci-Piergiovanni, Sara

    Abstract | Document (565 KB) | BibTeX

    Towards Distributed Two-Stage Stochastic Optimization
    Authors: Emek, Yuval ; Harlev, Noga ; Izumi, Taisuke

    Abstract | Document (510 KB) | BibTeX

    Equivalence Classes and Conditional Hardness in Massively Parallel Computations
    Authors: Nanongkai, Danupon ; Scquizzato, Michele

    Abstract | Document (489 KB) | BibTeX

    Sparse Hopsets in Congested Clique
    Authors: Nazari, Yasamin

    Abstract | Document (507 KB) | BibTeX

    Massively Parallel Approximate Distance Sketches
    Authors: Dinitz, Michael ; Nazari, Yasamin

    Abstract | Document (517 KB) | BibTeX

    		  



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