Service Incident: New DOI registrations are working again. Re-registration of failed DOI registrations (~500) are still affected by the service incident at DataCite (our DOI registration agency).

There is a newer version of the record available.

Published May 21, 2021 | Version 0.1
Software Open

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Creators

  • 1. Anonymous

Description

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

certisuslik.zip

Files (5.4 GB)

Name Size Download all
md5:753fd4e14958bcf3cebb75a0a16e8eb2
2.7 GB Preview Download
md5:6179ab374e0dac681bef957d85128bda
20.5 kB Preview Download
md5:c533c742cc22f3482b7073347933eeb9
1.0 MB Download
md5:b9ed7ca60a8f508431dbb41b1e36b89a
2.7 GB Preview Download