Description

The artifact is a VirtualBox virtual machine appliance that contains all of the source code, benchmarks, and experiment harnesses used in the development of the paper (pre-built and set up). It comes with a README and interactive demo illustrating how the experiment works, as well as pointers for how to extend or modify the experiment.

Assets

Instructions

General Installation

Software Dependencies:

VirtualBox

General Installation:

Install VirtualBox and import the appliance with `File > Import Appliance`. Then, run the virtual machine and find the README file at `~/artifact/README`, which describes how to run the artifact demo. That demo describes how everything works, where the code can be found, and how to run the original experiment.

Provenance

Included are modified versions of code from: - Racket (https://racket-lang.org/) - The artifact of Takikawa et al.'s POPL'16 paper "Is Sound Gradual Typing Dead?" (http://www.ccs.neu.edu/home/asumu/artifacts/popl-2016/index.html)