Hubbry Logo
Symposium on Principles of Distributed ComputingSymposium on Principles of Distributed ComputingMain
Open search
Symposium on Principles of Distributed Computing
Community hub
Symposium on Principles of Distributed Computing
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Symposium on Principles of Distributed Computing
Symposium on Principles of Distributed Computing
Symposium on Principles of Distributed Computing
View on Wikipedia
from Wikipedia
Symposium on Principles of Distributed Computing
AbbreviationPODC
DisciplineDistributed computing
Publication details
PublisherACM
History1982–present
Frequencyannual

The ACM Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery (special interest groups SIGACT and SIGOPS).[1]

[edit]

Work presented at PODC typically studies theoretical aspects of distributed computing, such as the design and analysis of distributed algorithms. The scope of PODC is similar to the scope of International Symposium on Distributed Computing (DISC),[2] with the main difference being geographical: DISC is usually organized in European locations,[3] while PODC has been traditionally held in North America.[4] The Edsger W. Dijkstra Prize in Distributed Computing is presented alternately at PODC and at DISC.[5][6][7]

Other closely related conferences include ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), which – as the name suggests – puts more emphasis on parallel algorithms than distributed algorithms. PODC and SPAA have been co-located in 1998, 2005, and 2009.

Reputation and selectivity

[edit]

PODC is often mentioned to be one of the top conferences in the field of distributed computing.[8][9][10] In the 2007 Australian Ranking of ICT Conferences, PODC was the only conference in the field that received the highest ranking, "A+".[11]

During the recent years 2004–2009, the number of regular papers submitted to PODC has fluctuated between 110 and 224 each year. Of these submissions, 27–40 papers have been accepted for presentation at the conference each year; acceptance rates for regular papers have been between 16% and 31%.[12][13]

History

[edit]

PODC was first organised on 18–20 August 1982, in Ottawa, Ontario, Canada.[14] PODC was part of the Federated Computing Research Conference in 1996, 1999 and 2011.

Between 1982 and 2009, PODC was always held in a North American location – usually in the United States or Canada, and once in Mexico.[4] In 2010, PODC was held in Europe for the first time in its history,[4] and in the same year, its European sister conference DISC was organised in the United States for the first time in its history.[3][15] PODC 2010 took place in Zürich, Switzerland, and DISC 2010 took place in Cambridge, Massachusetts.

Since 2000, a review of the PODC conference appears in the year-ending issue of the ACM SIGACT News Distributed Computing Column.[16] The review is usually written by a member of the distributed computing research community.

See also

[edit]

References

