Software Open Access

GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)

Chajed, Tej; Tassarotti, Joseph; Theng, Mark; Jung, Ralf; Kaashoek, Frans; Zeldovich, Nickolai

DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.4794398">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Software"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.4794398</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.4794398"/>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0002-9889-4828">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0002-9889-4828</dct:identifier>
        <foaf:name>Chajed, Tej</foaf:name>
        <foaf:givenName>Tej</foaf:givenName>
        <foaf:familyName>Chajed</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>MIT CSAIL</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Tassarotti, Joseph</foaf:name>
        <foaf:givenName>Joseph</foaf:givenName>
        <foaf:familyName>Tassarotti</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Boston College</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Theng, Mark</foaf:name>
        <foaf:givenName>Mark</foaf:givenName>
        <foaf:familyName>Theng</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>MIT CSAIL</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Jung, Ralf</foaf:name>
        <foaf:givenName>Ralf</foaf:givenName>
        <foaf:familyName>Jung</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>MPI-SWS</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Kaashoek, Frans</foaf:name>
        <foaf:givenName>Frans</foaf:givenName>
        <foaf:familyName>Kaashoek</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>MIT CSAIL</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Zeldovich, Nickolai</foaf:name>
        <foaf:givenName>Nickolai</foaf:givenName>
        <foaf:familyName>Zeldovich</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>MIT CSAIL</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2021</dct:issued>
    <dcat:keyword>verification</dcat:keyword>
    <frapo:isFundedBy rdf:resource="info:eu-repo/grantAgreement/EC/H2020/683289/"/>
    <schema:funder>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/100010661</dct:identifier>
        <foaf:name>European Commission</foaf:name>
      </foaf:Organization>
    </schema:funder>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2021-07-14</dct:issued>
    <dct:language rdf:resource="http://publications.europa.eu/resource/authority/language/ENG"/>
    <owl:sameAs rdf:resource="https://zenodo.org/record/4794398"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/4794398</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.4657115"/>
    <owl:versionInfo>v0.2.0</owl:versionInfo>
    <dct:description>&lt;p&gt;OSDI 2021 artifact for the &lt;a href="https://www.chajed.io/papers/gojournal:osdi2021.pdf"&gt;GoJournal paper&lt;/a&gt;.&lt;/p&gt; &lt;p&gt;See&amp;nbsp;&lt;a href="https://github.com/mit-pdos/go-nfsd/tree/master/artifact#readme"&gt;https://github.com/mit-pdos/go-nfsd/tree/master/artifact#readme&lt;/a&gt; for instructions on using this artifact.&lt;/p&gt; &lt;p&gt;The artifact has been updated since artifact review to match the final version of the paper.&lt;/p&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/legalcode"/>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4794398"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4794398"/>
        <dcat:byteSize>1969826304</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4794398/files/gojournal-osdi21-artifact.ova"/>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
  <foaf:Project rdf:about="info:eu-repo/grantAgreement/EC/H2020/683289/">
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">683289</dct:identifier>
    <dct:title>Logical Foundations for the Future of Safe Systems Programming</dct:title>
    <frapo:isAwardedBy>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/100010661</dct:identifier>
        <foaf:name>European Commission</foaf:name>
      </foaf:Organization>
    </frapo:isAwardedBy>
  </foaf:Project>
</rdf:RDF>
77
13
views
downloads
All versions This version
Views 7730
Downloads 133
Data volume 38.1 GB5.9 GB
Unique views 6929
Unique downloads 112
More info on how stats are collected.
Indexed in
Publication date:
July 14, 2021
DOI:
10.5281/zenodo.4794398

Zenodo DOI Badge

DOI 

10.5281/zenodo.4794398

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4794398.svg)](https://doi.org/10.5281/zenodo.4794398)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4794398.svg
   :target: https://doi.org/10.5281/zenodo.4794398

HTML 

<a href="https://doi.org/10.5281/zenodo.4794398"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4794398.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4794398.svg

Target URL 

https://doi.org/10.5281/zenodo.4794398

Keyword(s):
verification
Grants:
European Commission:
  • RustBelt - Logical Foundations for the Future of Safe Systems Programming (683289)
Meeting:
15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2021), 14-16 July, 2021
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version v0.2.0 10.5281/zenodo.4794398 Jul 14, 2021
Version v0.1.0 10.5281/zenodo.4657116 Jul 14, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4657115. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export