Gradual Gradual Typing: Benchmarks

The benchmarks used in the paper “Gradual Gradual Typing” can be downloaded here: OOPSLA paper benchmark suite.

For instructions on how to use these benchmarks, please read the included readme.txt.

Still need to generate tar of the benchmark suit

The benchmark suite is ready to run in a Windows machine. To run in another OS, the corresponding Cog VM needs to be downloaded. The benchmarks have only been run on Linux and MacOS. For MacOS, the path to the actual virtual machine inside the application package is CogVM.app/Contents/MacOS/CogVM Also on Mac, the VM does not run completely headless, please ignore the window that pops up when the benchmarks are run.