[edit]
[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Symposium on Principles of Distributed Computing

View on Grokipedia
from Grokipedia
The Symposium on Principles of Distributed Computing (PODC) is an annual sponsored by the Association for Computing Machinery (ACM) through its Special Interest Groups on Algorithms and Computation Theory (SIGACT) and Operating Systems (SIGOPS), serving as a leading international forum for presenting original research on the theory, design, analysis, implementation, and applications of systems and algorithms. PODC was established in 1982, with its inaugural event held from August 18–20 in , , and has since convened annually, evolving from a North American-focused gathering to a global event with locations across , , and beyond, including virtual formats in 2020 and 2021 due to the . Over its more than four decades, the symposium has grown into one of the premier venues for research, fostering advancements in foundational principles amid the rise of networked systems, the , and emerging technologies like and . The conference covers a broad spectrum of topics in distributed computing, including the design and analysis of distributed algorithms, and coordination protocols, fault-tolerance and reliability, communication networks, multiprocessor and multi-core architectures, and privacy in distributed settings, distributed optimization and , quantum and biological distributed algorithms, as well as applications in mobile ad hoc networks, sensor networks, and large-scale systems. It emphasizes rigorous theoretical foundations while also addressing practical implementation challenges, attracting researchers from academia and industry to discuss cutting-edge developments. PODC proceedings are published in the , featuring full papers, brief announcements, and invited talks, with submissions undergoing a selective peer-review process to ensure high-quality contributions; the conference typically spans four to five days, including workshops, tutorials, and social events to promote collaboration. Recognized as an A*-ranked venue in the conference ranking system, PODC plays a pivotal role in shaping the field by disseminating influential work that influences subsequent research and practical systems worldwide.

Overview

Scope and Focus

The ACM Symposium on Principles of (PODC) is an annual conference dedicated to advancing the understanding of the principles underlying distributed computing through theoretical foundations, design, analysis, implementation, and application of distributed systems and networks. Its core mission is to serve as an international forum where researchers explore the fundamental challenges of concurrency, coordination, and reliability in distributed environments, fostering innovations that bridge abstract models with practical insights. PODC's thematic boundaries emphasize theoretical models, including asynchronous systems, fault-tolerant algorithms, and , while prioritizing analytical rigor and conceptual depth over hardware engineering or purely empirical systems implementations. This focus highlights impossibility results, lower bounds, and formal modeling techniques—such as state machine frameworks—to delineate the limits and capabilities of distributed protocols, distinguishing PODC from more applied venues in the field. From its inception in the early , PODC aimed to cultivate research on distributed systems principles in response to the surging interest in parallel and networked during that era, providing a dedicated for theorists and systems researchers to tackle shared challenges. The conference has spotlighted foundational concepts, such as the trade-offs in the —addressing consistency, availability, and partition tolerance—which Eric Brewer introduced in his PODC 2000 keynote, influencing subsequent designs for robust distributed databases. Consensus protocols like , originally proposed by for achieving agreement in unreliable networks, have also been prominently refined and analyzed at PODC, exemplifying the venue's emphasis on fault-tolerant coordination.

Organization and Sponsorship

The Symposium on Principles of Distributed Computing (PODC) is sponsored by the Association for Computing Machinery (ACM) through its Special Interest Groups on Algorithms and Computation Theory (SIGACT) and Operating Systems (SIGOPS). The proceedings of the conference are published in the ACM Digital Library, ensuring wide accessibility to accepted papers and announcements. PODC's organizational structure is overseen by an annual Steering Committee (SC) composed of seven members: the Chair (serving a three-year term), the Troika (the current and next two Program Committee Chairs), the General Chair (one-year term), the Treasurer (one-year term), and a Member At-Large (two-year term). The SC provides leadership to the PODC community, makes key decisions by majority vote, and maintains ties with ACM and related conferences. Program chairs, selected through a rotating process managed by the Troika, are responsible for ensuring technical quality by forming the Program Committee, issuing the call for papers, and overseeing special journal issues. For each edition, local organizing committees, led by one or more Organizing Chairs selected by the SC with community input, handle venue arrangements, registrations, and on-site logistics. The submission and review process follows a lightweight double-blind peer review model, where submissions must anonymize author identities to promote fairness. Typical deadlines include abstract submissions in early February and full papers by mid-February, with notifications in late April or early May, aligning with the conference schedule in June or July. Funding is primarily provided by ACM via the Technical Meeting Resource Fund (TMRF), with budgets approved annually; the General Chair additionally secures support from industry sponsors when available. Unlike membership-based organizations, PODC imposes no fees for participation in the community but requires registration for conference attendance. Since around 2010, PODC's organization has evolved from a more U.S.-centric model to emphasize international diversity, particularly in the composition of program committees, which now routinely include experts from multiple continents to reflect the global scope of research.

History

Founding and Early Years

The Symposium on Principles of (PODC) was established in response to the growing need for a theoretical foundation in research, driven by advances in networking and during the late 1970s. Around 1978, at recognized the practical importance and inherent complexity of , advocating for formal models akin to Turing machines to bridge and . This initiative was spearheaded by Lynch and Michael J. Fischer, with Robert Probert proposing a regular conference venue in to foster collaboration among researchers. Sponsored jointly by ACM SIGACT and SIGOPS, PODC aimed to address foundational challenges in distributed algorithms and systems design. The inaugural PODC took place from August 18–20, 1982, in , , with Michael J. Fischer serving as program chair and Nicola Santoro handling local arrangements. The conference featured formal proceedings published by ACM, covering early topics such as language constructs for distributed programming, in multiversion databases, and dynamic systems termination. Foundational papers emerged on protocols and algorithms, establishing core principles for coordinating processes in distributed environments without . Attendance was modest, reflecting the nascent field, but it attracted key figures from both theoretical and systems communities. Subsequent early editions built on this momentum, maintaining a North American focus. The second PODC occurred in , , from August 17–19, 1983, with Nancy as program chair and Gordon S. Cormack managing local arrangements; it introduced the first invited address by on concurrency issues. The third edition was held in Vancouver, British Columbia, from August 27–29, 1984, emphasizing theoretical distributed algorithms like those for anonymous rings and . By the late 1980s, participation had grown, with milestones including the 1987 presentation in Vancouver of the I/O automata model by Lynch and Mark Tuttle, which provided a unified framework for specifying and verifying distributed systems. Proceedings from these years continued to highlight seminal work on , consensus, and unique identifiers for processes. PODC's early years also saw integration into broader ACM events, participating as part of the Federated Computing Research Conference (FCRC) in 1996 in and 1999 in , which facilitated cross-disciplinary interactions among , programming languages, and other areas. This period solidified PODC's role in the academic landscape, prioritizing theoretical underpinnings of distributed algorithms amid evolving hardware capabilities.

Expansion and Internationalization

Following its early years, the Symposium on Principles of (PODC) experienced significant growth in scale during the 2000s and 2010s, reflecting the expanding interest in research. Attendance at the conference rose from approximately 90-125 participants in the early 2000s to around 180 registrants in recent editions, with over 100 attendees reported at PODC alone. Submissions also increased steadily, reaching 173 in 2019 and 187 in 2020, underscoring the conference's growing appeal to the global research community. A key milestone in PODC's internationalization occurred in 2010 with the first non-North American venue in , , marking a shift from predominantly North American locations in the prior decades. Subsequent editions further diversified geographically, including Madeira, Portugal in 2012; Paris, France in 2014; Donostia-San Sebastián, Spain in 2015; , in 2018; , in 2022; and Nantes, France in 2024. This expansion continued with PODC 2025 in Huatulco, Mexico—the first in —and PODC 2026 planned for Egham, . To adapt to global challenges, PODC adopted virtual formats for its 2020 and 2021 editions in response to the , enabling continued participation amid travel restrictions. Additionally, PODC 2011 was co-located with the Federated Computing Research Conference (FCRC) in , fostering broader interdisciplinary interactions. The steering committee underwent expansions to enhance international representation, incorporating more members from outside . For instance, Andrzej Pelc served as chair from 2010 to 2012, followed by a mix of global leaders, with the current committee (as of 2025) led by Panagiota Fatourou from and including members such as Fabian Kuhn from and Petr Kuznetsov from . This trend reflects PODC's evolution into a truly global forum while maintaining its focus on core principles.

Topics Covered

Core Areas

The core areas of research in the Symposium on Principles of (PODC) encompass foundational theoretical domains that address the , , and limitations of distributed systems, emphasizing models of under constraints like asynchrony and failures. These areas focus on abstract problems solvable through algorithmic techniques, providing enduring frameworks for understanding coordination in decentralized environments without relying on centralized control. Distributed algorithms form a cornerstone, involving the design and complexity analysis of protocols for tasks such as consensus, broadcast, and in networks of processes. Consensus requires processes to agree on a single value despite concurrent operations, while broadcast ensures a message from one source reaches all others reliably. mechanisms, like , prevent conflicting accesses to shared resources. A seminal result is the Fischer-Lynch-Paterson (FLP) impossibility theorem, which proves that in asynchronous message-passing systems tolerant to even one crash failure, no deterministic consensus algorithm exists that always terminates. Fault tolerance and reliability explore models for handling failures, including crash faults where processes halt arbitrarily and Byzantine faults where they behave maliciously. Crash fault models assume processes either operate correctly or stop, leading to algorithms that use timeouts or heartbeats for detection. tolerance, as formalized in the Byzantine Generals Problem, requires agreement among loyal processes despite up to one-third faulty ones sending conflicting messages; solutions often involve multi-round voting protocols. Self-stabilization, introduced by Dijkstra, ensures that a system recovers to a legitimate state from any initial configuration after transient faults, without external intervention, by iteratively applying local rules until convergence. Concurrency and shared memory paradigms address atomicity and progress in multiprocessor environments, where processes access a common memory via operations like reads and writes. Atomicity guarantees that operations appear indivisible, while provides a consistency condition where concurrent operations are serializable as if executed sequentially in real-time order. Wait-free ensures that each process completes its operations in a bounded number of steps regardless of others' speeds or failures, often using obstruction-free primitives extended to wait-freedom. Communication networks model interactions via message-passing, analyzing lower bounds on rounds ( steps) and total messages exchanged. In these systems, processes communicate over links with potential delays, leading to bounds like Ω(n) messages for in rings of n processes. Specific examples include the renaming problem, where processes with large unique identifiers select compact names from a smaller ; a wait-free solution for k-renaming uses shared registers to assign names atomically.

Pseudocode for a simple wait-free renaming step (for illustration; full algorithm requires auxiliary objects): function rename(id, n): // id is process's input, n is name space size name = fetch_and_add(counter, 1) mod n // Atomic increment and modulo if name >= k: // k is contention bound retry with helper protocol return name

Pseudocode for a simple wait-free renaming step (for illustration; full algorithm requires auxiliary objects): function rename(id, n): // id is process's input, n is name space size name = fetch_and_add(counter, 1) mod n // Atomic increment and modulo if name >= k: // k is contention bound retry with helper protocol return name

Snapshot algorithms enable processes to atomically collect the state of shared variables, supporting wait-free implementations for concurrent reads. Afek et al. constructed an atomic snapshot object using lattice agreement, where updates modify components and scans collect all via double-collect scans for consistency. These primitives underpin higher-level structures like atomic registers in asynchronous settings.

Emerging Topics

In recent years, the Symposium on Principles of (PODC) has increasingly addressed evolving research frontiers influenced by technological advances, particularly from the 2010s onward, expanding beyond traditional theoretical foundations to incorporate practical applications in large-scale systems. These emerging topics reflect the integration of distributed computing principles with domains such as , , natural systems, geo-distributed infrastructures, and quantum technologies, often explored through theoretical models, algorithms, and complexity analyses presented in conference sessions and workshops. Distributed and processing have become prominent at PODC, focusing on algorithms that enable scalable and across decentralized nodes while preserving privacy and efficiency. For instance, protocols, which allow models to be trained collaboratively without centralizing raw data, have been analyzed for convergence guarantees and in heterogeneous environments. A key contribution is the exploration of data summarization techniques for graphical models in tasks, demonstrating how distributed computation can approximate complex optimizations like with reduced communication overhead. These works tie briefly to core concepts by adapting them to asynchronous, data-intensive settings. Additionally, workshops like the Principles of Distributed Learning, co-located with PODC since 2022, have highlighted challenges in distributed optimization for , such as gradient aggregation in non-IID data distributions. Blockchain and cryptocurrencies represent another frontier, with PODC emphasizing novel consensus mechanisms that extend classical agreement protocols to handle and in permissionless networks. Beyond traditional proof-of-work models, research has examined proof-of-stake variants and leader-based Byzantine fault-tolerant protocols, such as HotStuff, which achieve linear while tolerating up to one-third faulty nodes in partially synchronous settings. These mechanisms address challenges like chain finality and fork resolution, often modeling blockchains as dynamic graphs where nodes propagate transactions with probabilistic guarantees. Tutorials at PODC, such as "From Classical to Blockchain Consensus" in 2019, have bridged these areas by comparing exact consensus solvability under varying synchrony assumptions. PODC 2025 featured papers on blockchains and distributed ledger technologies, underscoring their growing theoretical significance. Biological and natural distributed systems draw inspiration from decentralized coordination in nature, modeling phenomena like optimization as fault-tolerant algorithms for collective decision-making. A seminal PODC paper introduced the house-hunting problem, where scouts use tandem running and to achieve consensus on nest relocation, formalized as a distributed protocol with O(n log n) in anonymous networks of n agents. This work models biological processes as synchronous or asynchronous message-passing systems, highlighting self-stabilization against environmental perturbations. Co-located workshops on Biological Distributed Algorithms, starting around 2014, have further explored epidemic spreading models akin to rumor propagation algorithms, analyzing thresholds for containment in graph-based populations. Such studies provide conceptual insights into scalable, leaderless coordination without central control. Cloud and edge computing at PODC investigate fault models for geo-distributed storage and low-latency protocols, addressing challenges in hybrid infrastructures where data spans edge devices and central clouds. Erasure-coded architectures for consistent storage, as proposed in a 2017 PODC paper, enable atomic reads and writes across failure-prone, geo-replicated systems by layering local redundancy with global parity checks, achieving throughput comparable to replication while reducing storage overhead by up to 50%. These models incorporate churn and partition faults specific to edge environments, such as intermittent connectivity in mobile networks. Workshops like Theory and Practice for Integrated Cloud, Fog, and Edge Computing Paradigms at PODC 2018 have examined low-latency routing protocols that minimize tail latency in wide-area networks through adaptive prefetching and caching strategies. Quantum and hybrid distributed systems mark an early but accelerating area in PODC, exploring to bound in network models. The 2018 PODC paper by Le Gall and Magniez introduced quantum algorithms for and construction in the CONGEST model, achieving polylogarithmic rounds using that leverage superposition for faster exploration than classical counterparts. Recent works, such as even-cycle detection in quantum CONGEST from PODC 2024, demonstrate how entanglement-assisted protocols can reduce message sizes exponentially for certain graph problems, though lower bounds show limitations in fully quantum settings. These explorations, often in hybrid classical-quantum networks, focus on entanglement distribution as a resource for lowering round complexity in multiparty computation. As of 2025 trends, PODC sessions continue to probe quantum extensions of classical models like shared-memory emulation.

Sister Conferences

The International Symposium on Distributed Computing (DISC) serves as the primary sister conference to PODC, functioning as its annual European counterpart since its founding in 1985 as the biannual Workshop on Distributed Algorithms on Graphs (WDAG), which became annual in 1989 and was renamed DISC in 1998 to encompass a broader scope. Unlike PODC's emphasis on foundational principles underlying , DISC extends to the theory, design, analysis, implementation, and application of distributed systems and networks. The two conferences alternate in presenting the Prize in Distributed Computing, recognizing outstanding papers in the field. Other key sister conferences include the International Conference on Principles of Distributed Systems (OPODIS), which focuses on state-of-the-art advancements in and systems, including real-time and fault-tolerant aspects, and the Colloquium on Structural and (SIROCCO), established in to explore theoretical foundations of and structural properties in distributed settings. These events overlap with PODC in their theoretical emphasis on distributed algorithms and models, though DISC and OPODIS incorporate more systems-oriented papers on practical implementations, while SIROCCO targets specialized communication-theoretic challenges; their joint communities are evident through shared authors, cross-citations, and collaborative resources like the PODC–DISC online platforms. Historically, PODC and DISC have operated as twin events, promoting a unified global research ecosystem in through complementary scopes and occasional co-location opportunities.

Co-located and Affiliated Events

The on Principles of Distributed Computing (PODC) frequently co-locates with the ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), enabling joint sessions and shared infrastructure. Notable instances include 1998 in , ; 2005 in , , ; 2009 in , , ; and 2023 in , , as part of the broader ACM Federated Computing Research Conference (FCRC), with continued co-location scheduled for 2026 in , . PODC has also participated as a core component in select editions of the ACM FCRC, a week-long umbrella event gathering multiple computing conferences. This affiliation occurred in 1996 in , Pennsylvania; 1999 in Atlanta, Georgia; and 2011 in , allowing attendees access to cross-conference programming. In addition to these major co-locations, PODC hosts affiliated workshops addressing specialized topics, often held immediately before or after the main symposium. Examples include the annual Workshop on Advanced Tools, Programming Languages, and Platforms for Implementing and Evaluating Algorithms for Distributed Systems (ApPLIED), which focuses on practical implementation challenges, and dedicated sessions on testing and verification using and machine verification tools. Student-oriented workshops, such as the Senior-Junior Meeting and MaRIA/ early-career gatherings, provide mentoring opportunities for graduate students and postdocs to interact with established researchers. These arrangements yield practical advantages, including shared keynote addresses and technical sessions that foster collaboration across subfields, lower overall attendance costs through consolidated venues and registration, and enhanced intellectual cross-pollination—for instance, where advances in parallel algorithms from SPAA inform modeling techniques in distributed systems. Such events are organized under the auspices of ACM Special Interest Groups like SIGACT and SIGOPS, with potential for expanded affiliations including sister conferences such as DISC.

