Language-Parametric Compiler Validation with Application to LLVM - Artifact Evaluation for ASPLOS 2020
- Kasampalis, Theodoros
- Park, Daejun
- Lin, Zhengyao
- Adve, Vikram
- Rosu, Grigore
Publication date
December 2020
DOIAbstract
A VirtualBox VM image that is fully set up to reproduce experiments mentioned in the ASPLOS 2021 paper titled "Language-Parametric Compiler Validation with Application to LLVM". The included README.md file contains detailed instructions on how to use the artifact both for reproduction of experiments and for general use
Add to ORKG