PODC Topic Selection
Decide the venue before drafting. PODC — the ACM Symposium on Principles of Distributed Computing —
is the SIGACT-SIGOPS home for the theory of distributed computing. Reviewers read for a
provable guarantee in a precisely stated distributed model: an algorithm with a complexity
bound, an impossibility, or a matching lower bound. A technically strong paper whose real
contribution is a sequential algorithm, a measured system, or a database result is respected
and then rejected as out of scope.
The naming trap, first
PODC is not PODS. PODS is the ACM Symposium on Principles of Database Systems (SIGMOD week);
its theory is query languages, dependencies, and database complexity. If your result is about data
management rather than distributed processes, agents, or memory, you want PODS, not PODC. One letter,
two communities — check before you submit.
The routing question that matters most
PODC, DISC, and SPAA overlap heavily in scope and share much of a reviewer pool, so the
decisive question is rarely "is this distributed theory?" but "which model, which cost measure, and
which calendar fit this result now?" Use the finer signals below and the live deadlines to choose.
Sibling-venue routing table
| Signal in your project |
Better home |
Why |
| Provable guarantee in a distributed model (consensus, shared memory, LOCAL/CONGEST, self-stabilization, population protocols), ready now, PODC's Feb deadline is nearer |
PODC |
The ACM distributed-theory flagship; proofs-centric |
| Same distributed-theory flavor but DISC's fall cycle lands better, or the result is very European-community-facing |
DISC |
The EATCS distributed-theory flagship; LIPIcs proceedings; shares the Dijkstra Prize and Dissertation Award with PODC |
| Core is parallel algorithms/architectures, work-span/PRAM, shared-memory throughput, scheduling |
SPAA |
Parallelism is its named center; co-located with PODC 2026 but a distinct scope |
| Networks, mobile agents, self-stabilization with a specific community fit |
OPODIS / SIROCCO / SSS |
Focused distributed-theory venues; often a better match for niche models |
| The algorithm is sequential — the distribution is incidental |
STOC / FOCS / SODA |
Sequential theory flagships; no distributed model to reward |
| A built system with measurements and no analyzed guarantee |
ICDCS / DSN / OSDI / NSDI / SOSP |
Systems venues reward implementation and evaluation, not a proof |
| Blockchain/DeFi with a financial-mechanism or cryptographic-protocol core |
AFT / FC / CCS |
Financial-technology and security venues; PODC takes distributed-ledger theory but not applied crypto engineering |
| A result too long/deep for 10 pages, or a definitive journal statement |
JACM / Distributed Computing |
The journals PODC papers are invited to; some results are journal-first |
Contribution shapes PODC rewards
- A distributed algorithm with a complexity bound — round, message, bit, or space complexity in
a named model, against the best prior bound.
- An impossibility result — a proof that no algorithm in a model solves a problem (FLP-style
arguments, valency, indistinguishability, covering).
- A matching lower bound — turning an algorithm into an optimality result, the venue's most
prized shape (see the exemplars library).
- A new model or paradigm — defining a minimal model and characterizing its power (the population
protocols lineage).
- A shared-memory / concurrency result — wait-free/lock-free constructions, consensus numbers,
the complexity of concurrent objects.
- Distributed-ledger / BFT theory — consensus under Byzantine faults, agreement complexity,
provable properties of blockchain protocols — as theory, not as a deployed system.
The model-swap and re-label tests
Two quick tests sharpen a borderline verdict:
- Model-swap / de-distribute test: if you removed the distribution (ran it on one machine), would
a result remain? If the whole contribution survives as a sequential algorithm, it is a STOC/SODA
paper. PODC's value must live in the distributed difficulty (faults, asynchrony, locality,
concurrency).
- Re-label test: could this be submitted to SPAA or a systems venue unchanged and read as native
there? If its heart is parallel throughput, route to SPAA; if it is an implemented system measured
on a cluster, route to a systems venue. PODC rewards the proved guarantee.
Evidence maturity, theory-style
Fit is necessary but not sufficient. The same idea sits at different doors depending on how finished
the proof is. An algorithm with a plausible-but-unproved bound is a Brief Announcement or a
work-in-progress talk, not a regular paper; a construction with an upper bound but no lower bound is
publishable but stronger with the matching bound; a result too long for 10 pages of merits belongs
in a journal. Submitting a regular paper with a proof gap earns a fast rejection, because the proof
is the paper.
Cheap reconnaissance before committing
[Scope] scan the last two PODC programs (dblp db/conf/podc, podc.org) for your model
-> 3+ recent papers in your subarea = a reviewer pool exists; 0 = opening or mismatch
[Citations] is your bibliography majority PODC/DISC/SPAA/JACM/Distributed Computing?
-> majority STOC/FOCS or majority systems venues => reviewers read you as a visitor
[Calendar] compare the next PODC (Feb) deadline with DISC (spring), SPAA, and journal timelines
-> route to the nearest honest fit rather than waiting a year for a marginal preference
Decision procedure
[Model] state it: network (message-passing/shared-memory), timing, faults, adversary, cost measure
[Contribution] algorithm+bound / impossibility / matching lower bound / new model / concurrency object
[De-distribute test] does the value survive removing distribution? no => STOC/SODA
[Sibling check] parallelism core -> SPAA; built system -> ICDCS/DSN/OSDI; database -> PODS; ledger-as-system -> AFT/FC
[PODC vs DISC] both fit? -> choose by calendar and community; the prize/award ecosystem is shared
[Verdict] PODC regular / PODC Brief Announcement / sibling venue / journal-first, with a one-line reason
Run this before the writing skills; a wrong venue decision wastes every later step. When the verdict
is PODC, continue with podc-workflow for the calendar and podc-writing-style for the paper shape.
Source: brycewang-stanford/Awesome-Journal-Skills → PODC-Skills/skills/podc-topic-selection/SKILL.md
1---2name: podc-topic-selection3description: Use when deciding whether a distributed-computing result belongs at ACM PODC or should be routed to DISC, SPAA, OPODIS/SIROCCO/SSS, STOC/FOCS/SODA, a systems venue (ICDCS/DSN/OSDI/NSDI), a blockchain-theory venue (AFT/FC), or a journal (JACM / Distributed Computing) — and how to avoid the PODC-vs-PODS naming trap by reasoning about the distributed model and the cost measure.4---567# PODC Topic Selection89Decide the venue before drafting. PODC — the ACM Symposium on Principles of Distributed Computing —10is the SIGACT-SIGOPS home for the **theory** of distributed computing. Reviewers read for a11**provable guarantee in a precisely stated distributed model**: an algorithm with a complexity12bound, an impossibility, or a matching lower bound. A technically strong paper whose real13contribution is a *sequential* algorithm, a *measured system*, or a *database* result is respected14and then rejected as out of scope.1516## The naming trap, first1718**PODC is not PODS.** PODS is the ACM Symposium on **Principles of Database Systems** (SIGMOD week);19its theory is query languages, dependencies, and database complexity. If your result is about data20management rather than distributed processes, agents, or memory, you want PODS, not PODC. One letter,21two communities — check before you submit.2223## The routing question that matters most2425PODC, **DISC**, and **SPAA** overlap heavily in scope and share much of a reviewer pool, so the26decisive question is rarely "is this distributed theory?" but **"which model, which cost measure, and27which calendar fit this result now?"** Use the finer signals below and the live deadlines to choose.2829## Sibling-venue routing table3031| Signal in your project | Better home | Why |32|---|---|---|33| Provable guarantee in a distributed model (consensus, shared memory, LOCAL/CONGEST, self-stabilization, population protocols), ready now, PODC's Feb deadline is nearer | **PODC** | The ACM distributed-theory flagship; proofs-centric |34| Same distributed-theory flavor but DISC's fall cycle lands better, or the result is very European-community-facing | **DISC** | The EATCS distributed-theory flagship; LIPIcs proceedings; **shares** the Dijkstra Prize and Dissertation Award with PODC |35| Core is **parallel** algorithms/architectures, work-span/PRAM, shared-memory throughput, scheduling | **SPAA** | Parallelism is its named center; co-located with PODC 2026 but a distinct scope |36| Networks, mobile agents, self-stabilization with a specific community fit | **OPODIS / SIROCCO / SSS** | Focused distributed-theory venues; often a better match for niche models |37| The algorithm is **sequential** — the distribution is incidental | **STOC / FOCS / SODA** | Sequential theory flagships; no distributed model to reward |38| A **built system** with measurements and no analyzed guarantee | **ICDCS / DSN / OSDI / NSDI / SOSP** | Systems venues reward implementation and evaluation, not a proof |39| Blockchain/DeFi with a financial-mechanism or cryptographic-protocol core | **AFT / FC / CCS** | Financial-technology and security venues; PODC takes distributed-*ledger theory* but not applied crypto engineering |40| A result too long/deep for 10 pages, or a definitive journal statement | **JACM / Distributed Computing** | The journals PODC papers are invited to; some results are journal-first |4142## Contribution shapes PODC rewards4344- **A distributed algorithm with a complexity bound** — round, message, bit, or space complexity in45 a named model, against the best prior bound.46- **An impossibility result** — a proof that no algorithm in a model solves a problem (FLP-style47 arguments, valency, indistinguishability, covering).48- **A matching lower bound** — turning an algorithm into an *optimality* result, the venue's most49 prized shape (see the exemplars library).50- **A new model or paradigm** — defining a minimal model and characterizing its power (the population51 protocols lineage).52- **A shared-memory / concurrency result** — wait-free/lock-free constructions, consensus numbers,53 the complexity of concurrent objects.54- **Distributed-ledger / BFT theory** — consensus under Byzantine faults, agreement complexity,55 provable properties of blockchain protocols — *as theory*, not as a deployed system.5657## The model-swap and re-label tests5859Two quick tests sharpen a borderline verdict:6061- **Model-swap / de-distribute test:** if you removed the distribution (ran it on one machine), would62 a result remain? If the whole contribution survives as a sequential algorithm, it is a STOC/SODA63 paper. PODC's value must live in the *distributed* difficulty (faults, asynchrony, locality,64 concurrency).65- **Re-label test:** could this be submitted to SPAA or a systems venue unchanged and read as native66 there? If its heart is parallel throughput, route to SPAA; if it is an implemented system measured67 on a cluster, route to a systems venue. PODC rewards the *proved guarantee*.6869## Evidence maturity, theory-style7071Fit is necessary but not sufficient. The same idea sits at different doors depending on how finished72the *proof* is. An algorithm with a plausible-but-unproved bound is a Brief Announcement or a73work-in-progress talk, not a regular paper; a construction with an upper bound but no lower bound is74publishable but stronger *with* the matching bound; a result too long for 10 pages of merits belongs75in a journal. Submitting a regular paper with a proof gap earns a fast rejection, because the proof76*is* the paper.7778## Cheap reconnaissance before committing7980```text81[Scope] scan the last two PODC programs (dblp db/conf/podc, podc.org) for your model82 -> 3+ recent papers in your subarea = a reviewer pool exists; 0 = opening or mismatch83[Citations] is your bibliography majority PODC/DISC/SPAA/JACM/Distributed Computing?84 -> majority STOC/FOCS or majority systems venues => reviewers read you as a visitor85[Calendar] compare the next PODC (Feb) deadline with DISC (spring), SPAA, and journal timelines86 -> route to the nearest honest fit rather than waiting a year for a marginal preference87```8889## Decision procedure9091```text92[Model] state it: network (message-passing/shared-memory), timing, faults, adversary, cost measure93[Contribution] algorithm+bound / impossibility / matching lower bound / new model / concurrency object94[De-distribute test] does the value survive removing distribution? no => STOC/SODA95[Sibling check] parallelism core -> SPAA; built system -> ICDCS/DSN/OSDI; database -> PODS; ledger-as-system -> AFT/FC96[PODC vs DISC] both fit? -> choose by calendar and community; the prize/award ecosystem is shared97[Verdict] PODC regular / PODC Brief Announcement / sibling venue / journal-first, with a one-line reason98```99100Run this before the writing skills; a wrong venue decision wastes every later step. When the verdict101is PODC, continue with `podc-workflow` for the calendar and `podc-writing-style` for the paper shape.102103---104105**Source:** [`brycewang-stanford/Awesome-Journal-Skills`](https://github.com/brycewang-stanford/Awesome-Journal-Skills) → `PODC-Skills/skills/podc-topic-selection/SKILL.md`
thedixitjain