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, read the included readme.txt.

The benchmark suite is ready to run in a Linux machine. To run in other OS, you need to download the corresponding Cog VM for your OS.