domains / families / research / ppopp-supplementary

ppopp-supplementary

separate

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.

When to use

• deciding content placement for PPoPP papers
• splitting content by decision-criticality
• identifying body content for 10 reviewed pages
• identifying artifact or appendix content
• checking if acceptance-deciding content is in the body
• compressing core sweeps into figures
• moving exhaustive tables to artifact

When not to use

• writing the full formal proof
• generating raw logs or per-run tables
• creating Dockerfiles or build scripts
• evaluating the artifact post-acceptance

Skill page

Source