Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published May 21, 2021 | Version 0.1.2
Software Open

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

  • 1. Yale-NUS College and National University of Singapore
  • 2. National University of Singapore
  • 3. UC San Diego

Description

Artifact accompanying the the paper Certifying the Synthesis of Heap-Manipulating Programs, published in proceedings of ICFP 2021.

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 and unpack it. In the README.md file in the root of the project, follow the Compile/Install instructions to compile the sources, and then follow the Step by Step Instructions to run.

Files

README.md

Files (2.7 GB)

Name Size Download all
md5:524141189971e6ad5fbb062d95ddff11
24.0 kB Preview Download
md5:12614f4d0478d69c0780cd30e4c3cefe
1.0 MB Download
md5:53d78bcfc61ceb22b356931d0f8d624c
2.7 GB Preview Download

Additional details

Related works