LIPIcs, Volume 319, DISC 2024

• Dan Alistarh LIPIcs, Volume 319, DISC 2024, Complete Volume 10.4230/LIPIcs.DISC.2024
• Dan Alistarh Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.DISC.2024.0
• Eden Aldema Tshuva and Rotem Oshman Fully Local Succinct Distributed Arguments 10.4230/LIPIcs.DISC.2024.1
• Kaya Alpturer, Joseph Y. Halpern, and Ron van der Meyden A Knowledge-Based Analysis of Intersection Protocols 10.4230/LIPIcs.DISC.2024.2
• John Augustine, Jeffin Biju, Shachar Meir, David Peleg, Srikkanth Ramachandran, and Aishwarya Thiruvengadam Byzantine Resilient Distributed Computing on External Data 10.4230/LIPIcs.DISC.2024.3
• Sirui Bai, Xinyu Fu, Xudong Wu, Penghui Yao, and Chaodong Zheng Almost Optimal Algorithms for Token Collision in Anonymous Networks 10.4230/LIPIcs.DISC.2024.4
• Alkida Balliu, Pierre Fraigniaud, Patrick Lambein-Monette, Dennis Olivetti, and Mikaël Rabie Asynchronous Fault-Tolerant Distributed Proper Coloring of Graphs 10.4230/LIPIcs.DISC.2024.5
• Leonid Barenboim and Uri Goldenberg Speedup of Distributed Algorithms for Power Graphs in the CONGEST Model 10.4230/LIPIcs.DISC.2024.6
• Benyamin Bashari, David Yu Cheng Chan, and Philipp Woelfel A Fully Concurrent Adaptive Snapshot Object for RMWable Shared-Memory 10.4230/LIPIcs.DISC.2024.7
• Yoav Ben Shimon, Ori Lahav, and Sharon Shoham Hyperproperty-Preserving Register Specifications 10.4230/LIPIcs.DISC.2024.8
• Nicolas Bonichon, Arnaud Casteigts, Cyril Gavoille, and Nicolas Hanusse Freeze-Tag in L₁ Has Wake-Up Time Five with Linear Complexity 10.4230/LIPIcs.DISC.2024.9
• Manuel Bravo, Gregory Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, and Christian Roldán Vertical Atomic Broadcast and Passive Replication 10.4230/LIPIcs.DISC.2024.10
• Armando Castañeda, Gregory Chockler, Brijesh Dongol, and Ori Lahav What Cannot Be Implemented on Weak Memory? 10.4230/LIPIcs.DISC.2024.11
• Keren Censor-Hillel, Tomer Even, and Virginia Vassilevska Williams Faster Cycle Detection in the Congested Clique 10.4230/LIPIcs.DISC.2024.12
• Jérémie Chalopin, Shantanu Das, and Maria Kokkou Deterministic Self-Stabilising Leader Election for Programmable Matter with Constant Memory 10.4230/LIPIcs.DISC.2024.13
• Pierre Civit, Muhammad Ayaz Dzulfikar, Seth Gilbert, Rachid Guerraoui, Jovan Komatovic, Manuel Vidigueira, and Igor Zablotchi Efficient Signature-Free Validated Agreement 10.4230/LIPIcs.DISC.2024.14
• Andrei Constantinescu, Diana Ghinea, Roger Wattenhofer, and Floris Westermann Convex Consensus with Asynchronous Fallback 10.4230/LIPIcs.DISC.2024.15
• Yannis Coutouly and Emmanuel Godard A Simple Computability Theorem for Colorless Tasks in Submodels of the Iterated Immediate Snapshot 10.4230/LIPIcs.DISC.2024.16
• Philipp Czerner Breaking Through the Ω(n)-Space Barrier: Population Protocols Decide Double-Exponential Thresholds 10.4230/LIPIcs.DISC.2024.17
• Niccolò D'Archivio and Robin Vacus On the Limits of Information Spread by Memory-Less Agents 10.4230/LIPIcs.DISC.2024.18
• Laxman Dhulipala, Michael Dinitz, Jakub Łącki, and Slobodan Mitrović Parallel Set Cover and Hypergraph Matching via Uniform Random Sampling 10.4230/LIPIcs.DISC.2024.19
• David Doty and Ben Heckmann The Computational Power of Discrete Chemical Reaction Networks with Bounded Executions 10.4230/LIPIcs.DISC.2024.20
• Antoine El-Hayek, Monika Henzinger, and Stefan Schmid Broadcast and Consensus in Stochastic Dynamic Networks with Byzantine Nodes and Adversarial Edges 10.4230/LIPIcs.DISC.2024.21
• Yuval Emek, Yuval Gil, and Noga Harlev On the Power of Graphical Reconfigurable Circuits 10.4230/LIPIcs.DISC.2024.22
• Panagiota Fatourou and Eric Ruppert Lock-Free Augmented Trees 10.4230/LIPIcs.DISC.2024.23
• Maxime Flin, Magnús M. Halldórsson, and Alexandre Nolin Decentralized Distributed Graph Coloring II: Degree+1-Coloring Virtual Graphs 10.4230/LIPIcs.DISC.2024.24
• Fedor V. Fomin, Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport, and Ioan Todinca Distributed Model Checking on Graphs of Bounded Treedepth 10.4230/LIPIcs.DISC.2024.25
• Fabian Frei, Ran Gelles, Ahmed Ghazy, and Alexandre Nolin Content-Oblivious Leader Election on Rings 10.4230/LIPIcs.DISC.2024.26
• Ran Gelles, Zvi Lotker, and Frederik Mallmann-Trenn Sorting in One and Two Rounds Using t-Comparators 10.4230/LIPIcs.DISC.2024.27
• George Giakkoupis, Volker Turau, and Isabella Ziccardi Self-Stabilizing MIS Computation in the Beeping Model 10.4230/LIPIcs.DISC.2024.28
• Jeff Giliberti and Zahra Parsaeian Massively Parallel Ruling Set Made Deterministic 10.4230/LIPIcs.DISC.2024.29
• Neil Giridharan, Ittai Abraham, Natacha Crooks, Kartik Nayak, and Ling Ren Granular Synchrony 10.4230/LIPIcs.DISC.2024.30
• Magnús M. Halldórsson and Yannic Maus Distributed Delta-Coloring Under Bandwidth Limitations 10.4230/LIPIcs.DISC.2024.31
• Longcheng Li, Xiaoming Sun, and Jiadong Zhu Quantum Byzantine Agreement Against Full-Information Adversary 10.4230/LIPIcs.DISC.2024.32
• Raïssa Nataf and Yoram Moses Communication Requirements for Linearizable Registers 10.4230/LIPIcs.DISC.2024.33
• Shunhao Oh, Joseph L. Briones, Jacob Calvert, Noah Egan, Dana Randall, and Andréa W. Richa Single Bridge Formation in Self-Organizing Particle Systems 10.4230/LIPIcs.DISC.2024.34
• Garrett Parzych and Joshua J. Daymude Memory Lower Bounds and Impossibility Results for Anonymous Dynamic Broadcast 10.4230/LIPIcs.DISC.2024.35
• Asaf Petruschka, Shay Spair, and Elad Tzalik Connectivity Labeling in Faulty Colored Graphs 10.4230/LIPIcs.DISC.2024.36
• Victor Shoup Sing a Song of Simplex 10.4230/LIPIcs.DISC.2024.37
• Yuichi Sudo, Masahiro Shibata, Junya Nakamura, Yonghwan Kim, and Toshimitsu Masuzawa Near-Linear Time Dispersion of Mobile Agents 10.4230/LIPIcs.DISC.2024.38
• Qinzi Zhang and Lewis Tseng The Power of Abstract MAC Layer: A Fault-Tolerance Perspective 10.4230/LIPIcs.DISC.2024.39
• Yaseen Abd-Elhaleem, Michal Dory, Merav Parter, and Oren Weimann Brief Announcement: Distributed Maximum Flow in Planar Graphs 10.4230/LIPIcs.DISC.2024.40
• Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, and Vassilis Zikas Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary 10.4230/LIPIcs.DISC.2024.41
• Hagit Attiya, Pierre Fraigniaud, Ami Paz, and Sergio Rajsbaum Brief Announcement: Solvability of Three-Process General Tasks 10.4230/LIPIcs.DISC.2024.42
• Andrei Constantinescu, Diana Ghinea, Jakub Sliwinski, and Roger Wattenhofer Brief Announcement: Unifying Partial Synchrony 10.4230/LIPIcs.DISC.2024.43
• Philipp Czerner, Vincent Fischer, and Roland Guttenberg Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space 10.4230/LIPIcs.DISC.2024.44
• Lei Fan, Jonathan Katz, Zhenghao Lu, Phuc Thai, and Hong-Sheng Zhou Brief Announcement: Best-Possible Unpredictable Proof-Of-Stake 10.4230/LIPIcs.DISC.2024.45
• Caterina Feletti, Debasish Pattanayak, and Gokarna Sharma Brief Announcement: Optimal Uniform Circle Formation by Asynchronous Luminous Robots 10.4230/LIPIcs.DISC.2024.46
• Pierre Fraigniaud, Minh Hang Nguyen, and Ami Paz Brief Announcement: Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structures 10.4230/LIPIcs.DISC.2024.47
• Fabian Frei and Koichi Wada Brief Announcement: Distinct Gathering Under Round Robin 10.4230/LIPIcs.DISC.2024.48
• Jan Matyáš Křišťan and Josef Erik Sedláček Brief Announcement: Decreasing Verification Radius in Local Certification 10.4230/LIPIcs.DISC.2024.49
• Ajay D. Kshemkalyani, Manish Kumar, Anisur Rahaman Molla, and Gokarna Sharma Brief Announcement: Agent-Based Leader Election, MST, and Beyond 10.4230/LIPIcs.DISC.2024.50
• Christoph Lenzen and Shreyas Srinivas Brief Announcement: Clock Distribution with Gradient TRIX 10.4230/LIPIcs.DISC.2024.51
• Xiao Li and Mohsen Lesani Brief Announcement: Reconfigurable Heterogeneous Quorum Systems 10.4230/LIPIcs.DISC.2024.52
• Gal Sela and Erez Petrank Brief Announcement: Concurrent Aggregate Queries 10.4230/LIPIcs.DISC.2024.53
• Yusong Shi and Weidong Liu Brief Announcement: Colorless Tasks and Extension-Based Proofs 10.4230/LIPIcs.DISC.2024.54
• Yuichi Sudo, Fukuhito Ooshita, and Sayaka Kamei Brief Announcement: Self-Stabilizing Graph Exploration by a Single Agent 10.4230/LIPIcs.DISC.2024.55