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

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.OSShow all

2 papers · 1 filter

cs.OS2024★ 1 cited

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

Hayley LeBlanc, Nathan Taylor, James Bornholt +1

This work introduces a new approach to building crash-safe file systems for persistent memory. We exploit the fact that Rust's typestate pattern allows compile-time enforcement of…

cs.OS2022

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems

Hayley LeBlanc, Shankara Pailoor, Isil Dillig +2

We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop…