By Tom Hunk
Reproducibility and Artifact Evaluation
A paper consists of a constellation of artifacts that extend beyond the document itself: software, mechanized proofs, models, test suites, benchmarks, and so on.
Read More
A paper consists of a constellation of artifacts that extend beyond the document itself: software, mechanized proofs, models, test suites, benchmarks, and so on.
Read More
Information Forthcoming More information will be posted here in the coming days.
Read More