There is a newer version of this record available.

Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Anonymous

Artifact accompanying the the paper Certifying the Synthesis of Heap-Manipulating Programs, conditionally accepted to ICFP'21.

Virtual machine: The vm-image.zip file contains a virtual machine image containing the full artifact and benchmarks, as well as the necessary scripts to start it. It should work with QEMU. To start with it, follow the instructions in README.md file attached to this artifact.

Source code: Download the source.tar.gz archive, unpack it, and follow the Step by Step Instructions in the README.md file in the root of the project. 

Files (5.4 GB)
Name Size
certisuslik.zip
md5:753fd4e14958bcf3cebb75a0a16e8eb2
2.7 GB Download
README.md
md5:6179ab374e0dac681bef957d85128bda
20.5 kB Download
source.tar.gz
md5:c533c742cc22f3482b7073347933eeb9
1.0 MB Download
vm-image.zip
md5:b9ed7ca60a8f508431dbb41b1e36b89a
2.7 GB Download
532
64
views
downloads
All versions This version
Views 53256
Downloads 6411
Data volume 46.0 GB10.8 GB
Unique views 38346
Unique downloads 418

Share

Cite as