Co-occurring keywords · papers mentioning both
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
IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing
OSDI 2024
SquirrelFS: using the Rust compiler to check file-system crash consistency
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