Beyond storage APIs: provable semantics for storage stacks
Torturing databases for fun and profit