Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Yasunari Watanabe; Kiran Gopinathan; George Pîrlea; Nadia Polikarpova; Ilya Sergey


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Yasunari Watanabe</dc:creator>
  <dc:creator>Kiran Gopinathan</dc:creator>
  <dc:creator>George Pîrlea</dc:creator>
  <dc:creator>Nadia Polikarpova</dc:creator>
  <dc:creator>Ilya Sergey</dc:creator>
  <dc:date>2021-05-21</dc:date>
  <dc:description>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.</dc:description>
  <dc:identifier>https://zenodo.org/record/5005829</dc:identifier>
  <dc:identifier>10.5281/zenodo.5005829</dc:identifier>
  <dc:identifier>oai:zenodo.org:5005829</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>url:https://github.com/TyGuS/suslik/tree/icfp21-artifact</dc:relation>
  <dc:relation>doi:10.5281/zenodo.4777382</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:title>Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
308
37
views
downloads
All versions This version
Views 308202
Downloads 378
Data volume 29.8 GB2.7 GB
Unique views 196142
Unique downloads 207

Share

Cite as