Reputation and Impact

Selectivity and Acceptance Rates

The Symposium on Principles of Distributed Computing (PODC) maintains a competitive selection process, with an overall historical acceptance rate of approximately 30% across its editions, based on 781 accepted papers out of 2,628 submissions as of 2025. This rate underscores the conference's rigor in a growing field, where submission volumes during 2004–2009 ranged from 110–224 papers annually, with recent years in the 2020s varying from around 110 to over 180, reflecting sustained interest in research. Acceptance rates have shown some variation over time but remain low, typically in the mid-20s to low-30s percent range. For instance, PODC 2009 accepted 27 out of 110 submissions (25%). In more recent years, the rates have been as follows:
YearSubmissionsAcceptedRate
20251514127%
20231102926%
20201874725%
20191734828%
These figures highlight PODC's selectivity, contributing to its status as a premier venue for high-impact distributed computing work. The review process further ensures quality through a lightweight double-blind procedure, where submissions must anonymize author details to promote fairness. Each paper receives evaluations from at least three program committee members or external reviewers, with discussions among reviewers to resolve discrepancies. Out-of-scope or non-conforming submissions may undergo desk rejection without full review, helping manage the increasing submission load efficiently.

Awards and Recognitions

The Prize in , established in 2003 and jointly sponsored by PODC and the International Symposium on (DISC), recognizes outstanding papers on the principles of distributed computing that have demonstrated significant impact on the field at least 10 years after publication. The prize evolved from the PODC Influential-Paper Award, which was given in 2000, 2001, and 2002, and includes a $2,000 monetary award shared among the authors, along with plaques for each. It is presented annually, alternating between PODC (odd years) and DISC (even years), with nominations open to papers from any conference or journal. The first Dijkstra Prize in 2004 was awarded to Allan Borodin, Faith Ellen Fich, Carson C. Lin, and Anne James for their 1983 paper "Tight Bounds for Legal Firing in Networks." Subsequent recipients have honored foundational works with enduring influence, such as the 2024 award to Nicola Santoro and Peter Widmayer for their 1989 paper "Time Is Not a Healer," which explored time bounds in distributed systems despite failures. In 2025, the prize went to Moni Naor and Larry Stockmeyer for their 1993 paper "What Can Be Computed Locally?," a seminal contribution to understanding local computability in distributed graph algorithms. PODC also presents annual Best Paper Awards to recognize exceptional contributions among accepted papers. For instance, at PODC 2025, the Best Paper Award was given to Gopal Pandurangan and collaborators for their work on improving Byzantine agreement protocols, enhancing in distributed networks. Additionally, the Best Student Paper Award highlights outstanding student-led research, often featuring innovative approaches by graduate or undergraduate authors, such as the 2024 award to Bui Hong Duc and Shashwat Chandra for their paper on distributed algorithms. Prize winners and influential papers are further recognized through dedicated keynote slots at PODC, providing opportunities to discuss their lasting impact. Prior to 2003, the annual PODC Influential-Paper selections, like the 2000 award to Leslie Lamport for "Time, Clocks, and the Ordering of Events in a Distributed System," similarly elevated seminal works via special sessions and committee endorsements.

