A promotional image for OSDI 2025 featuring a purple background with the OSDI 25 logo on the left. On the right is a partial view of a research paper titled “PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection,” authored by researchers from the University of Texas at Austin, Microsoft, and MIT CSAIL.
Congratulations to Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang and co-authors of “Power Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection” for winning the Distinguished Artifact Award at #OSDI2025!
4
1
1
0
