Artifacts
Research reproducibility
We are committed to making our research reproducible. Artifacts below accompany publications; entries marked Planned will be published with their associated work.
Datasets
Open-source RTL evaluation corpus
picorv32, Ibex, CVA6, and OpenTitan, pinned by commit and re-fetchable from upstream.
Maintainer-fix bug labels
Validated bug ground truth derived from upstream maintainer fix commits.
Methodologies
Anti-circular evaluation protocol
Pre-registration, held-out testing, and independent ground truth construction.
Evaluation Frameworks
Reproducible evaluation harness
Scripts and fixtures for reproducing the reported results end to end.
Research Artifacts
Result tables and pre-registration records
Per-experiment outputs and the committed pre-registration documents.
Provenance Frameworks
Signature-anchored provenance specification
SHA-256 signature scheme and idempotent ingestion model used across artifacts.