Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

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


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <controlfield tag="005">20210701124700.0</controlfield>
  <controlfield tag="001">5005829</controlfield>
  <datafield tag="711" ind1=" " ind2=" ">
    <subfield code="d">August 22-27, 2021</subfield>
    <subfield code="g">ICFP '21</subfield>
    <subfield code="a">26th ACM SIGPLAN International Conference on Functional Programming</subfield>
    <subfield code="c">Virtual</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">National University of Singapore</subfield>
    <subfield code="a">Kiran Gopinathan</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">National University of Singapore</subfield>
    <subfield code="a">George Pîrlea</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">UC San Diego</subfield>
    <subfield code="a">Nadia Polikarpova</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Yale-NUS College and National University of Singapore</subfield>
    <subfield code="a">Ilya Sergey</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">24047</subfield>
    <subfield code="z">md5:524141189971e6ad5fbb062d95ddff11</subfield>
    <subfield code="u">https://zenodo.org/record/5005829/files/README.md</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1022565</subfield>
    <subfield code="z">md5:12614f4d0478d69c0780cd30e4c3cefe</subfield>
    <subfield code="u">https://zenodo.org/record/5005829/files/source.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2710079403</subfield>
    <subfield code="z">md5:53d78bcfc61ceb22b356931d0f8d624c</subfield>
    <subfield code="u">https://zenodo.org/record/5005829/files/vm-image.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="y">Conference website</subfield>
    <subfield code="u">https://icfp21.sigplan.org/</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2021-05-21</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:5005829</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Yale-NUS College and National University of Singapore</subfield>
    <subfield code="a">Yasunari Watanabe</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;Artifact accompanying the the paper &lt;em&gt;Certifying the Synthesis of Heap-Manipulating Programs&lt;/em&gt;, published in proceedings of &lt;a href="http://icfp21.sigplan.org/"&gt;ICFP 2021&lt;/a&gt;.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Virtual machine:&amp;nbsp;&lt;/strong&gt;The &lt;em&gt;vm-image.zip&lt;/em&gt; 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&amp;nbsp;&lt;em&gt;README.md&lt;/em&gt; file attached to this artifact.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Source code:&lt;/strong&gt;&amp;nbsp;Download the&lt;em&gt; source.tar.gz&lt;/em&gt;&lt;em&gt; &lt;/em&gt;archive and unpack it. In the&amp;nbsp;&lt;em&gt;README.md&lt;/em&gt; file in the root of the project, follow the &lt;em&gt;Compile/Install&lt;/em&gt; instructions to compile the sources, and then follow the&amp;nbsp;&lt;em&gt;Step by Step Instructions&lt;/em&gt; to run.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">url</subfield>
    <subfield code="i">isSupplementTo</subfield>
    <subfield code="a">https://github.com/TyGuS/suslik/tree/icfp21-artifact</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.4777382</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.5005829</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>
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