5005829
doi
10.5281/zenodo.5005829
oai:zenodo.org:5005829
Kiran Gopinathan
National University of Singapore
George Pîrlea
National University of Singapore
Nadia Polikarpova
UC San Diego
Ilya Sergey
Yale-NUS College and National University of Singapore
Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
Yasunari Watanabe
Yale-NUS College and National University of Singapore
url:https://github.com/TyGuS/suslik/tree/icfp21-artifact
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
<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>
Zenodo
2021-05-21
info:eu-repo/semantics/other
4777382
0.1.2
1625143620.619471
2710079403
md5:53d78bcfc61ceb22b356931d0f8d624c
https://zenodo.org/records/5005829/files/vm-image.zip
1022565
md5:12614f4d0478d69c0780cd30e4c3cefe
https://zenodo.org/records/5005829/files/source.tar.gz
24047
md5:524141189971e6ad5fbb062d95ddff11
https://zenodo.org/records/5005829/files/README.md
public
https://github.com/TyGuS/suslik/tree/icfp21-artifact
Is supplement to
url
10.5281/zenodo.4777382
isVersionOf
doi