George Varghese

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 25

Top Venues

Publications

Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese
MESSI: Behavioral Testing of BGP Implementations. NSDI (2024)
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. CoRR (2024)
James Murphy McCauley, Scott Shenker, George Varghese
Extracting the Essential Simplicity of the Internet. Commun. ACM 66 (2) (2023)
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese
Lightyear: Using Modularity to Scale BGP Control Plane Verification. SIGCOMM (2023)
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
What do LLMs need to Synthesize Correct Router Configurations? HotNets (2023)
Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese
What do LLMs need to Synthesize Correct Router Configurations? CoRR (2023)
Sidharth Sharma, Aniruddha Kushwaha, Mohammad Alizadeh, George Varghese, Ashwin Gumaste
Tuneman: Customizing Networks to Guarantee Application Bandwidth and Latency. ACM Trans. Internet Techn. 23 (1) (2023)
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. CoRR (2022)
Victor Rios, George Varghese
MashUp: Scaling TCAM-based IP Lookup to Larger Databases by Tiling Trees. CoRR (2022)
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. NSDI (2022)
Pradeep Dogga, Karthik Narasimhan, Anirudh Sivaraman, Shiv Kumar Saini, George Varghese, Ravi Netravali
Revelio: ML-Generated Debugging Queries for Finding Root Causes in Distributed Systems. MLSys (2022)
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese
Campion: debugging router configuration differences. SIGCOMM (2021)
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese
How Complex is DNS? HotNets (2021)
Pradeep Dogga, Karthik Narasimhan, Anirudh Sivaraman, Shiv Kumar Saini, George Varghese, Ravi Netravali
Revelio: ML-Generated Debugging Queries for Distributed Systems. CoRR (2021)
Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese
GRooT: Proactive Verification of DNS Configurations. SIGCOMM (2020)
Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese
Finding Network Misconfigurations by Automatic Template Inference. NSDI (2020)
George Varghese
An interview with Leonard Kleinrock. Commun. ACM 62 (11) (2019)
Zengwen Yuan, Qianru Li, Yuanjie Li, Songwu Lu, Chunyi Peng, George Varghese
Resolving Policy Conflicts in Multi-Carrier Cellular Access. MobiCom (2018)
Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese
Correct by Construction Networks Using Stepwise Refinement. NSDI (2017)
Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese
Scaling network verification using symmetry and surgery. POPL (2016)
George Varghese
Network verification - When Clarke meets Cerf. FMCAD (2016)
Khoa To, Daniel Firestone, George Varghese, Jitendra Padhye
Measurement Based Fair Queuing for Allocating Bandwidth to Virtual Machines. HotMiddlebox@SIGCOMM (2016)
Anirudh Sivaraman, Alvin Cheung, Mihai Budiu, Changhoon Kim, Mohammad Alizadeh, Hari Balakrishnan, George Varghese, Nick McKeown, Steve Licking
Packet Transactions: High-Level Programming for Line-Rate Switches. SIGCOMM (2016)
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
ddNF: An Efficient Data Structure for Header Spaces. Haifa Verification Conference (2016)
Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. OSDI (2016)
Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
Checking Beliefs in Dynamic Networks. NSDI (2015)
Ashish Vulimiri, Carlo Curino, Philip Brighten Godfrey, Thomas Jungblut, Konstantinos Karanasos, Jitendra Padhye, George Varghese
WANalytics: Geo-Distributed Analytics for a Data Intensive World. SIGMOD Conference (2015)
Lavanya Jose, Lisa Yan, George Varghese, Nick McKeown
Compiling Packet Programs to Reconfigurable Switches. NSDI (2015)
Ashish Vulimiri, Carlo Curino, Philip Brighten Godfrey, Thomas Jungblut, Jitu Padhye, George Varghese
Global Analytics in the Face of Bandwidth and Regulatory Constraints. NSDI (2015)
George Varghese
Technical Perspective: Treating Networks Like Programs. Commun. ACM 58 (11) (2015)
Lavanya Jose, Lisa Yan, Mohammad Alizadeh, George Varghese, Nick McKeown, Sachin Katti
High Speed Networks Need Proactive Congestion Control. HotNets (2015)
Anirudh Sivaraman, Mihai Budiu, Alvin Cheung, Changhoon Kim, Steve Licking, George Varghese, Hari Balakrishnan, Mohammad Alizadeh, Nick McKeown
Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed. CoRR (2015)
George Varghese
Life in the Fast Lane: Viewed from the Confluence Lens. Comput. Commun. Rev. 45 (1) (2015)
Ashish Vulimiri, Carlo Curino, Brighten Godfrey, Konstantinos Karanasos, George Varghese
WANalytics: Analytics for a Geo-Distributed Data-Intensive World. CIDR (2015)
George Varghese
On Technology Transfer. Comput. Commun. Rev. 45 (5) (2015)
Mohammad Alizadeh, Tom Edsall, Sarang Dharmapurikar, Ramanan Vaidyanathan, Kevin Chu, Andy Fingerhut, Vinh The Lam, Francis Matus, Rong Pan, Navindra Yadav, George Varghese
CONGA: distributed congestion-aware load balancing for datacenters. SIGCOMM (2014)
Ranjita Bhagwan, Rahul Kumar, Ramachandran Ramjee, George Varghese, Surjyakanta Mohapatra, Hemanth Manoharan, Piyush Shah
Adtributor: Revenue Debugging in Advertising Systems. NSDI (2014)
Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, David Walker
P4: programming protocol-independent packet processors. Comput. Commun. Rev. 44 (3) (2014)
Hongyi Zeng, Peyman Kazemian, George Varghese, Nick McKeown
Automatic Test Packet Generation. IEEE/ACM Trans. Netw. 22 (2) (2014)
Christos Kozanitis, Andrew Heiberg, George Varghese, Vineet Bafna
Using Genome Query Language to uncover genetic variation. Bioinform. 30 (1) (2014)
Radhika Niranjan Mysore, Ratul Mahajan, Amin Vahdat, George Varghese
Gestalt: Fast, Unified Fault Localization for Networked Systems. USENIX Annual Technical Conference (2014)
Myungjin Lee, Sharon Goldberg, Ramana Rao Kompella, George Varghese
FineComb: Measuring Microscopic Latency and Loss in the Presence of Reordering. IEEE/ACM Trans. Netw. 22 (4) (2014)
George Varghese
Keynote: life in the fast lane. SIGCOMM (2014)
Pat Bosshart, Glen Gibb, Hun-Seok Kim, George Varghese, Nick McKeown, Martin Izzard, Fernando A. Mujica, Mark Horowitz
Forwarding metamorphosis: fast programmable match-action processing in hardware for SDN. SIGCOMM (2013)
Peyman Kazemian, Michael Chan, Hongyi Zeng, George Varghese, Nick McKeown, Scott Whyte
Real Time Network Policy Checking Using Header Space Analysis. NSDI (2013)
Glen Gibb, George Varghese, Mark Horowitz, Nick McKeown
Design principles for packet parsers. ANCS (2013)
Jianjun Chen, Ashwin Machanavajjhala, George Varghese
Scalable Social Coordination with Group Constraints using Enmeshed Queries. CIDR (2013)
Anshul Rai, Ramachandran Ramjee, Ashok Anand, Venkata N. Padmanabhan, George Varghese
MiG: Efficient Migration of Desktop VMs Using Semantic Compression. USENIX Annual Technical Conference (2013)
Vineet Bafna, Alin Deutsch, Andrew Heiberg, Christos Kozanitis, Lucila Ohno-Machado, George Varghese
Abstractions for genomics. Commun. ACM 56 (1) (2013)
Pat Bosshart, Dan Daly, Martin Izzard, Nick McKeown, Jennifer Rexford, Dan Talayco, Amin Vahdat, George Varghese, David Walker
Programming Protocol-Independent Packet Processors. CoRR (2013)
George Varghese
We Don't Need No Stinking Databases in Genomics. CIDR (2013)
Michael Mitzenmacher, George Varghese
Biff (Bloom filter) codes: Fast error correction for large data sets. ISIT (2012)
Pavan K. Athivarapu, Ranjita Bhagwan, Saikat Guha, Vishnu Navda, Ramachandran Ramjee, Dushyant Arora, Venkata N. Padmanabhan, George Varghese
RadioJockey: mining program execution to optimize cellular radio usage. MobiCom (2012)
Jianjun Chen, Ashwin Machanavajjhala, George Varghese
Scalable Social Coordination using Enmeshed Queries CoRR (2012)
Hongyi Zeng, Peyman Kazemian, George Varghese, Nick McKeown
Automatic test packet generation. CoNEXT (2012)
Peyman Kazemian, George Varghese, Nick McKeown
Header Space Analysis: Static Checking for Networks. NSDI (2012)
Vinh The Lam, Sivasankar Radhakrishnan, Rong Pan, Amin Vahdat, George Varghese
Netshare and stochastic netshare: predictable bandwidth allocation for data centers. Comput. Commun. Rev. 42 (3) (2012)
Patrick R. Jordan, Uri Nadav, Kunal Punera, Andrzej Skrzypacz, George Varghese
Lattice games and the economics of aggregators. WWW (2012)
Sanjeev Jahagirdar, George Varghese, Inder Sodhi, Ryan Wells
Power management of the third generation intel core micro architecture formerly codenamed ivy bridge. Hot Chips Symposium (2012)
Michael Mitzenmacher, George Varghese
The complexity of object reconciliation, and open problems related to set difference and coding. Allerton Conference (2012)
Michael Mitzenmacher, George Varghese
Biff (Bloom Filter) Codes : Fast Error Correction for Large Data Sets CoRR (2012)
Ramana Rao Kompella, Kirill Levchenko, Alex C. Snoeren, George Varghese
Router Support for Fine-Grained Latency Measurements. IEEE/ACM Trans. Netw. 20 (3) (2012)
Satish Damaraju, George Varghese, Sanjeev Jahagirdar, Tanveer Khondker, Robert Milstrey, Sanjib Sarkar, Scott Siers, Israel Stolero, Arun Subbiah
A 22nm IA multi-CPU and GPU System-on-Chip. ISSCC (2012)
David Eppstein, Michael T. Goodrich, Frank C. Uyeda, George Varghese
What's the difference?: efficient set reconciliation without prior context. SIGCOMM (2011)
Marios Iliofotou, Hyunchul Kim, Michalis Faloutsos, Michael Mitzenmacher, Prashanth Pappu, George Varghese
Graption: A graph-based P2P traffic classification framework for the internet backbone. Comput. Networks 55 (8) (2011)
Myungjin Lee, Sharon Goldberg, Ramana Rao Kompella, George Varghese
Fine-grained latency and loss measurements in the presence of reordering. SIGMETRICS (2011)
Frank C. Uyeda, Luca Foschini, Fred Baker, Subhash Suri, George Varghese
Efficiently Measuring Bandwidth at All Time Scales. NSDI (2011)
Christos Kozanitis, Christopher T. Saunders, Semyon Kruglyak, Vineet Bafna, George Varghese
Compressing Genomic Sequence Fragments Using SlimGene. J. Comput. Biol. 18 (3) (2011)
Christos Kozanitis, Christopher T. Saunders, Semyon Kruglyak, Vineet Bafna, George Varghese
Compressing Genomic Sequence Fragments Using SlimGene. RECOMB (2010)
Christos Kozanitis, John Huber, Sushil Singh, George Varghese
Leaping Multiple Headers in a Single Bound: Wire-Speed Parsing Using the Kangaroo System. INFOCOM (2010)
Bhavish Agarwal, Aditya Akella, Ashok Anand, Athula Balachandran, Pushkar Chitnis, Chitra Muthukrishnan, Ramachandran Ramjee, George Varghese
EndRE: An End-System Redundancy Elimination Service for Enterprises. NSDI (2010)
George Varghese, F.-C. Zheng
A New Study on the Power Distribution of OFDMA, SC-FDMA and CP-CDMA Signals. VTC Spring (2010)
Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat
Difference engine: harnessing memory redundancy in virtual machines. Commun. ACM 53 (10) (2010)
Vinh The Lam, Michael Mitzenmacher, George Varghese
Carousel: Scalable Logging for Intrusion Prevention Systems. NSDI (2010)
Frank C. Uyeda, Diwaker Gupta, Amin Vahdat, George Varghese
GrassRoots: socially-driven web sites for the masses. WOSN (2009)
Anna Kaisa Pietiläinen, Earl Oliver, Jason LeBrun, George Varghese, Christophe Diot
MobiClique: middleware for mobile social networking. WOSN (2009)
Ramana Rao Kompella, Kirill Levchenko, Alex C. Snoeren, George Varghese
Every microsecond counts: tracking fine-grain latencies with a lossy difference aggregator. SIGCOMM (2009)
Marti A. Motoyama, George Varghese
I seek you: searching and matching individuals in social networks. WIDM (2009)
Ramana Rao Kompella, Alex C. Snoeren, George Varghese
mPlane: an architecture for scalable fault localization. ReArch@CoNEXT (2009)
Marti A. Motoyama, George Varghese
CrossTalk: scalably interconnecting instant messaging networks. WOSN (2009)
Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat
Difference Engine. login Usenix Mag. 34 (2) (2009)
Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat
Difference Engine: Harnessing Memory Redundancy in Virtual Machines. OSDI (2008)
Marios Iliofotou, Prashanth Pappu, Michalis Faloutsos, Michael Mitzenmacher, Sumeet Singh, George Varghese
Network monitoring using traffic dispersion graphs (tdgs). Internet Measurement Conference (2007)
Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, George Varghese
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock. IEEE Trans. Dependable Secur. Comput. 4 (3) (2007)
Sailesh Kumar, Balakrishnan Chandrasekaran, Jonathan S. Turner, George Varghese
Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia. ANCS (2007)
Ramana Rao Kompella, Sumeet Singh, George Varghese
On scalable attack detection in the network. IEEE/ACM Trans. Netw. 15 (1) (2007)
George Varghese
10 network papers that changed the world. Comput. Commun. Rev. 37 (5) (2007)
Florin Baboescu, Priyank Ramesh Warkhede, Subhash Suri, George Varghese
Fast packet classification for two-dimensional conflict-free filters. Comput. Networks 50 (11) (2006)
Flavio Bonomi, Michael Mitzenmacher, Rina Panigrahy, Sushil Singh, George Varghese
Beyond bloom filters: from approximate membership checks to approximate state machines. SIGCOMM (2006)
George Varghese, J. Andrew Fingerhut, Flavio Bonomi
Detecting evasion attacks at high speeds without reassembly. SIGCOMM (2006)
Fan R. K. Chung, Ronald L. Graham, Jia Mao, George Varghese
Parallelism versus Memory Allocation in Pipelined Router Forwarding Engines. Theory Comput. Syst. 39 (6) (2006)
Sumeet Singh, Scott Shenker, George Varghese
Service Portability. HotNets (2006)
Cristian Estan, George Varghese, Michael E. Fisk
Bitmap algorithms for counting active flows on high-speed links. IEEE/ACM Trans. Netw. 14 (5) (2006)
Flavio Bonomi, Michael Mitzenmacher, Rina Panigrahy, Sushil Singh, George Varghese
An Improved Construction for Counting Bloom Filters. ESA (2006)
Florin Baboescu, George Varghese
Scalable packet classification. IEEE/ACM Trans. Netw. 13 (1) (2005)
Jack Snoeyink, Subhash Suri, George Varghese
A lower bound for multicast key distribution. Comput. Networks 47 (3) (2005)
Benjamin J. Raphael, Lung-Tien Liu, George Varghese
A Uniform Projection Method for Motif Discovery in DNA Sequences. IEEE ACM Trans. Comput. Biol. Bioinform. 1 (2) (2004)
Cristian Estan, Ken Keys, David Moore, George Varghese
Building a better NetFlow. SIGCOMM (2004)
Nathan Tuck, Brad Calder, George Varghese
Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow. MICRO (2004)
Sumeet Singh, Cristian Estan, George Varghese, Stefan Savage
Automated Worm Fingerprinting. OSDI (2004)

George Varghese.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

George Varghese