Dynamic Programming Benchmark

Authors: Kedar Swadi, Walid Taha, and Oleg Kiselyov

The latest release of the dynamic programming benchmark can be downloaded here. The "README" file provides installation and executation instructions. A draft paper describes the staging techniques used in this paper, and another draft paper describes the MetaOCaml extension for translation into C.

If you run the benchmark on machines (or configurations) other than what is already in the "runs" directory, we would be happy to include your results in any future release. We would also be happy to include any new benchmarks that you send us.

Older versions of the benchmark can be found here.