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 프로젝트

Hayley LeBlanc

출판물

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

Verus: A Practical Foundation for Systems Verification

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

Verus: A Practical Foundation for Systems Verification

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

Verus: A Practical Foundation for Systems Verification

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

Verus: A Practical Foundation for Systems Verification

연락처 Hayley LeBlanc

Microsoft Research Lab – Redmond