Connect

PODC Proof Reproducibility

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Ensures mathematical and theoretical reproducibility for ACM PODC papers through self-contained proof appendices, verified model assumption contracts, and camera-ready synchronization.

Designed specifically for theoretical distributed computing research at venues like ACM PODC, this skill helps authors establish rigorous, independent verifiability for paper proofs and model formulations. Rather than managing software artifacts, it guides the creation of self-contained proof appendices, enforces strict model and assumption contracts without silent mid-proof strengthenings, ensures exact synchronization between 10-page camera-ready submissions and arXiv full versions, and properly contextualizes illustrative simulations while maintaining double-blind compliance.

Key Features

01Standardizes reporting of optional illustrative simulations with seeds and parameter ranges
02Audits model and assumption boxes to prevent undeclared or mid-proof strengthened assumptions
031,086 GitHub stars
04Structures self-contained proof appendices with complete base cases, invariants, and explicit lemma citations
05Synchronizes theorem statements and constants across conference proceedings and arXiv full versions
06Prevents double-blind de-anonymization risks from simulation repositories in review submissions

Use Cases

01Preparing the full-version proof appendix and arXiv preprint before submitting to ACM PODC
02Auditing theoretical papers for hidden model assumptions and unstated lemma dependencies
03Synchronizing the 10-page camera-ready conference paper with the complete arXiv reference version