Hayley LeBlanc
2 papers · 2024–2025 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Silver
Venues
Top co-authors
Research topics
Keywords
crash consistency
(2)
persistent memory
(2)
storage system
(1)
file system
(1)
type system
(1)
hoare logic
(1)
corruption detection
(1)
typestate pattern
(1)
compile-time verification
(1)
crash consistency verification
(1)
persistent memory storage
(1)
formal verification
(1)
storage system verification
(1)
rust compiler
(1)