Influential Contributions

One of the most foundational contributions from the early years of PODC is Leslie Lamport's 1978 paper "Time, Clocks, and the Ordering of Events in a Distributed System," which introduced logical clocks to capture causal relationships among events in distributed systems without relying on synchronized physical clocks. This work, presented in the context of PODC's foundational discussions, received the inaugural PODC Influential Paper Award in 2000 for its enduring impact on understanding event ordering. It has been highly cited, influencing core concepts in distributed synchronization. Another landmark result is the 1985 Fischer-Lynch-Paterson (FLP) impossibility theorem, which proved that no deterministic consensus algorithm can guarantee termination in an asynchronous distributed system tolerant to even a single crash failure. Originating from PODC's focus on , this paper earned the 2001 PODC Influential Paper Award and has amassed over 10,000 citations, establishing fundamental limits on distributed agreement. These seminal works have profoundly shaped practical systems. For instance, Google Spanner's TrueTime API, which provides bounded uncertainty for global timestamps to achieve external consistency, directly builds on Lamport's concepts to order transactions across data centers. PODC-originated ideas in consensus, such as those extending FLP, also underpin real-world implementations like Apache Kafka's metadata management, originally reliant on ZooKeeper's ZAB protocol—a variant inspired by Lamport's algorithm. Post-2010, PODC has advanced consensus protocols by addressing and resilience in permissionless settings, drawing on impossibility results like FLP to design hybrid mechanisms that balance liveness and safety. These contributions are reflected in standard textbooks, such as Nancy A. Lynch's "Distributed Algorithms" (1996), which synthesizes PODC research into a comprehensive framework for algorithm design and analysis. Additionally, annual reviews of PODC proceedings in ACM SIGACT News since 2000 have disseminated these impacts to the broader theory community.

