10.5281/zenodo.5005829
https://zenodo.org/records/5005829
oai:zenodo.org:5005829
Yasunari Watanabe
Yasunari Watanabe
Yale-NUS College and National University of Singapore
Kiran Gopinathan
Kiran Gopinathan
National University of Singapore
George Pîrlea
George Pîrlea
National University of Singapore
Nadia Polikarpova
Nadia Polikarpova
UC San Diego
Ilya Sergey
Ilya Sergey
Yale-NUS College and National University of Singapore
Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
Zenodo
2021
2021-05-21
eng
https://github.com/TyGuS/suslik/tree/icfp21-artifact
10.5281/zenodo.4777382
0.1.2
Creative Commons Attribution 4.0 International
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.