Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

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


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<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>\n\n<p><strong>Virtual machine:&nbsp;</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&nbsp;<em>README.md</em> file attached to this artifact.</p>\n\n<p><strong>Source code:</strong>&nbsp;Download the<em> source.tar.gz</em><em> </em>archive and unpack it. In the&nbsp;<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&nbsp;<em>Step by Step Instructions</em> to run.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "Yale-NUS College and National University of Singapore", 
      "@type": "Person", 
      "name": "Yasunari Watanabe"
    }, 
    {
      "affiliation": "National University of Singapore", 
      "@type": "Person", 
      "name": "Kiran Gopinathan"
    }, 
    {
      "affiliation": "National University of Singapore", 
      "@type": "Person", 
      "name": "George P\u00eerlea"
    }, 
    {
      "affiliation": "UC San Diego", 
      "@type": "Person", 
      "name": "Nadia Polikarpova"
    }, 
    {
      "affiliation": "Yale-NUS College and National University of Singapore", 
      "@type": "Person", 
      "name": "Ilya Sergey"
    }
  ], 
  "url": "https://zenodo.org/record/5005829", 
  "codeRepository": "https://github.com/TyGuS/suslik/tree/icfp21-artifact", 
  "datePublished": "2021-05-21", 
  "version": "0.1.2", 
  "@type": "SoftwareSourceCode", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.5005829", 
  "@id": "https://doi.org/10.5281/zenodo.5005829", 
  "workFeatured": {
    "url": "https://icfp21.sigplan.org/", 
    "alternateName": "ICFP '21", 
    "location": "Virtual", 
    "@type": "Event", 
    "name": "26th ACM SIGPLAN International Conference on Functional Programming"
  }, 
  "name": "Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks"
}
532
64
views
downloads
All versions This version
Views 532379
Downloads 6428
Data volume 46.0 GB10.8 GB
Unique views 383294
Unique downloads 4121

Share

Cite as