May 21, 2021 Software Open Access

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

DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.5005829</identifier>
  <creators>
    <creator>
      <creatorName>Yasunari Watanabe</creatorName>
      <affiliation>Yale-NUS College and National University of Singapore</affiliation>
    </creator>
    <creator>
      <creatorName>Kiran Gopinathan</creatorName>
      <affiliation>National University of Singapore</affiliation>
    </creator>
    <creator>
      <creatorName>George Pîrlea</creatorName>
      <affiliation>National University of Singapore</affiliation>
    </creator>
    <creator>
      <creatorName>Nadia Polikarpova</creatorName>
      <affiliation>UC San Diego</affiliation>
    </creator>
    <creator>
      <creatorName>Ilya Sergey</creatorName>
      <affiliation>Yale-NUS College and National University of Singapore</affiliation>
    </creator>
  </creators>
  <titles>
    <title>Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2021</publicationYear>
  <dates>
    <date dateType="Issued">2021-05-21</date>
  </dates>
  <language>en</language>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/5005829</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="URL" relationType="IsSupplementTo">https://github.com/TyGuS/suslik/tree/icfp21-artifact</relatedIdentifier>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.4777382</relatedIdentifier>
  </relatedIdentifiers>
  <version>0.1.2</version>
  <rightsList>
    <rights rightsURI="https://creativecommons.org/licenses/by/4.0/legalcode">Creative Commons Attribution 4.0 International</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&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;</description>
  </descriptions>
</resource>