DISC 2019 October 14-18, 2019, Budapest, Hungary

33rd International Symposium on Distributed Computing (DISC 2019)



Jukka Suomela (Ed.)
ISBN 978-3-95977-126-9, LIPICS Vol. 146 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 24 MB)
Search Publication Server

Authors
  • Anta, Antonio Fernández
  • Aspnes, James
  • Atalar, Aras
  • Attiya, Hagit
  • Avin, Chen
  • Baig, Mirza Ahad
  • Beauquier, Joffroy
  • Becker, Ruben
  • Behnezhad, Soheil
  • Ben-Basat, Ran
  • Bitton, Shimon
  • Blin, Lélia
  • Bonin, Grégoire
  • Braverman, Mark
  • Burman, Janna
  • Cachin, Christian
  • Censor-Hillel, Keren
  • Chechik, Shiri
  • Cholvi, Vicent
  • Cohen, Ran
  • Crescenzi, Pierluigi
  • Défago, Xavier
  • Derakhshan, Mahsa
  • Dinitz, Michael
  • Dolev, Shlomi
  • Eden, Talya
  • Emek, Yuval
  • Enea, Constantin
  • Er, He Yang
  • Even, Guy
  • Feuilloley, Laurent
  • Fiat, Nimrod
  • Fischer, Orr
  • Fraigniaud, Pierre
  • Gafni, Eli
  • Garncarek, Pawel
  • Georgiou, Chryssis
  • Ghaffari, Mohsen
  • Gilbert, Seth
  • Gotsman, Alexey
  • Goubault, Éric
  • Guerraoui, Rachid
  • Gupta, Suyash
  • Haeupler, Bernhard
  • Haitner, Iftach
  • Hajiaghayi, MohammadTaghi
  • Halldórsson, Magnús M.
  • Hassan, Ahmed
  • Hellings, Jelle
  • Hendler, Danny
  • Heriban, Adam
  • Hershkowitz, D. Ellis
  • Hinnenthal, Kristian
  • Izumi, Taisuke
  • Javidi Kishi, Masoomeh
  • Jurdzinski, Tomasz
  • Kamei, Sayaka
  • Katayama, Yoshiaki
  • Kawarabayashi, Ken-ichi
  • Khyzha, Artem
  • King, Valerie
  • Kitagawa, Hirotaka
  • Kitamura, Naoki
  • Knittel, Marina
  • Kol, Gillat
  • Konrad, Christian
  • Kowalski, Dariusz R.
  • Kuhn, Fabian
  • Kutten, Shay
  • Kuznetsov, Petr
  • Lazic, Marijana
  • Le Bouder, Gabriel
  • Ledent, Jérémy
  • Lenzen, Christoph
  • Lesani, Mohsen
  • Lim, Wei Quan
  • Liu-Zhang, Chen-Da
  • Losa, Giuliano
  • Lynch, Nancy
  • Maguire, James
  • Makriyannis, Nikolaos
  • Maram, Varun
  • Mashreghi, Ali
  • Maurer, Ueli
  • Mazières, David
  • Milani, Alessia
  • Monti, Matteo
  • Mostéfaoui, Achour
  • Mukhtar, Doron
  • Nazari, Yasamin
  • Newport, Calvin
  • Nicolaou, Nicolas
  • Nikolaev, Ruslan
  • Nowak, Thomas
  • Ooshita, Fukuhito
  • Orland, Matan
  • Oshman, Rotem
  • Otachi, Yota
  • Palmieri, Roberto
  • Parter, Merav
  • Pavlovic, Matej
  • Paz, Ami
  • Pemmaraju, Sriram V.
  • Perrin, Matthieu
  • Portmann, Julian
  • Pourdamghani, Arash
  • Rajsbaum, Sergio
  • Riaz, Talal
  • Robinson, Peter
  • Rukundo, Adones
  • Rybicki, Joel
  • Sadoghi, Mohammad
  • Saleh, Hamed
  • Salem, Iosif
  • Samorodnitsky, Alex
  • Scheideler, Christian
  • Schmid, Stefan
  • Schwartzman, Gregory
  • Seredinschi, Dragos-Adrian
  • Shimizu, Nobutaka
  • Shiraga, Takeharu
  • Sohier, Devan
  • Struijs, Martijn
  • Su, Hsin-Hao
  • Suomela, Jukka
  • Tackmann, Björn
  • Taheri, Mohammad
  • Tal, Avishay
  • Tixeuil, Sébastien
  • Travers, Corentin
  • Tsigas, Philippas
  • Vu, Hoa T.
  • Wada, Koichi
  • Wang, Mien Brabeeba
  • Weaver, Alex
  • Zuzic, Goran
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Suomela, Jukka

    Abstract | Document (926 KB) | BibTeX

    Consensus with Max Registers
    Authors: Aspnes, James ; Er, He Yang

    Abstract | Document (498 KB) | BibTeX

    Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs That Use Concurrent Objects
    Authors: Attiya, Hagit ; Enea, Constantin

    Abstract | Document (661 KB) | BibTeX

    Long-Lived Counters with Polylogarithmic Amortized Step Complexity
    Authors: Baig, Mirza Ahad ; Hendler, Danny ; Milani, Alessia ; Travers, Corentin

    Abstract | Document (578 KB) | BibTeX

    Distributed Algorithms for Low Stretch Spanning Trees
    Authors: Becker, Ruben ; Emek, Yuval ; Ghaffari, Mohsen ; Lenzen, Christoph

    Abstract | Document (564 KB) | BibTeX

    Optimal Distributed Covering Algorithms
    Authors: Ben-Basat, Ran ; Even, Guy ; Kawarabayashi, Ken-ichi ; Schwartzman, Gregory

    Abstract | Document (642 KB) | BibTeX

    Parameterized Distributed Algorithms
    Authors: Ben-Basat, Ran ; Kawarabayashi, Ken-ichi ; Schwartzman, Gregory

    Abstract | Document (608 KB) | BibTeX

    Message Reduction in the LOCAL Model Is a Free Lunch
    Authors: Bitton, Shimon ; Emek, Yuval ; Izumi, Taisuke ; Kutten, Shay

    Abstract | Document (572 KB) | BibTeX

    On the Computational Power of Radio Channels
    Authors: Braverman, Mark ; Kol, Gillat ; Oshman, Rotem ; Tal, Avishay

    Abstract | Document (527 KB) | BibTeX

    Space-Optimal Naming in Population Protocols
    Authors: Burman, Janna ; Beauquier, Joffroy ; Sohier, Devan

    Abstract | Document (530 KB) | BibTeX

    Erasure Correction for Noisy Radio Networks
    Authors: Censor-Hillel, Keren ; Haeupler, Bernhard ; Hershkowitz, D. Ellis ; Zuzic, Goran

    Abstract | Document (607 KB) | BibTeX

    Reachability and Shortest Paths in the Broadcast CONGEST Model
    Authors: Chechik, Shiri ; Mukhtar, Doron

    Abstract | Document (441 KB) | BibTeX

    On the Round Complexity of Randomized Byzantine Agreement
    Authors: Cohen, Ran ; Haitner, Iftach ; Makriyannis, Nikolaos ; Orland, Matan ; Samorodnitsky, Alex

    Abstract | Document (519 KB) | BibTeX

    Trade-Offs in Distributed Interactive Proofs
    Authors: Crescenzi, Pierluigi ; Fraigniaud, Pierre ; Paz, Ami

    Abstract | Document (627 KB) | BibTeX

    The Capacity of Smartphone Peer-To-Peer Networks
    Authors: Dinitz, Michael ; Halldórsson, Magnús M. ; Newport, Calvin ; Weaver, Alex

    Abstract | Document (458 KB) | BibTeX

    Sublinear-Time Distributed Algorithms for Detecting Small Cliques and Even Cycles
    Authors: Eden, Talya ; Fiat, Nimrod ; Fischer, Orr ; Kuhn, Fabian ; Oshman, Rotem

    Abstract | Document (546 KB) | BibTeX

    A Distributed Algorithm for Directed Minimum-Weight Spanning Tree
    Authors: Fischer, Orr ; Oshman, Rotem

    Abstract | Document (570 KB) | BibTeX

    Stable Memoryless Queuing under Contention
    Authors: Garncarek, Pawel ; Jurdzinski, Tomasz ; Kowalski, Dariusz R.

    Abstract | Document (522 KB) | BibTeX

    Improved Network Decompositions Using Small Messages with Applications on MIS, Neighborhood Covers, and Beyond
    Authors: Ghaffari, Mohsen ; Portmann, Julian

    Abstract | Document (453 KB) | BibTeX

    On Bioelectric Algorithms
    Authors: Gilbert, Seth ; Maguire, James ; Newport, Calvin

    Abstract | Document (512 KB) | BibTeX

    Parallel Finger Search Structures
    Authors: Gilbert, Seth ; Lim, Wei Quan

    Abstract | Document (589 KB) | BibTeX

    Wait-Free Solvability of Equality Negation Tasks
    Authors: Goubault, Éric ; Lazic, Marijana ; Ledent, Jérémy ; Rajsbaum, Sergio

    Abstract | Document (658 KB) | BibTeX

    Scalable Byzantine Reliable Broadcast
    Authors: Guerraoui, Rachid ; Kuznetsov, Petr ; Monti, Matteo ; Pavlovic, Matej ; Seredinschi, Dragos-Adrian

    Abstract | Document (600 KB) | BibTeX

    Fast Distributed Algorithms for LP-Type Problems of Low Dimension
    Authors: Hinnenthal, Kristian ; Scheideler, Christian ; Struijs, Martijn

    Abstract | Document (655 KB) | BibTeX

    Privatization-Safe Transactional Memories
    Authors: Khyzha, Artem ; Attiya, Hagit ; Gotsman, Alexey

    Abstract | Document (553 KB) | BibTeX

    Low-Congestion Shortcut and Graph Parameters
    Authors: Kitamura, Naoki ; Kitagawa, Hirotaka ; Otachi, Yota ; Izumi, Taisuke

    Abstract | Document (840 KB) | BibTeX

    The Complexity of Symmetry Breaking in Massive Graphs
    Authors: Konrad, Christian ; Pemmaraju, Sriram V. ; Riaz, Talal ; Robinson, Peter

    Abstract | Document (658 KB) | BibTeX

    Stellar Consensus by Instantiation
    Authors: Losa, Giuliano ; Gafni, Eli ; Mazières, David

    Abstract | Document (457 KB) | BibTeX

    A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue
    Authors: Nikolaev, Ruslan

    Abstract | Document (708 KB) | BibTeX

    Byzantine Approximate Agreement on Graphs
    Authors: Nowak, Thomas ; Rybicki, Joel

    Abstract | Document (624 KB) | BibTeX

    Small Cuts and Connectivity Certificates: A Fault Tolerant Approach
    Authors: Parter, Merav

    Abstract | Document (567 KB) | BibTeX

    Monotonically Relaxing Concurrent Data-Structure Semantics for Increasing Performance: An Efficient 2D Design Framework
    Authors: Rukundo, Adones ; Atalar, Aras ; Tsigas, Philippas

    Abstract | Document (1,804 KB) | BibTeX

    Phase Transitions of Best-of-Two and Best-of-Three on Stochastic Block Models
    Authors: Shimizu, Nobutaka ; Shiraga, Takeharu

    Abstract | Document (1,420 KB) | BibTeX

    Distributed Data Summarization in Well-Connected Networks
    Authors: Su, Hsin-Hao ; Vu, Hoa T.

    Abstract | Document (574 KB) | BibTeX

    Polynomial-Time Fence Insertion for Structured Programs
    Authors: Taheri, Mohammad ; Pourdamghani, Arash ; Lesani, Mohsen

    Abstract | Document (977 KB) | BibTeX

    Brief Announcement: On Self-Adjusting Skip List Networks
    Authors: Avin, Chen ; Salem, Iosif ; Schmid, Stefan

    Abstract | Document (387 KB) | BibTeX

    Brief Announcement: Streaming and Massively Parallel Algorithms for Edge Coloring
    Authors: Behnezhad, Soheil ; Derakhshan, Mahsa ; Hajiaghayi, MohammadTaghi ; Knittel, Marina ; Saleh, Hamed

    Abstract | Document (350 KB) | BibTeX

    Brief Announcement: Memory Lower Bounds for Self-Stabilization
    Authors: Blin, Lélia ; Feuilloley, Laurent ; Le Bouder, Gabriel

    Abstract | Document (305 KB) | BibTeX

    Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model
    Authors: Bonin, Grégoire ; Mostéfaoui, Achour ; Perrin, Matthieu

    Abstract | Document (407 KB) | BibTeX

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

    Abstract | Document (347 KB) | BibTeX

    Brief Announcement: Implementing Byzantine Tolerant Distributed Ledger Objects
    Authors: Cholvi, Vicent ; Anta, Antonio Fernández ; Georgiou, Chryssis ; Nicolaou, Nicolas

    Abstract | Document (375 KB) | BibTeX

    Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space
    Authors: Défago, Xavier ; Heriban, Adam ; Tixeuil, Sébastien ; Wada, Koichi

    Abstract | Document (298 KB) | BibTeX

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

    Abstract | Document (290 KB) | BibTeX

    Brief Announcement: Neighborhood Mutual Remainder and Its Self-Stabilizing Implementation of Look-Compute-Move Robots
    Authors: Dolev, Shlomi ; Kamei, Sayaka ; Katayama, Yoshiaki ; Ooshita, Fukuhito ; Wada, Koichi

    Abstract | Document (350 KB) | BibTeX

    Brief Announcement: Revisiting Consensus Protocols through Wait-Free Parallelization
    Authors: Gupta, Suyash ; Hellings, Jelle ; Sadoghi, Mohammad

    Abstract | Document (413 KB) | BibTeX

    Brief Announcement: The Fault-Tolerant Cluster-Sending Problem
    Authors: Hellings, Jelle ; Sadoghi, Mohammad

    Abstract | Document (399 KB) | BibTeX

    Brief Announcement: On the Correctness of Transaction Processing with External Dependency
    Authors: Javidi Kishi, Masoomeh ; Hassan, Ahmed ; Palmieri, Roberto

    Abstract | Document (290 KB) | BibTeX

    Brief Announcement: Towards Byzantine Broadcast in Generalized Communication and Adversarial Models
    Authors: Liu-Zhang, Chen-Da ; Maram, Varun ; Maurer, Ueli

    Abstract | Document (318 KB) | BibTeX

    Brief Announcement: Integrating Temporal Information to Spatial Information in a Neural Circuit
    Authors: Lynch, Nancy ; Wang, Mien Brabeeba

    Abstract | Document (439 KB) | BibTeX

    Brief Announcement: Faster Asynchronous MST and Low Diameter Tree Construction with Sublinear Communication
    Authors: Mashreghi, Ali ; King, Valerie

    Abstract | Document (318 KB) | BibTeX

    		  



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