Hayley LeBlanc

Senior Researcher

论文与出版物

查看方式：

- PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
  
  Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
  
  USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
  
  Distinguished Artifact Award
  
  Publication 项目
- 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, Jay Lorch, Oded Padon, Bryan Parno
  
  2024 Symposium on Operating Systems Principles | November 2024
  
  Distinguished Artifact Award
  
  Publication 项目

- PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
  
  Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
  
  USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
  
  Distinguished Artifact Award
  
  Publication 项目
- 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, Jay Lorch, Oded Padon, Bryan Parno
  
  2024 Symposium on Operating Systems Principles | November 2024
  
  Distinguished Artifact Award
  
  Publication 项目
- PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
  
  Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
  
  USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
  
  Distinguished Artifact Award
  
  Publication 项目
- 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, Jay Lorch, Oded Padon, Bryan Parno
  
  2024 Symposium on Operating Systems Principles | November 2024
  
  Distinguished Artifact Award
  
  Publication 项目

- PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
  
  Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
  
  USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
  
  Distinguished Artifact Award
  
  Publication 项目
- 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, Jay Lorch, Oded Padon, Bryan Parno
  
  2024 Symposium on Operating Systems Principles | November 2024
  
  Distinguished Artifact Award
  
  Publication 项目