conftrace_

file system

9 papers

Explore in graph

Co-occurring keywords

crash consistency (8) formal verification (284) persistent memory (16) metadata management (4) in-storage indexing (1) type system (7) checksum protection (1) incremental parallelization (1) multiprocessor software architecture (1) hierarchical data partitioning (1)

Papers

Fast and Synchronous Crash Consistency with Metadata Write-Once File System OSDI 2025
SquirrelFS: using the Rust compiler to check file-system crash consistency OSDI 2024
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022
Modernizing File System through In-Storage Indexing OSDI 2021
CrossFS: A Cross-layered Direct-Access File System OSDI 2020
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018
Proving confidentiality in a file system using DiskSec OSDI 2018
Push-Button Verification of File Systems via Crash Refinement OSDI 2016
To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System Code OSDI 2016