Hayley LeBlanc

Pronouns: she/her/hers

Department of Computer Science
University of Texas at Austin

I’m a first year Ph.D. student at the University of Texas at Austin, and I work with Vijay Chidambaram, Isil Dillig, and James Bornholt. I’m broadly interested in file and storage systems, and I'm currently working on projects related to crash consistency and persistent memory.

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, before coming to UT.


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 applying PL techniques to make existing storage systems more reliable.


My current projects are:

  • A framework for testing persistent memory file systems for crash consistency bugs
  • Formal verification of components of Linux’s ext4 file system

In the past, I have worked on:

  • Algorithms related to aperiodic tilings at Denison University
  • Tools for collaborative data sharing at the University of Rostock in Rostock, Germany


Max Schröder, Hayley LeBlanc, Frank Krüger, Sacha Spors. “Inter-consortia data sharing platforms for interdisciplinary collaborative research projects.” it - Information Technology, 2020.


"Finding Crash Consistency Bugs in Persistent Memory File Systems" at the EuroSys Doctoral Workshop (EuroDW) 2021, April 26, 2020.

"Finding File System Crash-Consistency Bugs Through Fuzzing and Verification" at the Texas Systems Research Symposium, November 16, 2020. Slides