GoJournal: a verified, concurrent, crash-safe journaling system

TitleGoJournal: a verified, concurrent, crash-safe journaling system
Publication TypeConference Paper
Year of Publication2021
AuthorsChajed T, Tassarotti J, Theng M, Jung R, M. Kaashoek F, Zeldovich N
Conference Name15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21)
Date Published07/2021
Publisher{USENIX} Association
ISBN Number978-1-939133-22-9
URLhttps://www.usenix.org/conference/osdi21/presentation/chajed