Biblio

Export 17 results:
Filters: Author is George Varghese  [Clear All Filters]
2022
Kakarla SKesava Red, Beckett R, Millstein T, Varghese G.  2022.  SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :307--323.
2020
Kakarla SKesava Red, Tang A, Beckett R, Jayaraman K, Millstein T, Tamir Y, Varghese G.  2020.  Finding Network Misconfigurations by Automatic Template Inference . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :999--1013.
2017
Ryzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G.  2017.  Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
2016
Fayaz SK, Sharma T, Fogel A, Mahajan R, Millstein T, Sekar V, Varghese G.  2016.  Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :217--232.
2015
Lopes NP, Bjørner N, Godefroid P, Jayaraman K, Varghese G.  2015.  Checking Beliefs in Dynamic Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :499--512.
Jose L, Yan L, Varghese G, McKeown N.  2015.  Compiling Packet Programs to Reconfigurable Switches. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :103--115.
Vulimiri A, Curino C, P. Godfrey B, Jungblut T, Padhye J, Varghese G.  2015.  Global Analytics in the Face of Bandwidth and Regulatory Constraints. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :323--336.
2014
Bhagwan R, Kumar R, Ramjee R, Varghese G, Mohapatra S, Manoharan H, Shah P.  2014.  Adtributor: Revenue Debugging in Advertising Systems. 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). :43--55.
Mysore RNiranjan, Mahajan R, Vahdat A, Varghese G.  2014.  Gestalt: Fast, Unified Fault Localization for Networked Systems. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :255--267.
2013
Rai A, Ramjee R, Anand A, Padmanabhan VN, Varghese G.  2013.  MiG: Efficient Migration of Desktop VMs Using Semantic Compression. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :25--36.
Kazemian P, Chang M, Zeng H, Varghese G, McKeown N, Whyte S.  2013.  Real Time Network Policy Checking Using Header Space Analysis. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :99--111.
2012
Kazemian P, Varghese G, McKeown N.  2012.  Header Space Analysis: Static Checking for Networks. 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). :113--126.
2011
Uyeda F, Foschini L, Baker F, Suri S, Varghese G.  2011.  Efficiently Measuring Bandwidth at All Time Scales. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11).
2010
Lam VThe, Mitzenmacher M, Varghese G.  2010.  Carousel: Scalable Logging for Intrusion Prevention Systems. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
Aggarwal B, Akella A, Anand A, Balachandran A, Chitnis P, Muthukrishnan C, Ramjee R, Varghese G.  2010.  EndRE: An End-System Redundancy Elimination Service for Enterprises. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
2008
Gupta D, Lee S, Vrable M, Savage S, Snoeren AC, Varghese G, Voelker GM, Vahdat A.  2008.  Difference Engine: Harnessing Memory Redundancy in Virtual Machines. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
2004
Singh S, Estan C, Varghese G, Savage S.  2004.  Automated Worm Fingerprinting. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).