Hayley LeBlanc
2 papers
· 2024–2025
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(4)
🌉
Interdisciplinary Bridge
🏆
Keyword Champion
(2)
Conferences
OSDI (2)
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)