SquirrelFS: using the Rust compiler to check file-system crash consistency

TitleSquirrelFS: using the Rust compiler to check file-system crash consistency
Publication TypeConference Paper
Year of Publication2024
AuthorsLeBlanc H, Taylor N, Bornholt J, Chidambaram V
Conference Name18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)
Date Published07/2024
PublisherUSENIX Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-40-3
URLhttps://www.usenix.org/conference/osdi24/presentation/leblanc