TACAS Artifact Evaluation
Packages, verifies, and documents software artifacts for TACAS and ETAPS conference badge evaluations.
The TACAS Artifact Evaluation skill guides researchers and tool developers through packaging reproducible artifacts for ETAPS Artifact Badges (Available, Functional, and Reusable). It provides end-to-end guidance tailored to the distinct requirements of Round 1 (mandatory tool and tool-demo papers evaluated in parallel with paper reviews) and Round 2 (voluntary post-acceptance research papers). The skill ensures VM-ready configurations, offline dependency vendoring, fast smoke tests, precise claim-to-script mappings, and proper DOI archiving to prevent common evaluation pitfalls and maximize badging success.
Key Features
01Generates evaluator-friendly READMEs with explicit claim-to-script mapping tables
02Differentiates requirements between Round-1 mandatory tool reviews and Round-2 post-acceptance submissions
031,090 GitHub stars
04Structures artifacts to satisfy ETAPS Available, Functional, and Reusable badge criteria
05Validates anonymization rules, licensing, and permanent DOI-issuing archival steps
06Designs fast offline smoke tests optimized for clean ETAPS evaluation VMs
Use Cases
01Creating evaluator-proof documentation and smoke tests for clean VM environments
02Packaging a verification tool or model checker for mandatory Round-1 TACAS artifact review
03Structuring benchmark reproduction scripts and datasets for post-acceptance Round-2 research papers