Intra-consortia data sharing platforms for interdisciplinary collaborative research projects. - Max Schröder; Hayley LeBlanc; Sascha Spors; Frank Krüger 001 (it Inf. Technol., 2020)

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems. - Hayley LeBlanc; Shankara Pailoor; Isil Dillig; James Bornholt; Vijay Chidambaram (CoRR, 2022)

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. - Hayley LeBlanc; Shankara Pailoor; Om Saran K. R. E.; Isil Dillig; James Bornholt; Vijay Chidambaram (EuroSys, 2023)

SquirrelFS: using the Rust compiler to check file-system crash consistency. - Hayley LeBlanc; Nathan Taylor; James Bornholt; Vijay Chidambaram (OSDI, 2024)

Verus: A Practical Foundation for Systems Verification. - Andrea Lattuada 001; Travis Hance; Jay Bosamiya; Matthias Brun 002; Chanhee Cho; Hayley LeBlanc; Pranav Srinivasan; Reto Achermann; Tej Chajed; Chris Hawblitzel; Jon Howell; Jacob R. Lorch; et al. (SOSP, 2024)

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 (OSDI, 2025)