July 14, 2021 Software Open Access

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

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>OSDI 2021 artifact for the <a href=\"https://www.chajed.io/papers/gojournal:osdi2021.pdf\">GoJournal paper</a>.</p>\n\n<p>See&nbsp;<a href=\"https://github.com/mit-pdos/go-nfsd/tree/master/artifact#readme\">https://github.com/mit-pdos/go-nfsd/tree/master/artifact#readme</a> for instructions on using this artifact.</p>\n\n<p>The artifact has been updated since artifact review to match the final version of the paper.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "MIT CSAIL", 
      "@id": "https://orcid.org/0000-0002-9889-4828", 
      "@type": "Person", 
      "name": "Chajed, Tej"
    }, 
    {
      "affiliation": "Boston College", 
      "@type": "Person", 
      "name": "Tassarotti, Joseph"
    }, 
    {
      "affiliation": "MIT CSAIL", 
      "@type": "Person", 
      "name": "Theng, Mark"
    }, 
    {
      "affiliation": "MPI-SWS", 
      "@type": "Person", 
      "name": "Jung, Ralf"
    }, 
    {
      "affiliation": "MIT CSAIL", 
      "@type": "Person", 
      "name": "Kaashoek, Frans"
    }, 
    {
      "affiliation": "MIT CSAIL", 
      "@type": "Person", 
      "name": "Zeldovich, Nickolai"
    }
  ], 
  "url": "https://zenodo.org/record/4794398", 
  "datePublished": "2021-07-14", 
  "version": "v0.2.0", 
  "@type": "SoftwareSourceCode", 
  "keywords": [
    "verification"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4794398", 
  "@id": "https://doi.org/10.5281/zenodo.4794398", 
  "workFeatured": {
    "url": "https://www.usenix.org/conference/osdi21", 
    "alternateName": "OSDI 2021", 
    "@type": "Event", 
    "name": "15th USENIX Symposium on Operating Systems Design and Implementation"
  }, 
  "name": "GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)"
}