Detailed Program

Monday, October 27

Workshops: ADGA, FRIDA

Detailed workshop program TBA.

Tuesday, October 28

08:45 – 10:00 Session 1: Concurrent data structures
PIPQ: Strict Insert-Optimized Concurrent Priority Queue
Olivia Grimes, Ahmed Hassan, Panagiota Fatourou, and Roberto Palmieri
TEE is not a Healer: Rollback-Resistant Reliable Storage
Sadegh Keshavarzi, Gregory Chockler, and Alexey Gotsman
LMQ-Sketch: Lagom Multi-Query Sketch for High-Rate Online Analytics
Martin Hilgendorf and Marina Papatriantafilou
Brief Announcement: Highly Dynamic and Fully Distributed Data Structures
John Augustine, Antonio Cruciani, and Iqra Altaf Gillani
Brief Announcement: Concurrent Double-Ended Priority Queues
Panagiota Fatourou, Eric Ruppert, and Ioannis Xiradakis
10:00 – 11:00Keynote 1: François Le Gall
Recent developments in quantum distributed computing
11:00 – 11:25Coffee break
11:25 – 12:30Session 2: Highlighted presentations in mobility and communication
Team Formation and Applications
Yuval Emek, Shay Kutten, Ido Rafael, and Gadi Taubenfeld
Approach of Agents with Restricted Fuel Tanks
Adam Ganczorz, Tomasz Jurdzinski, Andrzej Pelc, and Grzegorz Stachowiak
Two for One, One for All: Deterministic LDC-based Robust Computation in Congested Clique Keren Censor-Hillel, Orr Fischer, Ran Gelles, and Pedro Soto
12:30 – 13:45Lunch break
13:45 – 15:40Session 3: Distributed graph algorithms
Towards Fully Automatic Distributed Lower Bounds
Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti, and Joonatan Saarhelo
New Distributed Interactive Proofs for Planarity: A Matter of Left and Right
Yuval Gil and Merav Parter
The Complexity Landscape of Dynamic Distributed Subgraph Finding
Yi-Jun Chang, Lyuting Chen, Yanyu Chen, Gopinath Mishra, and Mingyang Yang
14:40 – 14:45Short break during the session
Model-Agnostic Approximation of Constrained Forest Problems
Corinna Coupette, Alipasha Montaseri, and Christoph Lenzen
New Limits on Distributed Quantum Advantage: Dequantizing Linear Programs
Alkida Balliu, Corinna Coupette, Antonio Cruciani, Francesco d’Amore, Massimo Equi, Henrik Lievonen, Augusto Modanese, Dennis Olivetti, and Jukka Suomela
Brief Announcement: Distributed Sparsest Cut via Eigenvalue Estimation
Yannic Maus and Tijn de Vos
Brief Announcement: Faster CONGEST Approximation Algorithms for Maximum Weighted Independent Set in Sparse Graphs
Salwa Faour and Fabian Kuhn
15:40 – 16:00Coffee break
16:00 – 17:45Session 4: Blockchain foundations
Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection
Krishnendu Chatterjee, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle Yeo
On the Efficiency of Dynamic Transaction Scheduling in Blockchain Sharding
Ramesh Adhikari, Costas Busch, and Miroslav Popovic
Hierarchical Consensus: Scalability through Optimism and Weak Liveness
Pedro Antonino, Antoine Durand, and A. W. Roscoe
16:50 – 16:55Short break during the session
DAG it off: Latency Prefers No Common Coins
Ignacio Amores-Sesar, Viktor Grøndal, Adam Holmgård, and Mads Ottendal
Brief Announcement: DAGs for the Masses
Michael Anoprenko, Andrei Tonkikh, Alexander Spiegelman, and Petr Kuznetsov
Brief Announcement: Carry the Tail in Consensus Protocols
Suyash Gupta, Dakai Kang, Dahlia Malkhi, and Mohammad Sadoghi
Brief Announcement: Weaker Assumptions for Asymmetric Trust
Christian Cachin and Juan Villacis
18:00 – 19:30Business meeting

Wednesday, October 29

