Connect

PODS Proof & Artifact Evaluation

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

Prepares self-contained proof appendices, claim-to-proof mappings, and formal verification packages for PODS database theory submissions.

Tailored specifically for the ACM Symposium on Principles of Database Systems (PODS), this skill helps database theory researchers prepare rigorous formal-claims packages in place of traditional systems artifact evaluations. It guides the creation of self-contained proof appendices, explicit theorem-to-proof forward mapping, precise conditional complexity labeling, and camera-ready arXiv release workflows linked to PACMMOD publications.

Key Features

01Generates rigorous claim-to-proof mapping tables and forward references
021,086 GitHub stars
03Ensures conditional bounds (ETH, OMv, #P) are clearly labeled at point of use
04Establishes guidelines for optional secondary code illustrations
05Structures self-contained proof appendices directly inside submission PDFs
06Formulates anonymized submission and camera-ready arXiv full-version plans

Use Cases

01Preparing de-anonymized arXiv full versions with DOI links for camera-ready acceptance
02Auditing PODS submission PDFs for proof completeness and missing lemmas before peer review
03Mapping complex dichotomy theorems and complexity bounds to their respective appendix proofs