Beyond Storage APIs: Provable Semantics for Storage Stacks

Presented at HOTos 2015 by

Andrea Arpaci-dusseau

Remzi Arpaci-dusseau

Vijay Chidambaram

Thanumalayan Pillai

Ramnatthan Alagappan