conftrace_

typestate pattern

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

compile-time verification (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