@inproceedings {286494,
	author = {Sarah McClure and Zeke Medley and Deepak Bansal and Karthick Jayaraman and Ashok Narayanan and Jitendra Padhye and Sylvia Ratnasamy and Anees Shaikh and Rishabh Tewari},
	title = {Invisinets: Removing Networking from Cloud Networks},
	booktitle = {20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)},
	year = {2023},
	isbn = {978-1-939133-33-5},
	address = {Boston, MA},
	pages = {479--496},
	url = {https://www.usenix.org/conference/nsdi23/presentation/mcclure},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {246314,
	author = {Siva Kesava Reddy Kakarla and Alan Tang and Ryan Beckett and Karthick Jayaraman and Todd Millstein and Yuval Tamir and George Varghese},
	title = {Finding Network Misconfigurations by Automatic Template Inference },
	booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)},
	year = {2020},
	isbn = {978-1-939133-13-7},
	address = {Santa Clara, CA},
	pages = {999--1013},
	url = {https://www.usenix.org/conference/nsdi20/presentation/kakarla},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {189018,
	author = {Nuno P. Lopes and Nikolaj Bj{\o}rner and Patrice Godefroid and Karthick Jayaraman and George Varghese},
	title = {Checking Beliefs in Dynamic Networks},
	booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)},
	year = {2015},
	isbn = {978-1-931971-218},
	address = {Oakland, CA},
	pages = {499--512},
	url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/lopes},
	publisher = {USENIX Association},
	month = may
}
