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

Download PDF
Open Webpage

Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

Published: 2025, Last Modified: 26 Jan 2026OSDI 2025EveryoneRevisionsBibTeXCC BY-SA 4.0