@inproceedings {189920,
	author = {Ramnatthan Alagappan and Vijay Chidambaram and Thanumalayan Sankaranarayana Pillai and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau},
	title = {Beyond Storage {APIs}: Provable Semantics for Storage Stacks},
	booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)},
	year = {2015},
	address = {Kartause Ittingen, Switzerland},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/alagappan},
	publisher = {USENIX Association},
	month = may
}
