Home

SCTBench has moved to GitHub: https://github.com/mc-imperial/sctbench

Slides from PPoPP

Slides (.pptx)

Slides (.pdf with notes)

Execution Environment

We executed our experiments on a Linux cluster, with Red Hat Enterprise Linux Server release 6.4, an x86_64 architecture and gcc 4.7.2.

Our modified version of Maple is based on the latest commit.

Just The Benchmarks

You can browse and download the benchmarks used in the evaluation on our github. The benchmarks are ordered as in the final table in our paper. Use the newer GitHub link at the top.

Virtual Machine

A VirtualBox virtual machine containing all benchmarks (including those not used), Maple and our scripts, which should work out-of-the-box, can be downloaded here. This should allow you to reproduce the experimental evaluation.

Extract the archive. Open VirtualBox and click Machines->Add... and select the "sctbenchmarks.vbox" file. Before running the machine, you may wish to adjust the amount of RAM used, etc. The username and password are both "sct". On the desktop, there are icons to open the benchmarks directory as well as a terminal. Open README.txt in the benchmarks directory for further instructions.