domains / families / research / tacas-reproducibility

tacas-reproducibility

separate

Use when strengthening TACAS (ETAPS) reproducibility, covering the clean evaluation-VM packaging that the artifact process assumes, pinned dependencies and offline execution, a claim-to-script mapping so every benchmark number regenerates, honest degrees of reproducibility, consistency between the paper and the artifact, and the category difference between a mandatory tool-paper artifact and a voluntary research-paper artifact.

When to use

• strengthening TACAS reproducibility
• clean evaluation-VM packaging
• pinned dependencies and offline execution
• claim-to-script mapping
• honest degrees of reproducibility
• consistency between paper and artifact
• mandatory tool-paper artifact preparation
• voluntary research-paper artifact preparation

Skill page

Source