conftrace_

crash consistency

8 papers

Explore in graph

Co-occurring keywords

persistent memory (16) file system (9) crash recovery (6) concurrency control (15) formal verification (284) black-box testing (4) file system testing (1) crash simulation (1) bounded testing (1) energy harvesting (8)

Papers

Fast and Synchronous Crash Consistency with Metadata Write-Once File System OSDI 2025
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025
SquirrelFS: using the Rust compiler to check file-system crash consistency OSDI 2024
IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing OSDI 2024
SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory OSDI 2023
CrossFS: A Cross-layered Direct-Access File System OSDI 2020
Persistent State Machines for Recoverable In-memory Storage Systems with NVRam OSDI 2020
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018