


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