08:45 – 10:00 Session 5: Shared-memory and parallelism
Auditable Shared Objects: From Registers to Synchronization Primitives
Hagit Attiya, Antonio Fernández Anta, Alessia Milani, Alexandre Rapetti, and Corentin Travers
Asynchronous Latency and Fast Atomic Snapshot
João Paulo Bezerra, Luciano Freitas, and Petr Kuznetsov
An Almost-Logarithmic Lower Bound for Leader Election with Bounded Value Contention
Dan Alistarh, Faith Ellen, and Alexander Fedorov
Brief Announcement: Time, Fences and the Ordering of Events in TSO
Raïssa Nataf and Yoram Moses
Brief Announcement: Incrementally Verifiable Distributed Computation
Eden Aldema Tshuva and Rotem Oshman
10:00 – 11:00Keynote 2 (presented by 2025 Dijkstra Prize winner): Moni Naor
What Can Be Computed and Verified Locally: A Three Decade Perspective
11:00 – 11:25Coffee break (with posters)
11:25 – 12:30Session 6: Best (student) paper awards
Complexity landscape for local certification (Best Paper Award)
Nicolas Bousquet, Laurent Feuilloley, and Sébastien Zeitoun
Content-Oblivious Leader Election in 2-Edge-Connected Networks (Best Student Paper co-Award)
Jérémie Chalopin, Yi-Jun Chang, Lyuting Chen, Giuseppe A. Di Luna, and Haoran Zhou
pod: An Optimal-Latency, Censorship-Free, and Accountable Generalized Consensus Layer (Best Student Paper co-Award) Orestis Alpos, Bernardo David, Jakov Mitrovski, Odysseas Sofikitis, and Dionysis Zindros
12:30 – 13:45Lunch break (with posters)
13:45 – 14:50Session 7: Highlighted presentations in fault-tolerance and shared-memory
Validity in Network-Agnostic Byzantine Agreement
Andrei Constantinescu, Marc Dufay, Diana Ghinea, and Roger Wattenhofer
Distributed Download from an External Data Source in Byzantine Majority Settings
John Augustine, Soumyottam Chatterjee, Valerie King, Manish Kumar, Shachar Meir, and David Peleg
Strong Linearizability without Compare&Swap: The Case of Bags
Faith Ellen and Gal Sela
14:50 – 15:30Coffee break (with posters)
15:30 – 16:55Session 8: Mobile agents
Natural Calamities Demand More Rescuers: Exploring Connectivity Time Dynamic Graphs
Ashish Saxena and Kaushik Mondal
On the Shape Containment Problem within the Amoebot Model with Reconfigurable Circuits
Matthias Artmann, Andreas Padalkin, and Christian Scheideler
Perpetual exploration in anonymous synchronous networks with a Byzantine black hole
Adri Bhattacharya, Pritam Goswami, Evangelos Bampas, and Partha Sarathi Mandal
Brief Announcement: Universal Dancing by Luminous Robots under Sequential Schedulers
Caterina Feletti, Paola Flocchini, Debasish Pattanayak, Giuseppe Prencipe, and Nicola Santoro
Brief Announcement: The Virtue of Self-Consistency
Fabian Frei and Koichi Wada
Brief Announcement: Optimal Dispersion Under Asynchrony
Debasish Pattanayak, Ajay D. Kshemkalyani, Manish Kumar, Anisur Rahaman Molla, and Gokarna Sharma
16:55 – 17:05Short break
16:05 – 17:50Session 9: Fault-tolerance and synchronization
Lower Bounds for k-Set Agreement in Fault-Prone Networks
Pierre Fraigniaud, Minh Hang Nguyen, Ami Paz, Ulrich Schmid, and Hugo Rincon-Galeana
Brief Announcement: Distributed Download from an External Data Source in Asynchronous Faulty Settings
John Augustine, Soumyottam Chatterjee, Valerie King, Manish Kumar, Shachar Meir, and David Peleg
Brief Announcement: Synchronization in Anonymous Networks Under Arbitrary Dynamics
Rida Bazzi, Anya Chaturvedi, Andréa W. Richa, and Peter Vargas
Brief Announcement: Non-Uniform Content-Oblivious Leader Election on Oriented Asynchronous Rings
Jérémie Chalopin, Yi-Jun Chang, Lyuting Chen, Giuseppe A. Di Luna, and Haoran Zhou
19:00 – 22:00Conference banquet

