Co-occurring keywords · papers mentioning both
Papers
Bridging Storage and Execution: A Semantic Virtual Bus for On-Demand Application Streaming
NSDI 2026
Fast and Synchronous Crash Consistency with Metadata Write-Once File System
OSDI 2025
Fast Benchmarking of Asynchronous Multi-Fidelity Optimization on Zero-Cost Benchmarks
AutoML 2024
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