@inproceedings {211247,
	author = {Ahmed El-Hassany and Petar Tsankov and Laurent Vanbever and Martin Vechev},
	title = {{NetComplete}: Practical {Network-Wide} Configuration Synthesis with Autocompletion},
	booktitle = {15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Renton, WA},
	pages = {579--594},
	url = {https://www.usenix.org/conference/nsdi18/presentation/el-hassany},
	publisher = {USENIX Association},
	month = apr
}
