@inproceedings {199378,
	author = {Seyed K. Fayaz and Tushar Sharma and Ari Fogel and Ratul Mahajan and Todd Millstein and Vyas Sekar and George Varghese},
	title = {Efficient Network Reachability Analysis Using a Succinct Control Plane Representation},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)},
	year = {2016},
	isbn = {978-1-931971-33-1},
	address = {Savannah, GA},
	pages = {217--232},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/fayaz},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {189016,
	author = {Luis Pedrosa and Ari Fogel and Nupur Kothari and Ramesh Govindan and Ratul Mahajan and Todd Millstein},
	title = {Analyzing Protocol Implementations for Interoperability},
	booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)},
	year = {2015},
	isbn = {978-1-931971-218},
	address = {Oakland, CA},
	pages = {485--498},
	url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/pedrosa},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {189014,
	author = {Ari Fogel and Stanley Fung and Luis Pedrosa and Meg Walraed-Sullivan and Ramesh Govindan and Ratul Mahajan and Todd Millstein},
	title = {A General Approach to Network Configuration Analysis},
	booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)},
	year = {2015},
	isbn = {978-1-931971-218},
	address = {Oakland, CA},
	pages = {469--483},
	url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/fogel},
	publisher = {USENIX Association},
	month = may
}
