software . Under curation

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

Chajed, Tej; Tassarotti, Joseph; Theng, Mark; Jung, Ralf; Kaashoek, Frans; Zeldovich, Nickolai;
Open Access English
  • Publisher: Zenodo
Abstract
OSDI 2021 artifact for the GoJournal paper. See https://github.com/mit-pdos/go-nfsd/tree/master/artifact#readme for instructions on using this artifact. The artifact has been updated since artifact review to match the final version of the paper.
Persistent Identifiers
Funded by
EC| RustBelt
Project
RustBelt
Logical Foundations for the Future of Safe Systems Programming
  • Funder: European Commission (EC)
  • Project Code: 683289
  • Funding stream: H2020
Download from
Open Access
Zenodo
Software
Provider: Zenodo
Any information missing or wrong?Report an Issue