Login / Signup
Hayley LeBlanc
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 5
Top Topics
Scalable Distributed
General Purpose
File System
Data Transfer
Top Venues
CoRR
it Inf. Technol.
EuroSys
OSDI
</>
Publications
</>
Hayley LeBlanc
,
Nathan Taylor
,
James Bornholt
,
Vijay Chidambaram
SquirrelFS: using the Rust compiler to check file-system crash consistency.
OSDI
(2024)
Hayley LeBlanc
,
Nathan Taylor
,
James Bornholt
,
Vijay Chidambaram
SquirrelFS: using the Rust compiler to check file-system crash consistency.
CoRR
(2024)
Hayley LeBlanc
,
Shankara Pailoor
,
Om Saran K. R. E
,
Isil Dillig
,
James Bornholt
,
Vijay Chidambaram
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems.
EuroSys
(2023)
Hayley LeBlanc
,
Shankara Pailoor
,
Isil Dillig
,
James Bornholt
,
Vijay Chidambaram
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems.
CoRR
(2022)
Max Schröder
,
Hayley LeBlanc
,
Sascha Spors
,
Frank Krüger
Intra-consortia data sharing platforms for interdisciplinary collaborative research projects.
it Inf. Technol.
62 (1) (2020)