10.5281/zenodo.4322105
https://zenodo.org/records/4322105
oai:zenodo.org:4322105
Kasampalis, Theodoros
Theodoros
Kasampalis
University of Illinois at Urbana-Champaign
Park, Daejun
Daejun
Park
Runtime Verification, Inc.
Lin, Zhengyao
Zhengyao
Lin
University of Illinois at Urbana-Champaign
Adve, Vikram
Vikram
Adve
University of Illinois at Urbana-Champaign
Rosu, Grigore
Grigore
Rosu
University of Illinois at Urbana-Champaign
Language-Parametric Compiler Validation with Application to LLVM - Artifact Evaluation for ASPLOS 2020
Zenodo
2020
2020-12-14
eng
10.5281/zenodo.4321676
Creative Commons Attribution 4.0 International
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.