This is an old revision of the document!
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 another OS, the corresponding Cog VM needs to be downloaded. 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.