POPL Paper Reproducibility
Audits and organizes programming language research artifacts, proofs, and correspondence tables for POPL artifact evaluation and peer review.
POPL Paper Reproducibility provides structured guidance for computer science researchers preparing submissions and artifact packages for the Principles of Programming Languages (POPL) conference. It helps authors systematically manage reproducibility obligations across mechanized proofs (such as Coq or Lean developments), on-paper mathematical proofs, and empirical benchmarks. By enforcing early paper-to-proof correspondence tables, tracking ambient assumptions, and eliminating statement drift, this skill ensures theoretical and empirical research claims remain fully auditable for double-blind peer review and Artifact Evaluation.