Beyond storage apis: Provable semantics for storage stacks (0)

by R ALAGAPPAN, V CHIDAMBARAM, T S PILLAI, A C ARPACI-DUSSEAU, R H ARPACI-DUSSEAU
Venue:In 15th Workshop on Hot Topics in Operating Systems (HotOS XV) (Kartause Ittingen, Switzerland, May 2015), USENIX Association