conftrace_

corruption detection

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

crash consistency verification (1) persistent memory storage (1) storage system verification (1) group synchronization (1) hoare logic (1) crash consistency (1) storage system (1) persistent memory (1) cycle consistency (1) quadratic programming (1)

Papers

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025 Robust Group Synchronization via Quadratic Programming ICML 2022