This is a README file for the artifact that accompanies "Is Sound Gradual Typing Dead?" in POPL 2016.
Make the raw lattice data we collected available for outside analysis
Enable replication of our experimental evaluation
For instructions on setting up the virtual machine, see Setting up and installing the artifact.
If you want to analyze the data presented in the paper, see Data and Analysis.
If you want to analyze the benchmark programs or run the benchmarks yourself, see Benchmarks and possibly Walkthrough: Creating and Analyzing a Benchmark Program.