@conference {19621,
	title = {MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms},
	booktitle = {HotOS{\textquoteright}13 Proceedings of the 13th USENIX Conference on Hot Topics in Operating Systems },
	series = {HotOS{\textquoteright}13},
	year = {2011},
	month = {2011///},
	pages = {30 - 30},
	publisher = {USENIX Association},
	organization = {USENIX Association},
	url = {http://dl.acm.org/citation.cfm?id=1991596.1991636},
	author = {Maniatis, Petros and Dietz, Michael and Charalampos Papamanthou}
}
