Published December 14, 2020
| Version v1
Software
Open
Language-Parametric Compiler Validation with Application to LLVM - Artifact Evaluation for ASPLOS 2020
- 1. University of Illinois at Urbana-Champaign
- 2. Runtime Verification, Inc.
Description
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.
Files
Files
(3.6 GB)
Name | Size | Download all |
---|---|---|
md5:f7b058934e9c521883bcbef2d5221ace
|
3.6 GB | Download |