Planned intervention: On Thursday 19/09 between 05:30-06:30 (UTC), Zenodo will be unavailable because of a scheduled upgrade in our storage cluster.
Published July 14, 2021 | Version v0.2.0
Software Open

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

  • 1. MIT CSAIL
  • 2. Boston College
  • 3. MPI-SWS

Description

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.

Files

Files (2.0 GB)

Name Size Download all
md5:3c3f9f33cecdd1343abe9bb96a367351
2.0 GB Download

Additional details

Funding

RustBelt – Logical Foundations for the Future of Safe Systems Programming 683289
European Commission