conftrace_

rust compiler

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

type system (1) typestate pattern (1) compile-time verification (1) disaggregated memory (1) asynchronous programming (1) thread scheduling (1) remote memory access (1) persistent memory (1) crash consistency (1) file system (1)

Papers

Beehive: A Scalable Disaggregated Memory Runtime Exploiting Asynchrony of Multithreaded Programs NSDI 2025 SquirrelFS: using the Rust compiler to check file-system crash consistency OSDI 2024