Software Open Access

Artifact: Solver-based Gradual Type Migration

Luna Phipps-Costin; Carolyn Jane Anderson; Michael Greenberg; Arjun Guha

This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was conditionally accepted to OOPSLA 2021. These are the files included:

  1. TypeWhich.ova: a virtual machine that was submitted to the artifact evaluation committee
  2. Artifact_Guide.pdf: documentation for the artifact evaluation committee
  3. TypeWhich-main.zip: newer version of the source code. It has the code to generate a figure that we added after the AEC submission (the concise evaluation summary).

The latest version of the artifact is also available at https://github.com/arjunguha/typewhich.

Files (2.4 GB)
Name Size
Artifact_Guide.pdf
md5:2786706207b0ffc9f4177d831455c15c
140.3 kB Download
TypeWhich-main.zip
md5:ed342eac0d21d3cc0e80da7d67c42a20
3.6 MB Download
TypeWhich.ova
md5:f1f854461e6a3b3ded9846b3bc2da80f
2.4 GB Download
40
36
views
downloads
All versions This version
Views 4040
Downloads 3636
Data volume 2.4 GB2.4 GB
Unique views 3131
Unique downloads 2828

Share

Cite as