Thursday, October 30

08:45 – 10:00 Session 10:  Nature-inspired computation and dynamic networks
Robust predicate and function computation in continuous chemical reaction networks Kim Calabrese, David Doty, and Mina Latifi
On the h-Majority Dynamics with Many Opinions
Francesco d’Amore, Niccolò D’Archivio, George Giakkoupis, and Emanuele Natale
Towards Constant Time Multi-Call Rumor Spreading on Small-Set Expanders
Emilio Cruciani, Sebastian Forster, and Tijn de Vos
Brief Announcement: Maintaining a Bounded Degree Expander in Dynamic Peer-to-Peer Networks
Antonio Cruciani
Brief Announcement: Congested Clique Counting for Local Gibbs Distributions
Joshua Z. Sobel
10:00 – 11:00Keynote 3: Ittai Abraham
11:00 – 11:25Coffee break
11:25 – 12:30Session 11: Highlighted presentations in distributed graph algorithms
Towards Optimal Distributed Edge Coloring with Fewer Colors
Manuel Jakob, Yannic Maus, and Florian Schager
On the Randomized Locality of Matching Problems in Regular Graphs
Seri Khoury, Manish Purohit, Aaron Schild, and Joshua R. Wang
Distributed Computation with Local Advice
Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Krzysztof Nowicki, Dennis Olivetti, Eva Rotenberg, and Jukka Suomela
12:30 – 13:45Lunch break (with posters)
13:45 – 15:00Session 12: Fault-tolerance and consensus
Byzantine Consensus in the Random Asynchronous Model
George Danezis, Jovan Komatovic, Lefteris Kokoris-Kogias, Alberto Sonnino, and Igor Zablotchi
ABEL: Perfect Asynchronous Byzantine Extension from List-Decoding
Ittai Abraham and Gilad Asharov
Kudzu: Fast and Simple High-Throughput BFT
Victor Shoup, Jakub Sliwinski, and Yann Vonlanthen
Weight reduction in distributed protocols: new algorithms and analysis
Anatoliy Zinovyev
15:00 – 15:20Coffee break
15:20 – 17:00Session 13: Communication
Deterministic Synchronous Self-Stabilizing BFS Construction with Constant Space Complexity
Lélia Blin, Franck Petit, and Sébastien Tixeuil
Amnesiac Flooding: Easy to Break, Hard to Escape
Henry Austin, Maximillien Gadouleau, George B. Mertzios, and Amitabh Trehan
Coordination Through Stochastic Channels
Pierre Fraigniaud, Boaz Patt-Shamir, and Sergio Rajsbaum
Compact routing schemes in undirected and directed graphs
Avi Kadria and Liam Roditty
Energy-Efficient Maximal Independent Sets in Radio Networks
Dominick Banasik, Varsha Dani, Fabien Dufoulon, Aayush Gupta, Thomas P. Hayes, and Gopal Pandurangan
Brief Announcement: Optimal-Length Labeling Schemes for Fast Deterministic Communication in Radio Networks
Adam Ganczorz, Tomasz Jurdzinski, and Andrzej Pelc
17:00 – 17:05Short break
17:05- 17:45Session 14: Fault-tolerance and consensus continued
Brief Announcement: From Few to Many Faults: Adaptive Byzantine Agreement with Optimal Communication Andrei Constantinescu, Marc Dufay, Anton Paramonov, and Roger Wattenhofer
Brief Announcement: Asynchronous Approximate Agreement with Quadratic Communication Mose Mizrahi Erbes and Roger Wattenhofer
Brief Announcement: Single-Round Broadcast: Impossibility, Feasibility, and More
Zhelei Zhou, Bingsheng Zhang, Hong-Sheng Zhou, and Kui Ren
Brief Announcement: Communication Patterns for Optimal Resilience
Hagit Attiya, Itay Flam, and Jennifer L. Welch
Brief Announcement: Proximal Byzantine Agreement: Improved accuracy for fault-tolerant replicated datastreams
Roy Shadmon and Owen Arden

Friday, October 31

Workshops: HACDA, WAND, AMG

Detailed workshop program TBA.