Software Open Access
Verifying a concurrent, crash-safe journaling system using JrnlCert (Artifact)
Chajed, Tej;
Tassarotti, Joseph;
Theng, Mark;
Jung, Ralf;
Kaashoek, Frans;
Zeldovich, Nickolai
OSDI 2021 artifact. See https://github.com/mit-pdos/goose-nfsd/tree/master/osdi21-artifact#readme for instructions on using this artifact.
Files
(3.2 GB)
| Name | Size | |
|---|---|---|
|
jrnlcert-osdi21-artifact.ova
md5:85f10dfb9a83140a661afddbf959fdc9 |
3.2 GB | Download |
77
13
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 77 | 47 |
| Downloads | 13 | 10 |
| Data volume | 38.1 GB | 32.2 GB |
| Unique views | 69 | 41 |
| Unique downloads | 11 | 9 |
Indexed in
- Publication date:
- July 14, 2021
- DOI:
-
- Keyword(s):
- verification
- 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