domains / families / research / stoc-reproducibility

stoc-reproducibility

separate

Use when hardening a STOC (ACM Symposium on Theory of Computing) paper so its results can be independently checked — proof completeness across the extended-abstract/full-version split, single-source builds that prevent statement drift between the two documents, and determinism for any computation a claim relies on.

When to use

• hardening STOC paper reproducibility
• ensuring proof completeness across extended-abstract and full-version
• preventing statement drift between documents
• implementing single-source builds for theorem statements
• auditing checkability before submission
• ensuring determinism for machine-checked claims
• verifying external theorem applicability
• managing statement freezes and verification workflows

When not to use

• packaging mechanics for artifact evaluation
• deciding when to include experiments

Skill page

Source