@inproceedings {295579,
	author = {Rathin Singha and Rajdeep Mondal and Ryan Beckett and Siva Kesava Reddy Kakarla and Todd Millstein and George Varghese},
	title = {{MESSI}: Behavioral Testing of {BGP} Implementations},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	isbn = {978-1-939133-39-7},
	address = {Santa Clara, CA},
	pages = {1009--1023},
	url = {https://www.usenix.org/conference/nsdi24/presentation/singha},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {278336,
	author = {Siva Kesava Reddy Kakarla and Ryan Beckett and Todd Millstein and George Varghese},
	title = {{SCALE}: Automatically Finding {RFC} Compliance Bugs in {DNS} Nameservers},
	booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)},
	year = {2022},
	isbn = {978-1-939133-27-4},
	address = {Renton, WA},
	pages = {307--323},
	url = {https://www.usenix.org/conference/nsdi22/presentation/kakarla},
	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
}