References

  1. https://www.podc.org/about/
  2. https://www.podc.org/history/
  3. https://dl.acm.org/doi/proceedings/10.1145/3662158
  4. https://www.podc.org/podc2025/
  5. https://portal.core.edu.au/conf-ranks/63/
  6. https://www.podc.org/podc2026/call-for-papers/
  7. https://www.podc.org/
  8. https://groups.csail.mit.edu/tds/papers/Lynch/distcomp03.pdf
  9. https://easychair.org/cfp/ApPLIED2025
  10. https://www.podc.org/podc2000/brewer.html
  11. https://www.podc.org/podc2011/
  12. https://dl.acm.org/doi/proceedings/10.1145/3465084
  13. https://www.podc.org/podc-organization/
  14. https://www.podc.org/podc2025/call-for-papers/
  15. https://www.podc.org/podc2010/program_committee.shtml
  16. https://dl.acm.org/doi/proceedings/10.1145/800220
  17. https://dl.acm.org/doi/proceedings/10.1145/800221
  18. https://people.csail.mit.edu/idish/sigactNews/col20.pdf
  19. https://www.podc.org/podc2025/information-for-sponsors/
  20. https://dl.acm.org/doi/abs/10.1145/3586165.3586179
  21. https://www.myhuiban.com/conference/362
  22. https://www.podc.org/podc2025/steering-committee/
  23. https://dl.acm.org/doi/10.1145/357172.357176
  24. https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf
  25. https://lamport.azurewebsites.net/pubs/byz.pdf
  26. https://courses.csail.mit.edu/6.852/05/papers/p643-Dijkstra.pdf
  27. https://cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf
  28. https://dl.acm.org/doi/10.1145/78969.78972
  29. https://groups.csail.mit.edu/tds/papers/Attiya/JACM90.pdf
  30. https://people.csail.mit.edu/shanir/publications/AADGMS.pdf
  31. https://dl.acm.org/doi/10.1145/153724.153741
  32. https://arxiv.org/abs/2104.14362
  33. http://dmac.rutgers.edu/~graham/pubs/papers/podc18.pdf
  34. https://dcl.epfl.ch/site/podc2024
  35. https://www.podc.org/podc2019/workshops-and-tutorials/tutorial-descriptions/
  36. https://arxiv.org/abs/1803.05069
  37. https://www.podc.org/podc2025/list-of-accepted-papers/
  38. https://dl.acm.org/doi/10.1145/2767386.2767426
  39. https://snl.salk.edu/~navlakha/BDA2016/
  40. https://dl.acm.org/doi/10.1145/3087801.3087832
  41. https://www.podc.org/podc2018/
  42. https://www.podc.org/podc2024/list-of-accepted-papers/
  43. https://www.disc-conference.org/
  44. https://www.disc-conference.org/wp/disc2025/
  45. https://www.podc.org/2025-edsger-w-dijkstra-prize-in-distributed-computing/
  46. https://opodis.net/
  47. http://sirocco2023.networks.imdea.org/en/30th-anniversary-of-sirocco/
  48. https://dl.acm.org/doi/10.1145/1466390.1466402
  49. https://podc-disc.github.io/
  50. https://www.podc.org/podcspaa98/home.html
  51. https://www.podc.org/podc2005/
  52. https://www.podc.org/podc2009/
  53. https://www.podc.org/podc2023/
  54. https://icalppodcspaa2026.cs.rhul.ac.uk/
  55. https://dblp.org/db/conf/podc/index
  56. https://fcrc.acm.org/past-events/past-fcrc-events
  57. https://www.cse.chalmers.se/~elad/ApPLIED2025/
  58. https://www.podc.org/podc2025/workshops-and-tutorials/
  59. https://www.podc.org/podc2024/senior-junior-meeting/
  60. https://www.podc.org/podc2021/student-meetings/
  61. https://dl.acm.org/doi/proceedings/10.1145/1582716
  62. http://grigory.github.io/blog/stoc-focs-proposal-colocate/
  63. https://dl.acm.org/doi/proceedings/10.1145/3732772
  64. https://dl.acm.org/doi/proceedings/10.1145/3583668
  65. https://www.myhuiban.com/conference/362?lang=en_us
  66. https://dl.acm.org/doi/proceedings/10.1145/3293611
  67. https://www.podc.org/dijkstra/
  68. https://eatcs.org/index.php/dijkstra-prize
  69. https://eatcs.org/index.php/component/content/article/1-news/2981-2024-edsger-w-dijkstra-prize-in-distributed-computing-
  70. https://www.disc-conference.org/wp/disc2025/2025-edsger-w-dijkstra-prize-in-distributed-computing/
  71. https://www.uh.edu/nsm/news-events/stories/2025/0801-pandurangan-podc.php
  72. https://www.comp.nus.edu.sg/bytes/two-undergraduate-students-win-best-student-paper-award-at-acm-symposium/
  73. https://www.podc.org/influential/2000-influential-paper/
  74. https://dl.acm.org/doi/10.1145/359545.359563
  75. https://www.podc.org/influential/2001-influential-paper/
  76. https://research.google.com/archive/spanner-osdi2012.pdf
  77. https://www.confluent.io/blog/distributed-consensus-reloaded-apache-zookeeper-and-replication-in-kafka/
  78. https://arxiv.org/abs/1707.01873
  79. https://dl.acm.org/doi/abs/10.1145/369836.369843
Add your contribution
Related Hubs
User Avatar
No comments yet.