@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 {201568, author = {Leonid Ryzhyk and Nikolaj Bj{\o}rner and Marco Canini and Jean-Baptiste Jeannin and Cole Schlesinger and Douglas B. Terry and George Varghese}, title = {Correct by Construction Networks Using Stepwise Refinement}, booktitle = {14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)}, year = {2017}, isbn = {978-1-931971-37-9}, address = {Boston, MA}, pages = {683--698}, url = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk}, publisher = {USENIX Association}, month = mar } @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 {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 } @inproceedings {188956, author = {Lavanya Jose and Lisa Yan and George Varghese and Nick McKeown}, title = {Compiling Packet Programs to Reconfigurable Switches}, booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)}, year = {2015}, isbn = {978-1-931971-218}, address = {Oakland, CA}, pages = {103--115}, url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/jose}, publisher = {USENIX Association}, month = may } @inproceedings {188992, author = {Ashish Vulimiri and Carlo Curino and P. Brighten Godfrey and Thomas Jungblut and Jitu Padhye and George Varghese}, title = {Global Analytics in the Face of Bandwidth and Regulatory Constraints}, booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)}, year = {2015}, isbn = {978-1-931971-218}, address = {Oakland, CA}, pages = {323--336}, url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/vulimiri}, publisher = {USENIX Association}, month = may } @inproceedings {179769, author = {Ranjita Bhagwan and Rahul Kumar and Ramachandran Ramjee and George Varghese and Surjyakanta Mohapatra and Hemanth Manoharan and Piyush Shah}, title = {Adtributor: Revenue Debugging in Advertising Systems}, booktitle = {11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)}, year = {2014}, isbn = {978-1-931971-09-6}, address = {Seattle, WA}, pages = {43--55}, url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/bhagwan}, publisher = {USENIX Association}, month = apr } @inproceedings {183929, author = {Radhika Niranjan Mysore and Ratul Mahajan and Amin Vahdat and George Varghese}, title = {Gestalt: Fast, {Unified} Fault Localization for Networked Systems}, booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)}, year = {2014}, isbn = {978-1-931971-10-2}, address = {Philadelphia, PA}, pages = {255--267}, url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/mysore}, publisher = {USENIX Association}, month = jun } @inproceedings {180183, author = {Anshul Rai and Ramachandran Ramjee and Ashok Anand and Venkata N. Padmanabhan and George Varghese}, title = {{MiG}: {Efficient} Migration of Desktop {VMs} Using Semantic Compression}, booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)}, year = {2013}, isbn = {978-1-931971-01-0}, address = {San Jose, CA}, pages = {25--36}, url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/rai}, publisher = {USENIX Association}, month = jun } @inproceedings {180298, author = {Peyman Kazemian and Michael Chang and Hongyi Zeng and George Varghese and Nick McKeown and Scott Whyte}, title = {Real Time Network Policy Checking Using Header Space Analysis}, booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)}, year = {2013}, isbn = {978-1-931971-00-3}, address = {Lombard, IL}, pages = {99--111}, url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/kazemian}, publisher = {USENIX Association}, month = apr } @inproceedings {180587, author = {Peyman Kazemian and George Varghese and Nick McKeown}, title = {Header Space Analysis: Static Checking for Networks}, booktitle = {9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)}, year = {2012}, isbn = {978-931971-92-8}, address = {San Jose, CA}, pages = {113--126}, url = {https://www.usenix.org/conference/nsdi12/technical-sessions/presentation/kazemian}, publisher = {USENIX Association}, month = apr } @inproceedings {266962, author = {Frank Uyeda and Luca Foschini and Fred Baker and Subhash Suri and George Varghese}, title = {Efficiently Measuring Bandwidth at All Time Scales}, booktitle = {8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11)}, year = {2011}, address = {Boston, MA}, url = {https://www.usenix.org/conference/nsdi11/efficiently-measuring-bandwidth-all-time-scales}, publisher = {USENIX Association}, month = mar } @inproceedings {259324, author = {Vinh The Lam and Michael Mitzenmacher and George Varghese}, title = {Carousel: Scalable Logging for Intrusion Prevention Systems}, booktitle = {7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10)}, year = {2010}, address = {San Jose, CA}, url = {https://www.usenix.org/conference/nsdi10-0/carousel-scalable-logging-intrusion-prevention-systems}, publisher = {USENIX Association}, month = apr } @inproceedings {259320, author = {Bhavish Aggarwal and Aditya Akella and Ashok Anand and Athula Balachandran and Pushkar Chitnis and Chitra Muthukrishnan and Ramachandran Ramjee and George Varghese}, title = {{EndRE}: An {End-System} Redundancy Elimination Service for Enterprises}, booktitle = {7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10)}, year = {2010}, address = {San Jose, CA}, url = {https://www.usenix.org/conference/nsdi10-0/endre-end-system-redundancy-elimination-service-enterprises}, publisher = {USENIX Association}, month = apr } @inproceedings {267906, author = {Diwaker Gupta and Sangmin Lee and Michael Vrable and Stefan Savage and Alex C. Snoeren and George Varghese and Geoffrey M. Voelker and Amin Vahdat}, title = {Difference Engine: Harnessing Memory Redundancy in Virtual Machines}, booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/osdi-08/difference-engine-harnessing-memory-redundancy-virtual-machines}, publisher = {USENIX Association}, month = dec } @inproceedings {269496, author = {Sumeet Singh and Cristian Estan and George Varghese and Stefan Savage}, title = {Automated Worm Fingerprinting}, booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)}, year = {2004}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/osdi-04/automated-worm-fingerprinting}, publisher = {USENIX Association}, month = dec }