Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
research:software:gradualtalk:strategies [2013/06/10 21:22] – eallenderesearch:software:gradualtalk:strategies [2013/06/11 11:11] – jfabry
Line 1: Line 1:
 ====== Cast Insertion Strategies: Benchmarks ====== ====== Cast Insertion Strategies: Benchmarks ======
  
-{{research:software:gradualtalk:dls-benchmarks.tar.gz|DLS paper benchmarks suit}}+The benchmarks used in the paper "Cast Insertion Strategies for Gradually-Typed Objects" can be downloaded here: 
 +{{research:software:gradualtalk:dls-benchmarks.tar.gz|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 [[http://www.mirandabanda.org/files/Cog/VM/|Cog VM]] for your OS. 
 +