January 7, 2023 Software Open Access

Ike Mulder; Robbert Krebbers

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <controlfield tag="005">20230309125022.0</controlfield>
  <controlfield tag="001">7512277</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Radboud University Nijmegen</subfield>
    <subfield code="0">(orcid)0000-0002-1185-5237</subfield>
    <subfield code="a">Robbert Krebbers</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">7327433728</subfield>
    <subfield code="z">md5:58ae4d5fd056ada91bf3970249f4dd3f</subfield>
    <subfield code="u">https://zenodo.org/record/7512277/files/diaframe2-artifact-oopsla-2023.ova</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">29097911</subfield>
    <subfield code="z">md5:d3b6518bc146ec6e2010741a0c251487</subfield>
    <subfield code="u">https://zenodo.org/record/7512277/files/diaframe2-artifact-source.tgz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1544</subfield>
    <subfield code="z">md5:3faedc3fe84752e2f6e5794c61e4e67a</subfield>
    <subfield code="u">https://zenodo.org/record/7512277/files/LICENSE</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">32555</subfield>
    <subfield code="z">md5:06ebd4dfb44972ecf4d24d65b00b5fab</subfield>
    <subfield code="u">https://zenodo.org/record/7512277/files/README.md</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2023-01-07</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:7512277</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Radboud University Nijmegen</subfield>
    <subfield code="0">(orcid)0000-0001-9926-9736</subfield>
    <subfield code="a">Ike Mulder</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Artifact of 'Proof Automation for Linearizability in Separation Logic'</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://www.eclipse.org/org/documents/edl-v10.php</subfield>
    <subfield code="a">BSD 3-Clause "New" or "Revised" License</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;This is the artifact for the OOPSLA &amp;#39;23 paper &amp;#39;Proof Automation for Linearizability in Separation Logic&amp;#39;. It contains the Diaframe 2.0 source code, a VM containing a compiled version of this source code, and instructions for evaluation.&lt;/p&gt;

&lt;p&gt;Diaframe 2.0&amp;#39;s current development can be found &lt;a href="https://gitlab.mpi-sws.org/iris/diaframe"&gt;here&lt;/a&gt;.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.7512276</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.7512277</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>