SquirrelFS: Using the Rust Compiler to Check File-System Crash Consistency.

Saved in:

Bibliographic Details
Title:	SquirrelFS: Using the Rust Compiler to Check File-System Crash Consistency.
Authors:	Leblanc, Hayley¹, hleblanc@utexas.edu, Taylor, Nathan², ntaylor@cs.utexas.edu, Bornholt, James³, bornholt@cs.utexas.edu, Chidambaram, Vijay¹, vijayc@utexas.edu
Source:	ACM Transactions on Storage; Nov2025, Vol. 21 Issue 4, p1-39, 39p
Database:	Applied Science & Technology Source

Description
ISSN:	15533077
DOI:	10.1145/3769109