Beyond Storage APIs: Provable Semantics for Storage Stacks

TitleBeyond Storage APIs: Provable Semantics for Storage Stacks
Publication TypeConference Paper
Year of Publication2015
AuthorsAlagappan R, Chidambaram V, Pillai TSankaranar, Arpaci-Dusseau AC, Arpaci-Dusseau RH
Conference Name15th Workshop on Hot Topics in Operating Systems (HotOS {XV})
Date Published05/2015
Publisher{USENIX} Association
Conference LocationKartause Ittingen, Switzerland
URLhttps://www.usenix.org/conference/hotos15/workshop-program/presentation/alagappan