Language-Parametric Compiler Validation with Application to LLVM - Artifact Evaluation for ASPLOS 2020
| Main Authors: | Kasampalis, Theodoros, Park, Daejun, Lin, Zhengyao, Adve, Vikram, Rosu, Grigore |
|---|---|
| Format: | info software Journal |
| Bahasa: | eng |
| Terbitan: |
, 2020
|
| Online Access: |
https://zenodo.org/record/4322105 |
Daftar Isi:
- 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.