| name | pods-supplementary |
| description | Use when deciding what belongs in an ACM PODS paper body versus its at-submission appendix, covering the acmsmall 15-page budget, the rule that PODS forbids online/external appendices so all proofs ship with the submission, the body/appendix split for a theory paper, and double-anonymous supplementary hygiene. |
PODS Supplementary
Use this when assembling PODS supplementary material. The governing rule is specific to PODS: the
appendix is incorporated with the submission and there are no online or external appendices, so
"supplementary" means the appendix inside the same PDF — nothing lives off-paper. The body must be
readable as a self-contained mathematical narrative, and the appendix must contain every proof the
body defers.
What goes where
| Content | Body (within 15-page budget) | Appendix (same PDF, unlimited) |
|---|
| Model, definitions, problem statement | Yes | — |
| Main theorem statements | Yes | — |
| Key proof ideas / the crux of each argument | Yes | Full details |
| Full proofs of main theorems | If they fit | Otherwise here, complete |
| Long reductions, gadget constructions | A description + the idea | The full construction and correctness proof |
| Corollaries and secondary results | Statement | Full proofs |
| Extended examples, tables of cases | The illustrative one | The exhaustive set |
| References | Yes (unlimited, not in page count) | — |
If a reviewer would have to trust an unproved step to accept the paper, it is mis-partitioned — the
full proof must be in the appendix, because at PODS the appendix ships with the submission and is
expected to be checked.
The acmsmall page-budget discipline
PODS 2026's budget is 15 pages excluding references in \documentclass[acmsmall,review,anonymous]{acmart},
plus unlimited references and the at-submission appendix of unlimited length. Consequences:
- The body must stand alone: a reader should understand the model, the results, and why they
hold from the 15 pages, with the appendix supplying verification detail.
- Proofs that do not fit go to the appendix behind explicit forward references ("full proof in
Appendix B") — never dropped or deferred to an external document.
- Do not smuggle a result into the appendix that the body needs to make its case: the body carries
the argument; the appendix carries the verification. Reviewers read the body in full and consult the
appendix to check.
- References are unlimited and outside the page count, so there is no reason to trim the bibliography
to save space.
No external appendix — the PODS-specific rule
[One PDF] body + references + appendix in a single submitted file; no separate archive, no URL
[No online host] a link to proofs "on a website" is not allowed and breaks anonymity — do not use one
[Complete] every deferred proof is present in the appendix, self-contained and cite-correct
[Reviewer path] the body forward-references each appendix proof so a reviewer can find it fast
Double-anonymous supplementary hygiene
[No identity] no authors, affiliations, acknowledgements, funding, or a named system anywhere in the
body or the appendix
[Third person] self-citations phrased in the third person, in the body and the appendix alike
[No revealing link] no arXiv/homepage/repository link that discloses authorship; withhold or anonymize
[Clean PDF] scrub PDF metadata (author/producer) before upload
Appendix architecture
- Order appendix sections to mirror the body's theorem order; reviewers navigate by theorem number,
not page.
- Keep each appendix proof referenced from the body at least once — an orphaned proof is invisible.
- Make each appendix proof self-contained: restate the theorem, state assumptions, and cite the exact
prior lemmas used, so a reviewer can check it without reconstructing context.
Vignette: splitting a two-bound paper
A paper with an upper-bound algorithm and a lower-bound reduction: the body keeps the model, both
theorem statements, the algorithm with its invariant and complexity accounting, and the crux of the
reduction; the appendix holds the full correctness proof, the complete gadget construction, and the
secondary corollaries — each forward-referenced from the body, all inside the one submitted PDF, with
no external link and no identity leak.
Output format
[Supplement status] ready / needs fixes / not ready
[Partition check] any unproved decision-critical step? <none / move full proof to appendix: what>
[Single-PDF check] all proofs in the submitted file? no external/online appendix? yes/no
[Page budget] body within 15 pp (excl. refs)? appendix forward-referenced? yes/no
[Anonymity] body + appendix clean of identity + metadata? passed/issues
