Hayley LeBlanc
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | OSDI | PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection. | Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram |
| 2024 | OSDI | SquirrelFS: using the Rust compiler to check file-system crash consistency. | Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram |
| 2024 | SOSP | Verus: A Practical Foundation for Systems Verification. | Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 2023 | EuroSys | Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. | Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram |