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

Download PDF
Open Webpage

Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram

Published: 01 Jan 2024, Last Modified: 14 Jun 2025OSDI 2024EveryoneRevisionsBibTeXCC BY-SA 4.0