DISC 2023 October 10-12, 2023, L'Aquila, Italy

37th International Symposium on Distributed Computing (DISC 2023)



Rotem Oshman (Ed.)
ISBN 978-3-95977-301-0, LIPICS Vol. 281 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 28 MB)
Search Publication Server

Authors
  • Abraham, Ittai
  • Aksenov, Vitaly
  • Altisen, Karine
  • Alvisi, Lorenzo
  • Anoprenko, Michael
  • Appan, Ananya
  • Attiya, Hagit
  • Azouvi, Sarah
  • Balliu, Alkida
  • Bampas, Evangelos
  • Beauquier, Joffroy
  • Ben-David, Naama
  • Blum, Erica
  • Boyle, Elette
  • Brandt, Sebastian
  • Burman, Janna
  • Cambus, Mélanie
  • Castañeda, Armando
  • Chandramouli, Anirudh
  • Chan, Eric
  • Charron-Bost, Bernadette
  • Chen, Michael
  • Choudhury, Ashish
  • Chouinard, Jakeb
  • Civit, Pierre
  • Cohen, Ran
  • Cohen, Shir
  • Corbineau, Pierre
  • Cosson, Romain
  • Coutouly, Yannis
  • Dahal, Sameep
  • d'Amore, Francesco
  • Déprés, Mathilde
  • Devismes, Stéphane
  • Dhoked, Sahil
  • Di Luna, Giuseppe A.
  • Dolev, Danny
  • Eyal, Ittay
  • Farahbakhsh, Ali
  • Fedorov, Alexander
  • Flin, Maxime
  • Fraigniaud, Pierre
  • Frey, Davide
  • Fuchs, Marc
  • Gafni, Eli
  • Gelles, Yuval
  • Gestin, Mathieu
  • Gilbert, Seth
  • Godard, Emmanuel
  • Golab, Wojciech
  • Goren, Guy
  • Grunau, Christoph
  • Guerraoui, Rachid
  • Guy--Obé, William
  • Halldórsson, Magnús M.
  • Halpern, Joseph Y.
  • Hartenstein, Hannes
  • Heimbach, Lioba
  • Hendler, Danny
  • Hicks, Alexander
  • Jayanti, Prasad
  • Jayanti, Siddhartha
  • Jayanti, Sucharita
  • Kansara, Kush
  • Keidar, Idit
  • Kermarrec, Anne-Marie
  • Komargodski, Ilan
  • Komatovic, Jovan
  • Kostitsyna, Irina
  • Kucherenko, Anastasiia
  • Kuhn, Fabian
  • Latypov, Rustam
  • Leinweber, Marc
  • Lesani, Mohsen
  • Lev Lehman, Tomer
  • Lievonen, Henrik
  • Liu, Xialin
  • Liu-Zhang, Chen-Da
  • Li, Xiao
  • Losa, Giuliano
  • Massoulié, Laurent
  • Maus, Yannic
  • Mazoit, Frédéric
  • Miller, Avery
  • Mittal, Neeraj
  • Montealegre, Pedro
  • Monti, Matteo
  • Moses, Yoram
  • Mostéfaoui, Achour
  • Naor, Oded
  • Nataf, Raïssa
  • Navarra, Alfredo
  • Nolin, Alexandre
  • Nowak, Thomas
  • Olivetti, Dennis
  • Oshman, Rotem
  • Ovens, Sean
  • Pai, Shreyas
  • Pavan, A.
  • Paz, Ami
  • Pelc, Andrzej
  • Penet de Monterno, Louis
  • Perrin, Matthieu
  • Peters, Tom
  • Picavet, Timothé
  • Pinot, Rafael
  • Piselli, Francesco
  • Potdar, Nihal
  • Poupko, Ouri
  • Pu, Youer
  • Rajsbaum, Sergio
  • Rapaport, Ivan
  • Raynal, Michel
  • Robinson, Peter
  • Schmid, Gustav
  • Sela, Gal
  • Shapiro, Ehud
  • Spear, Michael
  • Speckmann, Bettina
  • Suomela, Jukka
  • Szekeres, Adriana
  • Talmage, Edward
  • Taubenfeld, Gadi
  • Todinca, Ioan
  • Tran, Anh
  • Uitto, Jara
  • Vidigueira, Manuel
  • Viennot, Laurent
  • Viglietta, Giovanni
  • Vinodchandran, N. V.
  • Voitovych, Sasha
  • Welch, Jennifer L.
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Oshman, Rotem

    Abstract | Document (1,066 KB) | BibTeX

    Colordag: An Incentive-Compatible Blockchain
    Authors: Abraham, Ittai ; Dolev, Danny ; Eyal, Ittay ; Halpern, Joseph Y.

    Abstract | Document (737 KB) | BibTeX

    Certified Round Complexity of Self-Stabilizing Algorithms
    Authors: Altisen, Karine ; Corbineau, Pierre ; Devismes, Stéphane

    Abstract | Document (972 KB) | BibTeX

    Network Agnostic Perfectly Secure MPC Against General Adversaries
    Authors: Appan, Ananya ; Chandramouli, Anirudh ; Choudhury, Ashish

    Abstract | Document (883 KB) | BibTeX

    One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks
    Authors: Attiya, Hagit ; Fraigniaud, Pierre ; Paz, Ami ; Rajsbaum, Sergio

    Abstract | Document (1,110 KB) | BibTeX

    Topological Characterization of Task Solvability in General Models of Computation
    Authors: Attiya, Hagit ; Castañeda, Armando ; Nowak, Thomas

    Abstract | Document (827 KB) | BibTeX

    Base Fee Manipulation in Ethereum’s EIP-1559 Transaction Fee Mechanism
    Authors: Azouvi, Sarah ; Goren, Guy ; Heimbach, Lioba ; Hicks, Alexander

    Abstract | Document (940 KB) | BibTeX

    On the Node-Averaged Complexity of Locally Checkable Problems on Trees
    Authors: Balliu, Alkida ; Brandt, Sebastian ; Kuhn, Fabian ; Olivetti, Dennis ; Schmid, Gustav

    Abstract | Document (890 KB) | BibTeX

    Treasure Hunt with Volatile Pheromones
    Authors: Bampas, Evangelos ; Beauquier, Joffroy ; Burman, Janna ; Guy--Obé, William

    Abstract | Document (976 KB) | BibTeX

    The FIDS Theorems: Tensions Between Multinode and Multicore Performance in Transactional Systems
    Authors: Ben-David, Naama ; Sela, Gal ; Szekeres, Adriana

    Abstract | Document (813 KB) | BibTeX

    Communication Lower Bounds for Cryptographic Broadcast Protocols
    Authors: Blum, Erica ; Boyle, Elette ; Cohen, Ran ; Liu-Zhang, Chen-Da

    Abstract | Document (762 KB) | BibTeX

    Time and Space Optimal Massively Parallel Algorithm for the 2-Ruling Set Problem
    Authors: Cambus, Mélanie ; Kuhn, Fabian ; Pai, Shreyas ; Uitto, Jara

    Abstract | Document (705 KB) | BibTeX

    Self-Stabilizing Clock Synchronization in Probabilistic Networks
    Authors: Charron-Bost, Bernadette ; Penet de Monterno, Louis

    Abstract | Document (773 KB) | BibTeX

    Every Bit Counts in Consensus
    Authors: Civit, Pierre ; Gilbert, Seth ; Guerraoui, Rachid ; Komatovic, Jovan ; Monti, Matteo ; Vidigueira, Manuel

    Abstract | Document (1,033 KB) | BibTeX

    Efficient Collaborative Tree Exploration with Breadth-First Depth-Next
    Authors: Cosson, Romain ; Massoulié, Laurent ; Viennot, Laurent

    Abstract | Document (955 KB) | BibTeX

    A Topology by Geometrization for Sub-Iterated Immediate Snapshot Message Adversaries and Applications to Set-Agreement
    Authors: Coutouly, Yannis ; Godard, Emmanuel

    Abstract | Document (796 KB) | BibTeX

    Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems
    Authors: Déprés, Mathilde ; Mostéfaoui, Achour ; Perrin, Matthieu ; Raynal, Michel

    Abstract | Document (941 KB) | BibTeX

    Modular Recoverable Mutual Exclusion Under System-Wide Failures
    Authors: Dhoked, Sahil ; Golab, Wojciech ; Mittal, Neeraj

    Abstract | Document (1,045 KB) | BibTeX

    Optimal Computation in Leaderless and Multi-Leader Disconnected Anonymous Dynamic Networks
    Authors: Di Luna, Giuseppe A. ; Viglietta, Giovanni

    Abstract | Document (2,044 KB) | BibTeX

    Fast Coloring Despite Congested Relays
    Authors: Flin, Maxime ; Halldórsson, Magnús M. ; Nolin, Alexandre

    Abstract | Document (954 KB) | BibTeX

    Distributed Certification for Classes of Dense Graphs
    Authors: Fraigniaud, Pierre ; Mazoit, Frédéric ; Montealegre, Pedro ; Rapaport, Ivan ; Todinca, Ioan

    Abstract | Document (846 KB) | BibTeX

    The Synchronization Power (Consensus Number) of Access-Control Objects: the Case of AllowList and DenyList
    Authors: Frey, Davide ; Gestin, Mathieu ; Raynal, Michel

    Abstract | Document (874 KB) | BibTeX

    List Defective Colorings: Distributed Algorithms and Applications
    Authors: Fuchs, Marc ; Kuhn, Fabian

    Abstract | Document (860 KB) | BibTeX

    Conditionally Optimal Parallel Coloring of Forests
    Authors: Grunau, Christoph ; Latypov, Rustam ; Maus, Yannic ; Pai, Shreyas ; Uitto, Jara

    Abstract | Document (857 KB) | BibTeX

    On the Inherent Anonymity of Gossiping
    Authors: Guerraoui, Rachid ; Kermarrec, Anne-Marie ; Kucherenko, Anastasiia ; Pinot, Rafael ; Voitovych, Sasha

    Abstract | Document (845 KB) | BibTeX

    Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining
    Authors: Jayanti, Prasad ; Jayanti, Siddhartha ; Jayanti, Sucharita

    Abstract | Document (852 KB) | BibTeX

    Cordial Miners: Fast and Efficient Consensus for Every Eventuality
    Authors: Keidar, Idit ; Naor, Oded ; Poupko, Ouri ; Shapiro, Ehud

    Abstract | Document (1,757 KB) | BibTeX

    Fast Reconfiguration for Programmable Matter
    Authors: Kostitsyna, Irina ; Peters, Tom ; Speckmann, Bettina

    Abstract | Document (14,224 KB) | BibTeX

    Quorum Subsumption for Heterogeneous Quorum Systems
    Authors: Li, Xiao ; Chan, Eric ; Lesani, Mohsen

    Abstract | Document (727 KB) | BibTeX

    Fast Deterministic Rendezvous in Labeled Lines
    Authors: Miller, Avery ; Pelc, Andrzej

    Abstract | Document (884 KB) | BibTeX

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

    Abstract | Document (1,422 KB) | BibTeX

    Gorilla: Safe Permissionless Byzantine Consensus
    Authors: Pu, Youer ; Farahbakhsh, Ali ; Alvisi, Lorenzo ; Eyal, Ittay

    Abstract | Document (771 KB) | BibTeX

    Distributed Sketching Lower Bounds for k-Edge Connected Spanning Subgraphs, BFS Trees, and LCL Problems
    Authors: Robinson, Peter

    Abstract | Document (1,191 KB) | BibTeX

    Memory-Anonymous Starvation-Free Mutual Exclusion: Possibility and Impossibility Results
    Authors: Taubenfeld, Gadi

    Abstract | Document (736 KB) | BibTeX

    Improved and Partially-Tight Lower Bounds for Message-Passing Implementations of Multiplicity Queues
    Authors: Tran, Anh ; Talmage, Edward

    Abstract | Document (655 KB) | BibTeX

    Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures
    Authors: Aksenov, Vitaly ; Anoprenko, Michael ; Fedorov, Alexander ; Spear, Michael

    Abstract | Document (632 KB) | BibTeX

    Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit
    Authors: Attiya, Hagit ; Welch, Jennifer L.

    Abstract | Document (686 KB) | BibTeX

    Brief Announcement: Relations Between Space-Bounded and Adaptive Massively Parallel Computations
    Authors: Chen, Michael ; Pavan, A. ; Vinodchandran, N. V.

    Abstract | Document (689 KB) | BibTeX

    Brief Announcement: On Implementing Wear Leveling in Persistent Synchronization Structures
    Authors: Chouinard, Jakeb ; Kansara, Kush ; Liu, Xialin ; Potdar, Nihal ; Golab, Wojciech

    Abstract | Document (679 KB) | BibTeX

    Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP
    Authors: Cohen, Shir ; Keidar, Idit

    Abstract | Document (552 KB) | BibTeX

    Brief Announcement: Distributed Derandomization Revisited
    Authors: Dahal, Sameep ; d'Amore, Francesco ; Lievonen, Henrik ; Picavet, Timothé ; Suomela, Jukka

    Abstract | Document (555 KB) | BibTeX

    Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority
    Authors: Gafni, Eli ; Losa, Giuliano

    Abstract | Document (543 KB) | BibTeX

    Brief Announcement: Scalable Agreement Protocols with Optimal Optimistic Efficiency
    Authors: Gelles, Yuval ; Komargodski, Ilan

    Abstract | Document (544 KB) | BibTeX

    Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1
    Authors: Leinweber, Marc ; Hartenstein, Hannes

    Abstract | Document (678 KB) | BibTeX

    Brief Announcement: Recoverable and Detectable Self-Implementations of Swap
    Authors: Lev Lehman, Tomer ; Attiya, Hagit ; Hendler, Danny

    Abstract | Document (549 KB) | BibTeX

    Brief Announcement: Line Formation in Silent Programmable Matter
    Authors: Navarra, Alfredo ; Piselli, Francesco

    Abstract | Document (858 KB) | BibTeX

    Brief Announcement: The Space Complexity of Set Agreement Using Swap
    Authors: Ovens, Sean

    Abstract | Document (521 KB) | BibTeX

    Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications
    Authors: Shapiro, Ehud

    Abstract | Document (885 KB) | BibTeX

    		  



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