Cast Insertion Strategies: Benchmarks

The benchmarks used in the paper “Cast Insertion Strategies for Gradually-Typed Objects” can be downloaded here: DLS paper benchmark suite.

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

The benchmark suite is ready to run in a Linux 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 Also on Mac, the VM does not run completely headless, please ignore the window that pops up when the benchmarks are run.