Software Open Access

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

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

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
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