@inproceedings {295571,
	author = {Pooria Namyar and Behnaz Arzani and Ryan Beckett and Santiago Segarra and Himanshu Raj and Umesh Krishnaswamy and Ramesh Govindan and Srikanth Kandula},
	title = {Finding Adversarial Inputs for Heuristics using Multi-level Optimization},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/nsdi24/presentation/namyar-finding},
	publisher = {USENIX Association},
	month = apr
}
@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},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/nsdi24/presentation/singha},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {295669,
	author = {Andrew Johnson and Ryan Beckett and Xiaoqi Chen and Ratul Mahajan and David Walker},
	title = {Sequence Abstractions for Flexible, {Line-Rate} Network Monitoring},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/nsdi24/presentation/johnson},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {285179,
	author = {Mina Tahmasbi Arashloo and Ryan Beckett and Rachit Agarwal},
	title = {Formal Methods for Network Performance Analysis},
	booktitle = {20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)},
	year = {2023},
	isbn = {978-1-939133-33-5},
	address = {Boston, MA},
	pages = {645--661},
	url = {https://www.usenix.org/conference/nsdi23/presentation/tahmasbi},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {285175,
	author = {Yiming Qiu and Ryan Beckett and Ang Chen},
	title = {Synthesizing Runtime Programmable Switch Updates},
	booktitle = {20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)},
	year = {2023},
	isbn = {978-1-939133-33-5},
	address = {Boston, MA},
	pages = {613--628},
	url = {https://www.usenix.org/conference/nsdi23/presentation/qiu},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {286496,
	author = {Xieyang Xu and Weixin Deng and Ryan Beckett and Ratul Mahajan and David Walker},
	title = {Test Coverage for Network Configurations},
	booktitle = {20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)},
	year = {2023},
	isbn = {978-1-939133-33-5},
	address = {Boston, MA},
	pages = {1717--1732},
	url = {https://www.usenix.org/conference/nsdi23/presentation/xu},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {278376,
	author = {Ryan Beckett and Aarti Gupta},
	title = {Katra: Realtime Verification for Multilayer Networks},
	booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)},
	year = {2022},
	isbn = {978-1-939133-27-4},
	address = {Renton, WA},
	pages = {617--634},
	url = {https://www.usenix.org/conference/nsdi22/presentation/beckett},
	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 {258878,
	author = {Nofel Yaseen and Behnaz Arzani and Ryan Beckett and Selim Ciraci and Vincent Liu},
	title = {Aragog: Scalable Runtime Verification of Shardable Networked Systems},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {701--718},
	url = {https://www.usenix.org/conference/osdi20/presentation/yaseen},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {246500,
	author = {Kuo-Feng Hsu and Ryan Beckett and Ang Chen and Jennifer Rexford and David Walker},
	title = {Contra: A Programmable System for Performance-aware Routing },
	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 = {701--721},
	url = {https://www.usenix.org/conference/nsdi20/presentation/hsu},
	publisher = {USENIX Association},
	month = feb
}
@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
}
