Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer.

Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen

Browse the full OSDI paper archive.