Nathan Taylor

1 papers · 2024–2024 · 1 conference · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (4) 🧭 Keyword Pioneer

Conferences

OSDI (1)

Top co-authors

James Bornholt (1) Vijay Chidambaram (1) Hayley LeBlanc (1)

Keywords

rust compiler (1) persistent memory (1) crash consistency (1) file system (1) type system (1) typestate pattern (1) compile-time verification (1)

Papers

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