@inproceedings {179051,
	author = {Chia-Chi Lin and Virajith Jalaparti and Matthew Caesar and Jacobus Van der Merwe},
	title = {{DEFINED}: Deterministic Execution for Interactive {Control-Plane} Debugging},
	booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)},
	year = {2013},
	isbn = {978-1-931971-01-0},
	address = {San Jose, CA},
	pages = {347--358},
	url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/lin},
	publisher = {USENIX Association},
	month = jun
}
