domains / families / research / pods-reproducibility

pods-reproducibility

separate

Use when strengthening the verifiability of an ACM PODS paper — a complete claim-to-proof map, self-contained proofs in the at-submission appendix (no external appendices), correctly stated assumptions, honest scope and open cases, the full-version-on-arXiv norm, and consistency between what the paper claims and what the proofs actually establish.

When to use

• strengthening verifiability of ACM PODS papers
• creating claim-to-proof maps
• ensuring self-contained proofs in at-submission appendix
• stating assumptions and scope honestly
• maintaining consistency between paper claims and proofs
• preparing full-version-on-arXiv norms
• conducting verifiability audits
• pinning assumptions and scope

When not to use

• using external or online appendices for proofs
• deferring key proof steps to 'full version' without appendix inclusion
• overclaiming in abstracts beyond what theorems prove
• treating 'proof omitted' as acceptable without appendix proof

Skill page

Source