pods-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
This guide details the standards for submitting theoretical computer science papers, focusing on the required "formal-claims package." It emphasizes that the deliverable is not a runnable systems artifact, but a rigorous academic package containing a complete, self-contained proof appendix, a clear mapping of every stated claim to its proof location, and a full, publicly available version on arXiv.