Hayley LeBlanc
Pronouns: she/herDepartment of Computer Science
University of Texas at Austin
hleblanc@utexas.edu
I am a PhD candidate at UT Austin. I am advised by Vijay Chidambaram. I’m broadly interested in file and storage systems, and I'm currently working on projects related to crash consistency and persistent memory.
Before coming to UT, I earned a B.S. in Computer Science and a B.A. in Mathematics from Denison University, where I was the captain of the epee squad on the women's varsity fencing team.
Research
My background is in operating systems, and I’m specifically interested in file systems and persistent memory. I’m especially fascinated by problems related to crash consistency, and have also recently become interested in using formal methods to make existing storage systems more reliable.
Projects
I'm currently working on:
- A file system for persistent memory written in Rust
- A formally-verified persistent memory storage system
In the past, I have worked on:
- Tools for finding crash-consistency bugs in persistent-memory file systems
- Algorithms related to aperiodic tilings at Denison University
- Tools for collaborative data sharing at the University of Rostock in Rostock, Germany
Publications
"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, Jay Lorch, Oded Padon, Bryan Parno. SOSP 2024. Distinguished Artifact Award Bibtex "SquirrelFS: using the Rust compiler to check file-system crash consistency." Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram. OSDI 2024. Bibtex Slides "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. Best Paper Award. Bibtex Slides “Inter-consortia data sharing platforms for interdisciplinary collaborative research projects.” Max Schröder, Hayley LeBlanc, Frank Krüger, Sacha Spors. it - Information Technology, 2020.Talks
"Crash-consistent File Systems for Persistent Memory" at the UT Austin Computer Architecture Seminar Series, University of Texas at Austin, February 7, 2023. Slides
"Crash-consistent File Systems for Persistent Memory" to the UT Austin Turing Scholars Student Association, University of Texas at Austin, October 31, 2022.
"Finding Crash Consistency Bugs in Persistent-Memory File Systems" at the Languages, Systems and Data Seminar, University of California Santa Cruz, November 19, 2021.
"Finding Crash Consistency Bugs in Persistent-Memory File Systems" at the EuroSys Doctoral Workshop (EuroDW) 2021, April 26, 2021.
"Finding File System Crash-Consistency Bugs Through Fuzzing and Verification" at the Texas Systems Research Symposium, November 16, 2020. Slides