Beyond Storage APIs: Provable Semantics for Storage Stacks.

Ramnatthan Alagappan, Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

Browse the full HotOS paper archive.