File uploads: We have fixed an issue which caused file uploads to fail. We apologise for the inconvenience it may have caused.

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