@inproceedings {266951,
	author = {Rachid Guerraoui and Maysam Yabandeh},
	title = {Model Checking a Networked System Without the Network},
	booktitle = {8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11)},
	year = {2011},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/nsdi11/model-checking-networked-system-without-network},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {267720,
	author = {Maysam Yabandeh and Nedeljko Vasi{\'c}},
	title = {Simplifying Distributed System Development},
	booktitle = {12th Workshop on Hot Topics in Operating Systems (HotOS XII)},
	year = {2009},
	address = {Monte Verit{\`a}, Switzerland},
	url = {https://www.usenix.org/conference/hotos-xii/simplifying-distributed-system-development},
	publisher = {USENIX Association},
	month = may
}
