There is a newer version of the record available.

Published December 14, 2020 | Version v1
Software Open

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

Creators

  • 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