Biblio

Export 16 results:
Filters: Author is George Varghese  [Clear All Filters]
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).