Hayley LeBlanc

According to our database, Hayley LeBlanc authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

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

Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2023

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems.

Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E, Isil Dillig, James Bornholt, Vijay Chidambaram

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems.

Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram

CoRR, 2022

2020

Intra-consortia data sharing platforms for interdisciplinary collaborative research projects.

Max Schröder, Hayley LeBlanc, Sascha Spors, Frank Krüger

it Inf. Technol., 2020