![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
PODC 2024: Nantes, France
- Ran Gelles, Dennis Olivetti, Petr Kuznetsov:
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, PODC 2024, Nantes, France, June 17-21, 2024. ACM 2024
Keynotes
- Nicola Santoro
:
Keynote: Time is not a Healer: Before and After. 1 - Tim Roughgarden
:
Keynote: Provable Slashing Guarantees. 2
Concurrency and Synchronization
- Sean Ovens
:
Determining Recoverable Consensus Numbers. 3-13 - Hagit Attiya
, Michael A. Bender
, Martín Farach-Colton
, Rotem Oshman
, Noa Schiller
:
History-Independent Concurrent Objects. 14-24 - Prasad Jayanti
, Siddhartha Jayanti
, Sucharita Jayanti
:
MemSnap: A Fast Adaptive Snapshot Algorithm for RMWable Shared-Memory. 25-35 - Achour Mostéfaoui
, Matthieu Perrin
, Julien Weibel
:
Brief Announcement: Randomized Consensus: Common Coins Are not the Holy Grail! 36-39
Population Protocols
- Dan Alistarh
, Krishnendu Chatterjee
, Mehrdad Karrabi
, John Lazarsfeld
:
Game Dynamics and Equilibrium Computation in the Population Protocol Model. 40-49 - Dominik Kaaser
, Maximilian Lohmann
:
Dynamic Size Counting in the Population Protocol Model. 50-60 - Austin Luchsinger
, David Doty
, David Soloveichik
:
Brief Announcement: Optimally Encoding Information in Chemical Reaction Networks. 61-64
Biological Distributed Algorithms
- Andreas Padalkin
, Christian Scheideler
:
Polylogarithmic Time Algorithms for Shortest Path Forests in Programmable Matter. 65-75 - Matthias Függer
, Thomas Nowak
, Joel Rybicki
:
Majority Consensus Thresholds in Competitive Lotka-Volterra Populations. 76-86 - George Giakkoupis
, Volker Turau
, Isabella Ziccardi
:
Brief Announcement: Self-Stabilizing MIS Computation in the Beeping Model. 87-90 - Niccolò D'Archivio
, Robin Vacus
:
Brief Announcement: On the Limits of Information Spread by Memory-less Agents. 91-94
The LOCAL Model and Variations
- Alkida Balliu
, Thomas Boudier
, Sebastian Brandt
, Dennis Olivetti
:
Tight Lower Bounds in the Supported LOCAL Model. 95-105 - Yi-Jun Chang
, Gopinath Mishra
, Hung Thuan Nguyen
, Mingyang Yang
, Yu-Cheng Yeh
:
A Tight Lower Bound for 3-Coloring Grids in the Online-LOCAL Model. 106-116 - Alkida Balliu
, Sebastian Brandt
, Fabian Kuhn
, Krzysztof Nowicki
, Dennis Olivetti
, Eva Rotenberg
, Jukka Suomela
:
Brief Announcement: Local Advice and Local Decompression. 117-120
Distributed Machine Learning
- Sam Ade Jacobs
, Masahiro Tanaka
, Chengming Zhang
, Minjia Zhang
, Reza Yazdani Aminadabi
, Shuaiwen Leon Song
, Samyam Rajbhandari
, Yuxiong He
:
System Optimizations for Enabling Training of Extreme Long Sequence Transformer Models. 121-130 - Sadegh Farhadkhani
, Rachid Guerraoui
, Nirupam Gupta
, Rafael Pinot
:
Brief Announcement: A Case for Byzantine Machine Learning. 131-134
Byzantine Fault-Tolerance
- Andrew Lewis-Pye
, Dahlia Malkhi
, Oded Naor
, Kartik Nayak
:
Lumiere: Making Optimal BFT for Partial Synchrony Practical. 135-144 - Pierre Civit
, Muhammad Ayaz Dzulfikar
, Seth Gilbert
, Rachid Guerraoui
, Jovan Komatovic
, Manuel Vidigueira
:
DARE to Agree: Byzantine Agreement With Optimal Resilience and Adaptive Communication. 145-156 - Pierre Civit
, Seth Gilbert
, Rachid Guerraoui
, Jovan Komatovic
, Anton Paramonov
, Manuel Vidigueira
:
All Byzantine Agreement Problems Are Expensive. 157-169 - Diogo Avelas
, Hasan Heydari
, Eduardo Alchieri
, Tobias Distler
, Alysson Bessani
:
Probabilistic Byzantine Fault Tolerance. 170-181
Algorithms for the CONGEST Model
- Vignesh Manoharan
, Vijaya Ramachandran
:
Computing Minimum Weight Cycle in the CONGEST Model. 182-193 - Yi-Jun Chang
, Shang-En Huang
, Hsin-Hao Su
:
Deterministic Expander Routing: Faster and More Versatile. 194-204 - Fedor V. Fomin
, Pierre Fraigniaud
, Pedro Montealegre
, Ivan Rapaport
, Ioan Todinca
:
Brief Announcement: Distributed Model Checking on Graphs of Bounded Treedepth. 205-208
Quantum Computing and Communication Networks
- Pierre Fraigniaud
, Maël Luce
, Frédéric Magniez
, Ioan Todinca
:
Even-Cycle Detection in the Randomized and Quantum CONGEST Model. 209-219 - Atsuya Hasegawa
, Srijita Kundu
, Harumichi Nishimura
:
On the Power of Quantum Distributed Proofs. 220-230 - Michael A. Bender
, Jeremy T. Fineman
, Seth Gilbert
, John Kuszmaul
, Maxwell Young
:
Fully Energy-Efficient Randomized Backoff: Slow Feedback Loops Yield Fast Contention Resolution. 231-242 - Bernadette Charron-Bost
, Patrick Lambein-Monette
:
Brief Announcement: Know Your Audience: Communication model and computability in anonymous networks. 243-246
Blockchain and BFT Consensus
- Francesco D'Amato
, Giuliano Losa
, Luca Zanolini
:
Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols. 247-256 - Qianyu Yu
, Giuliano Losa
, Xuechao Wang
:
TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. 257-267 - Krishnendu Chatterjee
, Amirali Ebrahim-Zadeh
, Mehrdad Karrabi
, Krzysztof Pietrzak
, Michelle Yeo
, Dorde Zikelic:
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. 268-278 - Geoffrey Ramseyer
, Ashish Goel
:
Brief Announcement: Fair Ordering via Streaming Social Choice Theory. 279-282
Protocols for Decentralized Finance
- Andrei Tonkikh
, Luciano Freitas de Souza
:
Swiper: a new paradigm for efficient weighted distributed protocols. 283-294 - Rida A. Bazzi
, Sara Tucci Piergiovanni
:
The Fractional Spending Problem: Executing Payment transactions in parallel with less than f+1 validations. 295-305 - Zeta Avarikioti
, Stefan Schmid
, Samarth Tiwari
:
Brief Announcement: Musketeer - Incentive-Compatible Rebalancing for Payment Channel Networks. 306-309
Fault-Tolerance and Synchronization
- Carole Delporte-Gallet
, Hugues Fauconnier
, Pierre Fraigniaud
, Sergio Rajsbaum
, Corentin Travers
:
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. 310-320 - Mohammad Hajiaghayi
, Dariusz R. Kowalski
, Jan Olkowski
:
Nearly-Optimal Consensus Tolerating Adaptive Omissions: Why a Lot of Randomness is Needed? 321-331 - Mark Braverman
, Rotem Oshman
, Tal Roth
:
Multi-Party Set Disjointness and Intersection with Bounded Dependence. 332-342 - Sylvain Gay
, Achour Mostéfaoui
, Matthieu Perrin
:
Brief Announcement: No Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems. 343-346
Lower Bounds
- Fabian Reiter
:
A LOCAL View of the Polynomial Hierarchy. 347-357 - Miguel Alves Ferreira
, Nirav Atre
, Justine Sherry
, João Luis Sobrinho
:
Impossibility Results for Data-Center Routing with Congestion Control and Unsplittable Flows. 358-368 - Alkida Balliu
, Sebastian Brandt
, Fabian Kuhn
, Dennis Olivetti
, Gustav Schmid
:
Completing the Node-Averaged Complexity Landscape of LCLs on Trees. 369-379
Shortest Path Algorithms
- Yi-Jun Chang
, Oren Hecht
, Dean Leitersdorf
, Philipp Schneider
:
Universally Optimal Information Dissemination and Shortest Paths in the HYBRID Distributed Model. 380-390 - Hong Duc Bui
, Shashwat Chandra
, Yi-Jun Chang
, Michal Dory
, Dean Leitersdorf
:
Improved All-Pairs Approximate Shortest Paths in Congested Clique. 391-400 - Mohsen Ghaffari
, Anton Trygub
:
A Near-Optimal Low-Energy Deterministic Distributed SSSP with Ramifications on Congestion and APSP. 401-411 - Yi-Jun Chang
, Varsha Dani
, Thomas P. Hayes
:
Brief Announcement: Low-Distortion Clustering in Bounded Growth Graphs. 412-415
Coloring in Graphs
- Maxime Flin
, Parth Mittal
:
(Δ+1) Vertex Coloring in O(n) Communication. 416-424 - Marc Fuchs
, Fabian Kuhn
:
Brief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms. 425-428 - Nicolas Bousquet
, Laurent Feuilloley
, Sébastien Zeitoun
:
Brief Announcement: Global certification via perfect hashing. 429-431
Concurrency and Consistency
- Hagit Attiya
, Armando Castañeda
, Constantin Enea
:
Strong Linearizability using Primitives with Consensus Number 2. 432-442 - Fatemeh Naderi-Semiromi
, Philipp Woelfel
:
Strongly Linearizable LL/SC from CAS. 443-453 - Dante Bencivenga
, George Giakkoupis
, Philipp Woelfel
:
Faster Randomized Repeated Choice and DCAS. 454-464 - Giuliano Losa
, Eli Gafni
:
Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. 465-468
Security and Cryptography
- Hanwen Feng
, Zhenliang Lu
, Qiang Tang
:
Dragon: Decentralization at the cost of Representation after Arbitrary Grouping and Its Applications to Sub-cubic DKG and Interactive Consistency. 469-479 - James Bartusek
, Thiago Bergamaschi
, Seri Khoury
, Saachi Mutreja
, Orr Paradise
:
On the Communication Complexity of Secure Multi-Party Computation With Aborts. 480-491 - Diana Ghinea
, Chen-Da Liu-Zhang
, Roger Wattenhofer
:
Brief Announcement: Communication-Optimal Convex Agreement. 492-495
Massively Parallel Computation
- Artur Czumaj
, Gopinath Mishra
, Anish Mukherjee
:
Streaming Graph Algorithms in the Massively Parallel Computation Model. 496-507 - Rustam Latypov
, Yannic Maus
, Shreyas Pai
, Jara Uitto
:
Adaptive Massively Parallel Coloring in Sparse Graphs. 508-518 - Quanquan C. Liu
, C. Seshadhri
:
Brief Announcement: Improved Massively Parallel Triangle Counting in O(1) Rounds. 519-522 - Jeff Giliberti
, Zahra Parsaeian
:
Brief Announcement: Massively Parallel Ruling Set Made Deterministic. 523-526
Self-Stabilization
- Karine Altisen
, Alain Cournier
, Geoffrey Defalque
, Stéphane Devismes
:
On Self-stabilizing Leader Election in Directed Networks. 527-537 - Colette Johnen
, Stéphane Devismes
, Frédéric Mazoit
, David Ilcinkas
:
Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient. 538-548 - Fabian Frei
, Ran Gelles
, Ahmed Ghazy
, Alexandre Nolin
:
Brief Announcement: Content-Oblivious Leader Election on Rings. 549-552
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.