Software Open Access

Language-Parametric Compiler Validation with Application to LLVM - Artifact Evaluation for ASPLOS 2020

Kasampalis, Theodoros; Park, Daejun; Lin, Zhengyao; Adve, Vikram; Rosu, Grigore

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 (3.6 GB)
Name Size
llvm-verified-backend-v5.ova
md5:6b7f460cbdd5de3d06332bcf8b48f3cc
3.6 GB Download
102
14
views
downloads
All versions This version
Views 10281
Downloads 1414
Data volume 50.3 GB50.3 GB
Unique views 8068
Unique downloads 1313

Share

Cite as