There is a newer version of this record available.

Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:description>Artifact accompanying the the paper Certifying the Synthesis of Heap-Manipulating Programs, conditionally accepted to ICFP'21.

Virtual machine: The 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 file attached to this artifact.

Source code: Download the source.tar.gz archive, unpack it, and follow the Step by Step Instructions in the file in the root of the project. </dc:description>
  <dc:title>Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks</dc:title>
All versions This version
Views 31731
Downloads 377
Data volume 29.8 GB5.4 GB
Unique views 20421
Unique downloads 204


Cite as