PODC Artifact Evaluation Guide
Redirects artifact workflows for ACM PODC submissions into proof completeness, model rigor, and honest simulation framing.
Tailored for theoretical computer science and distributed computing researchers preparing submissions for ACM PODC, this skill clarifies that PODC has no artifact-evaluation track or badge program. It helps authors redirect artifact-packaging instincts toward what PODC reviewers actually inspect: self-contained mathematical proof appendices, formal model declarations without assumption creep, and transparent, properly framed optional simulations.
Características Principales
01Ensures optional simulations are framed transparently without compromising double-blind review
02Translates conventional software artifact workflows into rigorous theoretical proof checks
03Audits formal model boxes across timing, network, fault, and adversary parameters
04Generates structured audit reports detailing proof completeness, model rigor, and fix queues
05Provides a proof-appendix checklist to ensure lemmas, invariants, and base cases close completely
061,086 GitHub stars
Casos de Uso
01Preparing theoretical distributed computing papers for submission to ACM PODC
02Correcting experimental and simulation framing in theoretical conference submissions
03Auditing mathematical proofs and model assumptions before final submission or arXiv posting