Hayley LeBlanc

Pronouns: she/her/hers

Department of Computer Science
University of Texas at Austin
hleblanc@utexas.edu

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.

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

Projects

My current projects are:

  • A fuzzing tool for persistent memory file systems
  • 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

Publications

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

Talks

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

Contact

 hleblanc@utexas.edu

 hayley-leblanc

 @hlebland