@inproceedings{leblanc2025power,author={LeBlanc, Hayley and Lorch, Jay and Hawblitzel, Chris and Huang, Cheng and Tao, Yiheng and Zeldovich, Nickolai and Chidambaram, Vijay},title={PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection},organization={USENIX},booktitle={USENIX Symposium on Operating Systems Design and Implementation (OSDI)},year={2025},month=jul,publisher={USENIX},url={https://www.microsoft.com/en-us/research/publication/power-never-corrupts-tool-agnostic-verification-of-crash-consistency-and-corruption-detection/},pages={839-857},}
2024
Verus: A Practical Foundation for Systems Verification
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, and Bryan Parno
🏆 Distinguished Artifact Award
In Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, Austin, TX, USA, Jul 2024
@inproceedings{lattuada2024verus,author={Lattuada, Andrea and Hance, Travis and Bosamiya, Jay and Brun, Matthias and Cho, Chanhee and LeBlanc, Hayley and Srinivasan, Pranav and Achermann, Reto and Chajed, Tej and Hawblitzel, Chris and Howell, Jon and Lorch, Jacob R. and Padon, Oded and Parno, Bryan},title={Verus: A Practical Foundation for Systems Verification},year={2024},isbn={9798400712517},publisher={Association for Computing Machinery},address={New York, NY, USA},url={https://doi.org/10.1145/3694715.3695952},doi={10.1145/3694715.3695952},booktitle={Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles},pages={438–454},numpages={17},location={Austin, TX, USA},series={SOSP '24},}
SquirrelFS: using the Rust compiler to check file-system crash consistency
Hayley LeBlanc, Nathan Taylor, James Bornholt, and Vijay Chidambaram
In 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24), Jul 2024
@inproceedings{leblanc2024squirrelfs,author={LeBlanc, Hayley and Taylor, Nathan and Bornholt, James and Chidambaram, Vijay},title={{SquirrelFS}: using the Rust compiler to check file-system crash consistency},booktitle={18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)},year={2024},isbn={978-1-939133-40-3},address={Santa Clara, CA},pages={387--404},url={https://www.usenix.org/conference/osdi24/presentation/leblanc},publisher={USENIX Association},month=jul,}
2023
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems
Hayley LeBlanc, Shankara Pailoor, Om Saran K R E, Isil Dillig, James Bornholt, and Vijay Chidambaram
🏆 Best Paper Award
In Proceedings of the Eighteenth European Conference on Computer Systems, Rome, Italy, Jul 2023
@inproceedings{leblanc2023chipmunk,author={LeBlanc, Hayley and Pailoor, Shankara and K R E, Om Saran and Dillig, Isil and Bornholt, James and Chidambaram, Vijay},title={Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems},year={2023},isbn={9781450394871},publisher={Association for Computing Machinery},address={New York, NY, USA},url={https://doi.org/10.1145/3552326.3567498},doi={10.1145/3552326.3567498},booktitle={Proceedings of the Eighteenth European Conference on Computer Systems},pages={718–733},numpages={16},keywords={bugs, testing, persistent memory, file systems, crash consistency},location={Rome, Italy},series={EuroSys '23},}
2020
Intra-consortia data sharing platforms for interdisciplinary collaborative research projects
Max Schröder, Hayley LeBlanc, Sascha Spors, and Frank Krüger
@article{schroeder2020,author={Schröder, Max and LeBlanc, Hayley and Spors, Sascha and Krüger, Frank},year={2020},month=feb,pages={},title={Intra-consortia data sharing platforms for interdisciplinary collaborative research projects},volume={62},journal={it - Information Technology},doi={10.1515/itit-2019-0039},}