conftrace_

compile-time verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

typestate pattern (1) type system (1) file system (1) crash consistency (1) persistent memory (1) rust compiler (1)

Papers

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