Linked Presentation: Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer
