Software Open Access
GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)
Chajed, Tej;
Tassarotti, Joseph;
Theng, Mark;
Jung, Ralf;
Kaashoek, Frans;
Zeldovich, Nickolai
Citation Style Language JSON Export
{
"publisher": "Zenodo",
"DOI": "10.5281/zenodo.4794398",
"language": "eng",
"title": "GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)",
"issued": {
"date-parts": [
[
2021,
7,
14
]
]
},
"abstract": "<p>OSDI 2021 artifact for the <a href=\"https://www.chajed.io/papers/gojournal:osdi2021.pdf\">GoJournal paper</a>.</p>\n\n<p>See <a href=\"https://github.com/mit-pdos/go-nfsd/tree/master/artifact#readme\">https://github.com/mit-pdos/go-nfsd/tree/master/artifact#readme</a> for instructions on using this artifact.</p>\n\n<p>The artifact has been updated since artifact review to match the final version of the paper.</p>",
"author": [
{
"family": "Chajed, Tej"
},
{
"family": "Tassarotti, Joseph"
},
{
"family": "Theng, Mark"
},
{
"family": "Jung, Ralf"
},
{
"family": "Kaashoek, Frans"
},
{
"family": "Zeldovich, Nickolai"
}
],
"id": "4794398",
"version": "v0.2.0",
"type": "article",
"event": "15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2021)"
}
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