SODA Experiments Guide
Evaluates and structures experimental validation for SODA paper submissions and guides venue routing to ALENEX or SEA.
SODA Experiments helps theoretical computer science researchers determine whether, when, and how to include experimental evaluations in ACM-SIAM SODA submissions. It enforces rigorous honest-numerics protocols by distinguishing illustration from mathematical proof, provides reproducible instance-generation templates, audits empirical proportion within theorem-focused papers, and applies clear routing rules to redirect implementation-heavy contributions to co-located venues like ALENEX or SEA.
Key Features
01Conference routing matrix comparing submission scopes for SODA, ALENEX, and SEA
02Standardized caption templates ensuring theoretical proofs remain mathematically self-contained
03Honest-numerics protocol enforcing clear claim classifications across illustration, evidence, and motivation
04Proportion and placement auditing to keep empirical content properly scaled for theoretical audiences
051,090 GitHub stars
06Deterministic instance-generation standards and artifact packaging requirements
Use Cases
01Deciding whether to submit a theory-and-practice algorithm paper to SODA or split it for ALENEX
02Defusing galactic algorithm objections with focused constant-factor empirical validation
03Drafting precise, referee-proof captions and reproducible instance generators for algorithm experiments