GoJournal: A Verified, Concurrent, Crash-Safe Journaling System

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich

Journal title: USENIX Symposium on Operating System Design and Implementation

Journal publisher: USENIX

Published year: 2021

ISBN: 978-1-939133-22-9