DISC 2022 October 25-27, 2022, Augusta, Georgia, USA

36th International Symposium on Distributed Computing (DISC 2022)



Christian Scheideler (Ed.)
ISBN 978-3-95977-255-6, LIPICS Vol. 246 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 17 MB)
Search Publication Server

Authors
  • Abraham, Ittai
  • Albouy, Timothé
  • Alipour, Sharareh
  • Alvisi, Lorenzo
  • Amram, Gal
  • Anagnostides, Ioannis
  • Assadi, Sepehr
  • Augustine, John
  • Baldoni, Roberto
  • Balliu, Alkida
  • Ben-David, Naama
  • Bertrand, Nathalie
  • Bhagat, Subhash
  • Brandt, Sebastian
  • Bravo, Manuel
  • Brown, Trevor
  • Camaioni, Martina
  • Chang, Yi-Jun
  • Chockler, Gregory
  • Civit, Pierre
  • Crooks, Natacha
  • Dai, Wenkai
  • Dani, Varsha
  • De Marco, Gianluca
  • Dinitz, Michael
  • Dolev, Danny
  • Dufoulon, Fabien
  • Dzulfikar, Muhammad Ayaz
  • Emek, Yuval
  • Eppstein, David
  • Eyal, Ittay
  • Fineman, Jeremy
  • Fischer, Manuela
  • Foerster, Klaus-Tycho
  • Fraigniaud, Pierre
  • Freitas, Luciano
  • Frey, Davide
  • Friedman, Michal
  • Georgiou, Chryssis
  • Gil, Yuval
  • Gilbert, Seth
  • Giliberti, Jeff
  • Giridharan, Neil
  • Goren, Guy
  • Gotsman, Alexey
  • Gouleakis, Themis
  • Gramoli, Vincent
  • Grunau, Christoph
  • Guerraoui, Rachid
  • Gąsieniec, Leszek
  • Haeupler, Bernhard
  • Halldórsson, Magnús M.
  • Hayes, Thomas P.
  • Hayoun, Avi
  • Hitron, Yael
  • Howard, Heidi
  • Hu, Xing
  • Kagan, Alon
  • Katayama, Yoshiaki
  • Keidar, Idit
  • Kharal, Rosina F.
  • Khodabandeh, Hadi
  • Kim, Yonghwan
  • Komatovic, Jovan
  • Konnov, Igor
  • Kostitsyna, Irina
  • Kowalski, Dariusz R.
  • Kuhn, Fabian
  • Kutten, Shay
  • Kuznetsov, Petr
  • Lambein-Monette, Patrick
  • Latypov, Rustam
  • Lazić, Marijana
  • Le Gall, François
  • Lenzen, Christoph
  • Masuzawa, Toshimitsu
  • Maus, Yannic
  • Miyamoto, Masayuki
  • Mizrahi, Lior
  • Molla, Anisur Rahaman
  • Montealegre, Pedro
  • Monti, Matteo
  • Moses Jr., William K.
  • Moses, Yoram
  • Nakamura, Junya
  • Naor, Oded
  • Nataf, Raïssa
  • Nelson-Slivon, Jacob
  • Newport, Calvin
  • Nicolaou, Nicolas
  • Nishimura, Harumichi
  • Nolin, Alexandre
  • Oh, Shunhao
  • Olivetti, Dennis
  • Ovens, Sean
  • Pacut, Maciej
  • Palmieri, Roberto
  • Pandurangan, Gopal
  • Paredes, Pablo
  • Parham, Mahmoud
  • Parter, Merav
  • Pelc, Andrzej
  • Peleg, David
  • Peters, Tom
  • Petruschka, Asaf
  • Potop-Butucaru, Maria
  • Pu, Youer
  • Rabie, Mikaël
  • Randall, Dana
  • Rapaport, Ivan
  • Raynal, Michel
  • Richa, Andréa W.
  • Rosenbaum, Will
  • Rybicki, Joel
  • Ríos-Wilson, Martín
  • Salari, Mohammadhadi
  • Scheideler, Christian
  • Schmid, Stefan
  • Schneider, Philipp
  • Shibata, Masahiro
  • Speckmann, Bettina
  • Spirakis, Paul
  • Stachowiak, Grzegorz
  • Stern, Gilad
  • Studený, Jan
  • Sudo, Yuichi
  • Suomela, Jukka
  • Suri-Payer, Florian
  • Sutra, Pierre
  • Taïani, François
  • Tereshchenko, Aleksandr
  • Tholoniat, Pierre
  • Todinca, Ioan
  • Tonkikh, Andrei
  • Toueg, Sam
  • Trigeorgi, Andria
  • Tseng, Lewis
  • Uitto, Jara
  • Vasudev, Yadu
  • Vidigueira, Manuel
  • Wei, Yuanhao
  • Weiss, Gera
  • Welch, Jennifer L.
  • Widder, Josef
  • Yogev, Eylon
  • Zinovyev, Anatoliy
  • Zuzic, Goran
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Scheideler, Christian

    Abstract | Document (1,324 KB) | BibTeX

    Graph Coloring, Palette Sparsification, and Beyond (Invited Talk)
    Authors: Assadi, Sepehr

    Abstract | Document (336 KB) | BibTeX

    Managing the Cyber Risk in a Decoupled World: Does This Bring Potential Opportunities in Computer Science? (Invited Talk)
    Authors: Baldoni, Roberto

    Abstract | Document (318 KB) | BibTeX

    Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk)
    Authors: Welch, Jennifer L.

    Abstract | Document (314 KB) | BibTeX

    Good-Case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case
    Authors: Albouy, Timothé ; Frey, Davide ; Raynal, Michel ; Taïani, François

    Abstract | Document (910 KB) | BibTeX

    Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure
    Authors: Amram, Gal ; Hayoun, Avi ; Mizrahi, Lior ; Weiss, Gera

    Abstract | Document (853 KB) | BibTeX

    Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts
    Authors: Anagnostides, Ioannis ; Lenzen, Christoph ; Haeupler, Bernhard ; Zuzic, Goran ; Gouleakis, Themis

    Abstract | Document (894 KB) | BibTeX

    Byzantine Connectivity Testing in the Congested Clique
    Authors: Augustine, John ; Molla, Anisur Rahaman ; Pandurangan, Gopal ; Vasudev, Yadu

    Abstract | Document (874 KB) | BibTeX

    Efficient Classification of Locally Checkable Problems in Regular Trees
    Authors: Balliu, Alkida ; Brandt, Sebastian ; Chang, Yi-Jun ; Olivetti, Dennis ; Studený, Jan ; Suomela, Jukka

    Abstract | Document (723 KB) | BibTeX

    Exponential Speedup over Locality in MPC with Optimal Memory
    Authors: Balliu, Alkida ; Brandt, Sebastian ; Fischer, Manuela ; Latypov, Rustam ; Maus, Yannic ; Olivetti, Dennis ; Uitto, Jara

    Abstract | Document (855 KB) | BibTeX

    Holistic Verification of Blockchain Consensus
    Authors: Bertrand, Nathalie ; Gramoli, Vincent ; Konnov, Igor ; Lazić, Marijana ; Tholoniat, Pierre ; Widder, Josef

    Abstract | Document (939 KB) | BibTeX

    How to Meet at a Node of Any Connected Graph
    Authors: Bhagat, Subhash ; Pelc, Andrzej

    Abstract | Document (1,490 KB) | BibTeX

    Liveness and Latency of Byzantine State-Machine Replication
    Authors: Bravo, Manuel ; Chockler, Gregory ; Gotsman, Alexey

    Abstract | Document (904 KB) | BibTeX

    Oracular Byzantine Reliable Broadcast
    Authors: Camaioni, Martina ; Guerraoui, Rachid ; Monti, Matteo ; Vidigueira, Manuel

    Abstract | Document (1,134 KB) | BibTeX

    Byzantine Consensus Is Θ(n²): The Dolev-Reischuk Bound Is Tight Even in Partial Synchrony!
    Authors: Civit, Pierre ; Dzulfikar, Muhammad Ayaz ; Gilbert, Seth ; Gramoli, Vincent ; Guerraoui, Rachid ; Komatovic, Jovan ; Vidigueira, Manuel

    Abstract | Document (869 KB) | BibTeX

    Dynamic Probabilistic Input Output Automata
    Authors: Civit, Pierre ; Potop-Butucaru, Maria

    Abstract | Document (1,107 KB) | BibTeX

    How to Wake up Your Neighbors: Safe and Nearly Optimal Generic Energy Conservation in Radio Networks
    Authors: Dani, Varsha ; Hayes, Thomas P.

    Abstract | Document (776 KB) | BibTeX

    Contention Resolution Without Collision Detection: Constant Throughput And Logarithmic Energy
    Authors: De Marco, Gianluca ; Kowalski, Dariusz R. ; Stachowiak, Grzegorz

    Abstract | Document (842 KB) | BibTeX

    Smoothed Analysis of Information Spreading in Dynamic Networks
    Authors: Dinitz, Michael ; Fineman, Jeremy ; Gilbert, Seth ; Newport, Calvin

    Abstract | Document (709 KB) | BibTeX

    An Almost Singularly Optimal Asynchronous Distributed MST Algorithm
    Authors: Dufoulon, Fabien ; Kutten, Shay ; Moses Jr., William K. ; Pandurangan, Gopal ; Peleg, David

    Abstract | Document (904 KB) | BibTeX

    Locally Restricted Proof Labeling Schemes
    Authors: Emek, Yuval ; Gil, Yuval ; Kutten, Shay

    Abstract | Document (749 KB) | BibTeX

    Distributed Construction of Lightweight Spanners for Unit Ball Graphs
    Authors: Eppstein, David ; Khodabandeh, Hadi

    Abstract | Document (878 KB) | BibTeX

    Improved Deterministic Connectivity in Massively Parallel Computation
    Authors: Fischer, Manuela ; Giliberti, Jeff ; Grunau, Christoph

    Abstract | Document (826 KB) | BibTeX

    Fault Tolerant Coloring of the Asynchronous Cycle
    Authors: Fraigniaud, Pierre ; Lambein-Monette, Patrick ; Rabie, Mikaël

    Abstract | Document (919 KB) | BibTeX

    Distributed Randomness from Approximate Agreement
    Authors: Freitas, Luciano ; Kuznetsov, Petr ; Tonkikh, Andrei

    Abstract | Document (922 KB) | BibTeX

    Fragmented ARES: Dynamic Storage for Large Objects
    Authors: Georgiou, Chryssis ; Nicolaou, Nicolas ; Trigeorgi, Andria

    Abstract | Document (1,576 KB) | BibTeX

    Fast Distributed Vertex Splitting with Applications
    Authors: Halldórsson, Magnús M. ; Maus, Yannic ; Nolin, Alexandre

    Abstract | Document (1,063 KB) | BibTeX

    Broadcast CONGEST Algorithms Against Eavesdroppers
    Authors: Hitron, Yael ; Parter, Merav ; Yogev, Eylon

    Abstract | Document (765 KB) | BibTeX

    Routing Schemes and Distance Oracles in the Hybrid Model
    Authors: Kuhn, Fabian ; Schneider, Philipp

    Abstract | Document (891 KB) | BibTeX

    On Payment Channels in Asynchronous Money Transfer Systems
    Authors: Naor, Oded ; Keidar, Idit

    Abstract | Document (812 KB) | BibTeX

    The Space Complexity of Scannable Objects with Bounded Components
    Authors: Ovens, Sean

    Abstract | Document (690 KB) | BibTeX

    Near-Optimal Distributed Computation of Small Vertex Cuts
    Authors: Parter, Merav ; Petruschka, Asaf

    Abstract | Document (870 KB) | BibTeX

    Õptimal Dual Vertex Failure Connectivity Labels
    Authors: Parter, Merav ; Petruschka, Asaf

    Abstract | Document (1,384 KB) | BibTeX

    Safe Permissionless Consensus
    Authors: Pu, Youer ; Alvisi, Lorenzo ; Eyal, Ittay

    Abstract | Document (639 KB) | BibTeX

    Packet Forwarding with a Locally Bursty Adversary
    Authors: Rosenbaum, Will

    Abstract | Document (803 KB) | BibTeX

    The Weakest Failure Detector for Genuine Atomic Multicast
    Authors: Sutra, Pierre

    Abstract | Document (873 KB) | BibTeX

    On Implementing SWMR Registers from SWSR Registers in Systems with Byzantine Failures
    Authors: Hu, Xing ; Toueg, Sam

    Abstract | Document (921 KB) | BibTeX

    Space-Stretch Tradeoff in Routing Revisited
    Authors: Zinovyev, Anatoliy

    Abstract | Document (662 KB) | BibTeX

    Brief Announcement: Authenticated Consensus in Synchronous Systems with Mixed Faults
    Authors: Abraham, Ittai ; Dolev, Danny ; Kagan, Alon ; Stern, Gilad

    Abstract | Document (379 KB) | BibTeX

    Brief Announcement: It’s not easy to relax: liveness in chained BFT protocols
    Authors: Abraham, Ittai ; Crooks, Natacha ; Giridharan, Neil ; Howard, Heidi ; Suri-Payer, Florian

    Abstract | Document (558 KB) | BibTeX

    Brief Announcement: Distributed Algorithms for Minimum Dominating Set Problem and Beyond, a New Approach
    Authors: Alipour, Sharareh ; Salari, Mohammadhadi

    Abstract | Document (494 KB) | BibTeX

    Brief Announcement: Survey of Persistent Memory Correctness Conditions
    Authors: Ben-David, Naama ; Friedman, Michal ; Wei, Yuanhao

    Abstract | Document (505 KB) | BibTeX

    Brief Announcement: Minimizing Congestion in Hybrid Demand-Aware Network Topologies
    Authors: Dai, Wenkai ; Dinitz, Michael ; Foerster, Klaus-Tycho ; Schmid, Stefan

    Abstract | Document (579 KB) | BibTeX

    Brief Announcement: Computing Power of Hybrid Models in Synchronous Networks
    Authors: Fraigniaud, Pierre ; Montealegre, Pedro ; Paredes, Pablo ; Rapaport, Ivan ; Ríos-Wilson, Martín ; Todinca, Ioan

    Abstract | Document (591 KB) | BibTeX

    Brief Announcement: New Clocks, Fast Line Formation and Self-Replication Population Protocols
    Authors: Gąsieniec, Leszek ; Spirakis, Paul ; Stachowiak, Grzegorz

    Abstract | Document (494 KB) | BibTeX

    Brief Announcement: Performance Anomalies in Concurrent Data Structure Microbenchmarks
    Authors: Kharal, Rosina F. ; Brown, Trevor

    Abstract | Document (473 KB) | BibTeX

    Brief Announcement: Gathering Despite Defected View
    Authors: Kim, Yonghwan ; Shibata, Masahiro ; Sudo, Yuichi ; Nakamura, Junya ; Katayama, Yoshiaki ; Masuzawa, Toshimitsu

    Abstract | Document (523 KB) | BibTeX

    Brief Announcement: An Effective Geometric Communication Structure for Programmable Matter
    Authors: Kostitsyna, Irina ; Peters, Tom ; Speckmann, Bettina

    Abstract | Document (451 KB) | BibTeX

    Brief Announcement: Distributed Quantum Interactive Proofs
    Authors: Le Gall, François ; Miyamoto, Masayuki ; Nishimura, Harumichi

    Abstract | Document (448 KB) | BibTeX

    Brief Announcement: Null Messages, Information and Coordination
    Authors: Nataf, Raïssa ; Goren, Guy ; Moses, Yoram

    Abstract | Document (469 KB) | BibTeX

    Brief Announcement: Asymmetric Mutual Exclusion for RDMA
    Authors: Nelson-Slivon, Jacob ; Tseng, Lewis ; Palmieri, Roberto

    Abstract | Document (396 KB) | BibTeX

    Brief Announcement: Foraging in Particle Systems via Self-Induced Phase Changes
    Authors: Oh, Shunhao ; Randall, Dana ; Richa, Andréa W.

    Abstract | Document (418 KB) | BibTeX

    Brief Announcement: Temporal Locality in Online Algorithms
    Authors: Pacut, Maciej ; Parham, Mahmoud ; Rybicki, Joel ; Schmid, Stefan ; Suomela, Jukka ; Tereshchenko, Aleksandr

    Abstract | Document (513 KB) | BibTeX

    		  



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