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 |
712
102
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 712 | 106 |
| Downloads | 102 | 24 |
| Data volume | 73.1 GB | 21.6 GB |
| Unique views | 553 | 94 |
| Unique downloads | 77 | 21 |
Indexed in
- Publication date:
- May 21, 2021
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International