ppopp-supplementary
GitHub辅助决定PPoPP论文正文与补充材料的内容分配。依据决策关键性原则，将证明核心、扩展数据等移至附录或制品，确保评审所需的关键正确性与扩展性证据保留在10页正文内，避免埋没重要论点。
触发场景
安装
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill ppopp-supplementary -g -y
SKILL.md
Frontmatter
{
"name": "ppopp-supplementary",
"description": "Use when deciding what belongs in a PPoPP paper's 10 reviewed pages versus the artifact or appendix, splitting content by decision-criticality so proofs, full core sweeps, and correctness arguments that determine acceptance stay legible in the body, while bulk data and extended runs move out."
}
PPoPP Supplementary
Decide what lives in the 10 reviewed pages (text and figures, two-column acmart) and what
moves to the artifact or an appendix. The governing rule at PPoPP is decision-criticality:
anything a reviewer must read to be convinced the result is correct under concurrency and
scales stays in the body. References are unlimited and free; body space is the scarce resource.
The decision-criticality test
For each candidate piece of content, ask: would a reviewer's accept/reject change if they could not see this?
[Decides acceptance] the correctness argument's core, the headline scaling curve, the baseline
comparison, the key design insight -> BODY (inside 10 pages)
[Supports/confirms] full linearizability proof details, every core-count data point, additional
workloads, sensitivity sweeps, extra GPUs -> ARTIFACT / APPENDIX
[Bulk / mechanical] raw logs, per-run tables, generator internals, build scripts -> ARTIFACT
The failure mode PPoPP punishes is burying a load-bearing argument — the linearization points, the one plot that shows saturation — outside the reviewed pages, so the reviewer cannot judge the claim and defaults to skepticism.
What must stay in the body
- The correctness argument's spine. The property (linearizability/progress), the linearization points or the key invariant, and why it holds under the named memory model. The full formal proof can move; the argument a reviewer needs to believe it cannot.
- The headline scaling evidence. At least one clear speedup/throughput curve over core or thread count, with the baseline and machine named in the caption.
- The baseline comparison that substantiates the delta over prior work.
- The design insight that makes the parallelism work — the idea, not every implementation detail.
What can move out
- Full proofs and case analyses — keep the argument in the body, push the exhaustive case split to an appendix or the artifact.
- Complete sweeps — the body shows the representative curve; the artifact holds every thread count, socket configuration, input size, and GPU.
- Additional workloads and sensitivity studies that confirm rather than establish the claim.
- Reproduction machinery — Dockerfiles, scripts, raw data, and per-run numbers belong in the
artifact (see
ppopp-artifact-evaluation).
Where "out" is at PPoPP
- The artifact is the primary home for bulk evidence and is evaluated post-acceptance — reviewers of the paper are not obligated to run it, so it cannot carry a decision-critical claim at review time.
- An appendix, if the call permits one within submission rules, is read at the reviewer's discretion — do not put anything acceptance-deciding there and assume it was read. Confirm the current appendix policy each cycle (待核实 if unstated).
Because the artifact is post-acceptance, the split at PPoPP is stricter than at venues that review the artifact alongside the paper: if the reviewer must see it to say yes, it is in the 10 pages.
Keeping the body legible under the page cap
- Use small multiples to compress a core sweep into one figure rather than five.
- Move exhaustive tables to the artifact and keep a summarizing plot in the body.
- Cut prose before cutting evidence; the correctness argument and the scaling curve are the last things to shrink.
Output format
[Body (<=10pp)] correctness spine + headline curve + baseline + design insight all present?
[Moved out] proofs-detail / full sweeps / extra workloads / repro machinery -> artifact/appendix
[Decision-critical check] anything acceptance-deciding placed outside the body? (must be none)
[Appendix policy] permitted this cycle? confirmed / 待核实
[Space recovered] figures merged / tables moved to hit 10 pages
版本历史
- 9f86f09 当前 2026-07-19 17:18
