Hayley LeBlanc

Pronouns: she/her

Department 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

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

"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. 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

Internships

Microsoft Research Redmond (May 2023 - August 2023)
Mentor: Jay Lorch
Project: Built a verified crash-consistent persistent memory log.

Amazon Web Services (May 2022 - August 2022)
Mentor: Rajeev Joshi
Project: Developed a prototype S3 file connector and executable specification in Rust. This work contributed to what is now AWS's Mountpoint for S3.

Amazon Web Services (May 2021-August 2021)
Mentor: Rajeev Joshi
Project: Modeled the design of a persistent B-tree library in Rust to check for concurrency and crash-consistency bugs with the S3 Express One Zone team.

Contact

 hleblanc@utexas.edu

 hayley-leblanc

 @hlebland