Software Open Access
GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)
Chajed, Tej;
Tassarotti, Joseph;
Theng, Mark;
Jung, Ralf;
Kaashoek, Frans;
Zeldovich, Nickolai
BibTeX Export
@software{chajed_tej_2021_4794398,
author = {Chajed, Tej and
Tassarotti, Joseph and
Theng, Mark and
Jung, Ralf and
Kaashoek, Frans and
Zeldovich, Nickolai},
title = {{GoJournal: a verified, concurrent, crash-safe
journaling system (Artifact)}},
month = jul,
year = 2021,
publisher = {Zenodo},
version = {v0.2.0},
doi = {10.5281/zenodo.4794398},
url = {https://doi.org/10.5281/zenodo.4794398}
}
77
13
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 77 | 30 |
| Downloads | 13 | 3 |
| Data volume | 38.1 GB | 5.9 GB |
| Unique views | 69 | 29 |
| Unique downloads | 11 | 2 |
Indexed in
- Publication date:
- July 14, 2021
- DOI:
-
- 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