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 suit.
For instructions on how to use these benchmarks, read the included readme.txt