sosp-supplementary

SOSP Supplementary Material

Use this while splitting content between the SOSP paper and its optional supplement.

The CFP (2026 cycle, checked 2026-07-08 via sigops.org/s/conferences/sosp/2026/cfp.html

and the sosp26.hotcrp.com submission form) allows supplementary material as a

separate document uploaded alongside the anonymized PDF. Its charter is narrow:

content that supports the paper but is not critical to evaluating it — formal

proofs, extra data analyses, methodological detail. Reviewers may open it; nothing

obligates them to.

The governing asymmetry

The paper must stand alone inside its 12 pages of technical content. The supplement

can only deepen an argument the paper already completes — it cannot carry one.

This produces a simple sorting rule for every candidate paragraph, proof, and figure:

| Content | Where it lives | Why |

|---|---|---|

| The invariant your correctness claim rests on, stated and argued | Paper | Review-critical; a reviewer who skips the supplement must still be convinced |

| The full mechanized or manual proof of that invariant | Supplement | Depth behind a claim the paper already supports with a proof sketch |

| Headline performance results and their experimental setup | Paper | Claims and their primary evidence are inseparable |

| Per-workload breakdowns, extra hardware configurations, sensitivity sweeps | Supplement | Corroboration, not the load-bearing evidence |

| Anything a reviewer needs to check soundness of the method | Paper | "Not critical to evaluating the paper" excludes it from the supplement by definition |

| Pseudocode too long for the paper, trace-format specifications | Supplement | Methodological detail |

The classic failure: page pressure at T-minus-two-weeks pushes the failure-recovery

evaluation into the supplement, a reviewer never opens it, and the review reads "no

failure experiments." During SOSP's response phase you may point back to the

supplement — it was part of the submission — but a pointer in a sub-500-word response

is a weak substitute for evidence on the reviewed pages.

Anonymity extends to the supplement

The supplement is reviewed under the same double-blind rules as the paper. It is the

more dangerous document because it is assembled last and checked least:

• Appendix LaTeX often still carries \author blocks, acknowledgment stubs, or grant

numbers from an earlier tech-report build.

• Extended data tables can leak cluster hostnames, internal project codenames, or

usernames embedded in file paths.

• PDF metadata is regenerated at every compile; scrub the supplement's, not only the

paper's.

# Run the same leak sweep on the supplement as on the paper
pdfinfo supplement.pdf | grep -iE '^(author|creator)'
pdftotext supplement.pdf - | grep -inE 'acknowledg|grant|@[a-z-]+\.(edu|com)|/home/[a-z]|corp\.' | head
# Cross-check: every paper reference to the supplement resolves
pdftotext main.pdf - | grep -oE 'supplement[a-z]* (§|Section |Appendix )?[A-Z0-9.]*' | sort -u

Supplement, artifact, and appendix are three different objects

Teams routinely conflate three artifacts with different clocks and audiences:

1. Supplementary document — submitted with the paper in April, anonymized,

read (maybe) by paper reviewers. Governed by this skill.

1. Artifact package — prepared after acceptance for the sysartifacts evaluation,

non-anonymous, exercised by a separate committee (see sosp-artifact-evaluation).

Do not burn April effort polishing container images no paper reviewer will run.

1. Camera-ready appendix — final papers get 13 pages (14 with shepherd approval),

so some supplement content may graduate into the paper itself after acceptance

(see sosp-camera-ready).

Plan the April supplement knowing routes 2 and 3 exist: its only job is to survive

review, not to be the archival record of everything you know.

Structuring for a skimming reviewer

A SOSP reviewer opening the supplement is looking for one specific thing mid-review.

Optimize for that entry pattern:

• Open with a half-page map: each supplement section, one line on what it adds,

and which paper section or claim it backs.

• Number supplement sections to continue or clearly reference the paper's numbering,

and cite them from the paper precisely ("full proof in supplement §B.2"), never as

a bare "see supplement."

• Keep each section self-contained enough to read without the neighboring ones; a

reviewer chasing the proof of Invariant I2 should not need supplement §A first.

Output format

[Split audit] review-critical content found in supplement? <list or none>
[Paper -> supplement pointers] all resolve? <broken refs>
[Anonymity] supplement metadata + text sweep result
[Confusion check] AE-only material mistakenly built now? camera-ready graduation list?
[Map] supplement sections -> paper claims they back
[Fix order] <moves before the upload>