Yasunari Watanabe
Kiran Gopinathan
George Pîrlea
Nadia Polikarpova
Ilya Sergey
2021-05-21
<p>Artifact accompanying the the paper <em>Certifying the Synthesis of Heap-Manipulating Programs</em>, published in proceedings of <a href="http://icfp21.sigplan.org/">ICFP 2021</a>.</p>
<p><strong>Virtual machine: </strong>The <em>vm-image.zip</em> 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 <em>README.md</em> file attached to this artifact.</p>
<p><strong>Source code:</strong> Download the<em> source.tar.gz</em><em> </em>archive and unpack it. In the <em>README.md</em> file in the root of the project, follow the <em>Compile/Install</em> instructions to compile the sources, and then follow the <em>Step by Step Instructions</em> to run.</p>
https://doi.org/10.5281/zenodo.5005829
oai:zenodo.org:5005829
eng
Zenodo
https://github.com/TyGuS/suslik/tree/icfp21-artifact
https://doi.org/10.5281/zenodo.4777382
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
ICFP '21, 26th ACM SIGPLAN International Conference on Functional Programming, Virtual, August 22-27, 2021
Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
info:eu-repo/semantics/other