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 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
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 File System Crash-Consistency Bugs Through Fuzzing and Verification" at the Texas Systems Research Symposium, November 16, 2020. Slides