Connect

PLDI Artifact Evaluation

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Packages and standardizes academic research artifacts for PLDI post-acceptance evaluation to earn Functional, Reusable, and Available badges.

PLDI Artifact Evaluation guides researchers through packaging, containerizing, and documenting academic artifacts following paper acceptance at PLDI and PACMPL. It helps authors earn Functional, Reusable, and Available badges by establishing clear claim-to-script mappings, writing fast smoke tests, pinning software and toolchain dependencies via Docker, providing honest hardware requirement profiles, and preparing DOI-stamped archival releases on Zenodo.

Key Features

01Containerization templates with pinned compiler versions, dependencies, and benchmark suites
02Archival checklist for Zenodo DOI generation, proof assistant pinning, and VM readiness
03Explicit claim-to-script mapping tables connecting paper claims directly to output results
04Step-by-step criteria guidance for earning Functional, Reusable, and Available PACMPL badges
05High-leverage smoke test structuring for evaluator kick-the-tires phases
061,086 GitHub stars

Use Cases

01Containerizing complex compiler, proof, or benchmark toolchains into reproducible Docker environments
02Archiving research reproducibility packages and dataset snapshots permanently on Zenodo
03Packaging a newly accepted PLDI research artifact for committee evaluation