@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
}
@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 {196318,
	author = {Muhammad Ali Gulzar and Xueyuan Han and Matteo Interlandi and Shaghayegh Mardani and Sai Deep Tetali and Todd Millstein and Miryung Kim},
	title = {Interactive Debugging for Big Data Analytics},
	booktitle = {8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 16)},
	year = {2016},
	address = {Denver, CO},
	url = {https://www.usenix.org/conference/hotcloud16/workshop-program/presentation/gulzar},
	publisher = {USENIX Association},
	month = jun
}
@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
}
