SODA Artifact Evaluation
Guides artifact handling, computer-assisted proof verification, and submission routing between SODA and ALENEX conferences.
SODA Artifact Evaluation assists discrete algorithms researchers in navigating artifact strategy for SODA (ACM-SIAM Symposium on Discrete Algorithms) and its co-located companion ALENEX. Because SODA lacks a formal artifact evaluation track while prioritizing rigorous mathematical proofs, this skill provides structured guidance on designing lightweight verification bundles for computer-assisted proofs, formatting independently checkable certificates (such as SAT/LP witnesses and interval bounds), preserving double-blind anonymity, and routing experiment-heavy submissions to ALENEX's formal artifact evaluation pipeline.
Key Features
01Establishes post-acceptance artifact archiving, version tagging, and DOI release workflows
02Identifies proper routing between SODA mathematical proofs and ALENEX artifact evaluation tracks
03Ensures double-blind anonymity compliance for computational archives during peer review
041,090 GitHub stars
05Structures minimal verification bundles for computer-assisted lemmas and case enumerations
06Provides certificate templates for independent checking (SAT logs, LP dual solutions, interval arithmetic)
Use Cases
01Packaging reproducible experiment artifacts and planning rebuttal timelines for ALENEX AE
02Deciding whether an algorithmic implementation belongs in SODA, an arXiv appendix, or ALENEX artifact evaluation
03Preparing verification bundles for computer-assisted proofs and exhaustive case checks in SODA submissions