George Varghese

Orcid: 0000-0002-8218-5701

Affiliations:
  • University of California, Los Angeles, CA, USA
  • Microsoft Research, USA (former)
  • University of California, San Diego, CA, USA (former)


According to our database1, George Varghese authored at least 178 papers between 1987 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Awards

ACM Fellow

ACM Fellow 2002, "For contributions to efficient scalable algorithms.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
MESSI: Behavioral Testing of BGP Implementations.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023
Extracting the Essential Simplicity of the Internet.
Commun. ACM, February, 2023

Tuneman: Customizing Networks to Guarantee Application Bandwidth and Latency.
ACM Trans. Internet Techn., 2023

Lightyear: Using Modularity to Scale BGP Control Plane Verification.
Proceedings of the ACM SIGCOMM 2023 Conference, 2023

What do LLMs need to Synthesize Correct Router Configurations?
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

2022
MashUp: Scaling TCAM-based IP Lookup to Larger Databases by Tiling Trees.
CoRR, 2022

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.
CoRR, 2022

SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers.
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

Revelio: ML-Generated Debugging Queries for Finding Root Causes in Distributed Systems.
Proceedings of Machine Learning and Systems 2022, 2022

2021
Revelio: ML-Generated Debugging Queries for Distributed Systems.
CoRR, 2021

Campion: debugging router configuration differences.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

How Complex is DNS?
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

2020
GRooT: Proactive Verification of DNS Configurations.
Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

Finding Network Misconfigurations by Automatic Template Inference.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019
An interview with Leonard Kleinrock.
Commun. ACM, 2019

2018
Resolving Policy Conflicts in Multi-Carrier Cellular Access.
Proceedings of the 24th Annual International Conference on Mobile Computing and Networking, 2018

2017
Correct by Construction Networks Using Stepwise Refinement.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016
Measurement Based Fair Queuing for Allocating Bandwidth to Virtual Machines.
Proceedings of the ACM SIGCOMM Workshop on Hot topics in Middleboxes and Network Function Virtualization, 2016

Packet Transactions: High-Level Programming for Line-Rate Switches.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Scaling network verification using symmetry and surgery.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Efficient Network Reachability Analysis Using a Succinct Control Plane Representation.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

ddNF: An Efficient Data Structure for Header Spaces.
Proceedings of the Hardware and Software: Verification and Testing, 2016

Network verification - When Clarke meets Cerf.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015
Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed.
CoRR, 2015

On Technology Transfer.
Comput. Commun. Rev., 2015

Life in the Fast Lane: Viewed from the Confluence Lens.
Comput. Commun. Rev., 2015

Technical Perspective: Treating Networks Like Programs.
Commun. ACM, 2015

WANalytics: Geo-Distributed Analytics for a Data Intensive World.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Global Analytics in the Face of Bandwidth and Regulatory Constraints.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Checking Beliefs in Dynamic Networks.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Compiling Packet Programs to Reconfigurable Switches.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

High Speed Networks Need Proactive Congestion Control.
Proceedings of the 14th ACM Workshop on Hot Topics in Networks, Philadelphia, PA, USA, November 16, 2015

WANalytics: Analytics for a Geo-Distributed Data-Intensive World.
Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014
Automatic Test Packet Generation.
IEEE/ACM Trans. Netw., 2014

FineComb: Measuring Microscopic Latency and Loss in the Presence of Reordering.
IEEE/ACM Trans. Netw., 2014

P4: programming protocol-independent packet processors.
Comput. Commun. Rev., 2014

Using Genome Query Language to uncover genetic variation.
Bioinform., 2014

Gestalt: Fast, Unified Fault Localization for Networked Systems.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Keynote: life in the fast lane.
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

CONGA: distributed congestion-aware load balancing for datacenters.
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Adtributor: Revenue Debugging in Advertising Systems.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013
Programming Protocol-Independent Packet Processors.
CoRR, 2013

Abstractions for genomics.
Commun. ACM, 2013

MiG: Efficient Migration of Desktop VMs Using Semantic Compression.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Forwarding metamorphosis: fast programmable match-action processing in hardware for SDN.
Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Real Time Network Policy Checking Using Header Space Analysis.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

We Don't Need No Stinking Databases in Genomics.
Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

Scalable Social Coordination with Group Constraints using Enmeshed Queries.
Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

Design principles for packet parsers.
Proceedings of the Symposium on Architecture for Networking and Communications Systems, 2013

2012
Router Support for Fine-Grained Latency Measurements.
IEEE/ACM Trans. Netw., 2012

Scalable Social Coordination using Enmeshed Queries
CoRR, 2012

Netshare and stochastic netshare: predictable bandwidth allocation for data centers.
Comput. Commun. Rev., 2012

Lattice games and the economics of aggregators.
Proceedings of the 21st World Wide Web Conference 2012, 2012

Header Space Analysis: Static Checking for Networks.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

RadioJockey: mining program execution to optimize cellular radio usage.
Proceedings of the 18th Annual International Conference on Mobile Computing and Networking, 2012

A 22nm IA multi-CPU and GPU System-on-Chip.
Proceedings of the 2012 IEEE International Solid-State Circuits Conference, 2012

Biff (Bloom filter) codes: Fast error correction for large data sets.
Proceedings of the 2012 IEEE International Symposium on Information Theory, 2012

Power management of the third generation intel core micro architecture formerly codenamed ivy bridge.
Proceedings of the 2012 IEEE Hot Chips 24 Symposium (HCS), 2012

The complexity of object reconciliation, and open problems related to set difference and coding.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Compressing Genomic Sequence Fragments Using SlimGene.
J. Comput. Biol., 2011

Graption: A graph-based P2P traffic classification framework for the internet backbone.
Comput. Networks, 2011

Fine-grained latency and loss measurements in the presence of reordering.
Proceedings of the SIGMETRICS 2011, 2011

What's the difference?: efficient set reconciliation without prior context.
Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

Efficiently Measuring Bandwidth at All Time Scales.
Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011

2010
Hash-Based Techniques for High-Speed Packet Processing.
Proceedings of the Algorithms for Next Generation Networks, 2010

Difference engine: harnessing memory redundancy in virtual machines.
Commun. ACM, 2010

A New Study on the Power Distribution of OFDMA, SC-FDMA and CP-CDMA Signals.
Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Carousel: Scalable Logging for Intrusion Prevention Systems.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

EndRE: An End-System Redundancy Elimination Service for Enterprises.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Leaping Multiple Headers in a Single Bound: Wire-Speed Parsing Using the Kangaroo System.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

2009
Difference Engine.
login Usenix Mag., 2009

I seek you: searching and matching individuals in social networks.
Proceedings of the 11th ACM International Workshop on Web Information and Data Management (WIDM 2009), 2009

GrassRoots: socially-driven web sites for the masses.
Proceedings of the 2nd ACM Workshop on Online Social Networks, 2009

MobiClique: middleware for mobile social networking.
Proceedings of the 2nd ACM Workshop on Online Social Networks, 2009

CrossTalk: scalably interconnecting instant messaging networks.
Proceedings of the 2nd ACM Workshop on Online Social Networks, 2009

Every microsecond counts: tracking fine-grain latencies with a lossy difference aggregator.
Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

mPlane: an architecture for scalable fault localization.
Proceedings of the 2009 workshop on Re-architecting the internet, ReArch@CoNEXT 2009, 2009

2007
On scalable attack detection in the network.
IEEE/ACM Trans. Netw., 2007

A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock.
IEEE Trans. Dependable Secur. Comput., 2007

10 network papers that changed the world.
Comput. Commun. Rev., 2007

Network monitoring using traffic dispersion graphs (tdgs).
Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference, 2007

Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia.
Proceedings of the 2007 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, 2007

2006
Bitmap algorithms for counting active flows on high-speed links.
IEEE/ACM Trans. Netw., 2006

Parallelism versus Memory Allocation in Pipelined Router Forwarding Engines.
Theory Comput. Syst., 2006

Fast packet classification for two-dimensional conflict-free filters.
Comput. Networks, 2006

Detecting evasion attacks at high speeds without reassembly.
Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

Beyond bloom filters: from approximate membership checks to approximate state machines.
Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

Service Portability.
Proceedings of the 5th ACM Workshop on Hot Topics in Networks, 2006

An Improved Construction for Counting Bloom Filters.
Proceedings of the Algorithms, 2006

2005
Scalable packet classification.
IEEE/ACM Trans. Netw., 2005

A lower bound for multicast key distribution.
Comput. Networks, 2005

2004
Dependable Message Delivery to Mobile Units.
Proceedings of the Mobile Computing Handbook., 2004

Light-weight multicast services (LMS): a router-assisted scheme for reliable multicast.
IEEE/ACM Trans. Netw., 2004

A Uniform Projection Method for Motif Discovery in DNA Sequences.
IEEE ACM Trans. Comput. Biol. Bioinform., 2004

Multiway range trees: scalable IP lookup with fast updates.
Comput. Networks, 2004

The measurement manifesto.
Comput. Commun. Rev., 2004

Tree bitmap: hardware/software IP lookups with incremental updates.
Comput. Commun. Rev., 2004

Parallelism versus memory allocation in pipelined router forwarding engines.
Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

Building a better NetFlow.
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004

Automated Worm Fingerprinting.
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Reduced state fair queuing for edge and core routers.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2004

Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow.
Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004

Deterministic Memory-Efficient String Matching Algorithms for Intrusion Detection.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

On the difficulty of scalably detecting network attacks.
Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2003
New directions in traffic measurement and accounting: Focusing on the elephants, ignoring the mice.
ACM Trans. Comput. Syst., 2003

Fast and scalable conflict detection for packet classifiers.
Comput. Networks, 2003

Efficient implementation of a statistics counter architecture.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003

Packet classification using multidimensional cutting.
Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003

The impact of address allocation and routing on the structure and implementation of routing tables.
Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003

Automatically inferring patterns of resource consumption in network traffic.
Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003

A Pipelined Memory Architecture for High Throughput Network Processors.
Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

Packet Classification for Core Routers: Is there an alternative to CAMs?
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

Catching Accurate Profiles in Hardwar.
Proceedings of the Ninth International Symposium on High-Performance Computer Architecture (HPCA'03), 2003

2002
Tracking Mobile Units for Dependable Message Delivery.
IEEE Trans. Software Eng., 2002

Counting the number of active flows on a high speed link.
Comput. Commun. Rev., 2002

New directions in traffic measurement and accounting.
Comput. Commun. Rev., 2002

Route flap damping exacerbates internet routing convergence.
Proceedings of the ACM SIGCOMM 2002 Conference on Applications, 2002

Agile and scalable analysis of network events.
Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, 2002

Automated measurement of high volume traffic clusters.
Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, 2002

2001
Design Methodology of a Low-Energy Reconfigurable Single-Chip DSP System.
J. VLSI Signal Process., 2001

Scalable high-speed prefix matching.
ACM Trans. Comput. Syst., 2001

Fast firewall implementations for software-based and hardware-based routers.
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

Fast Packet Classification for Two-Dimensional Conflict-Free Filters.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Reducing Web Latency Using Reference Point Caching.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Fast Firewall Implementations for Software and Hardware-Based Routers.
Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001

2000
Low-swing on-chip signaling techniques: effectiveness and robustness.
IEEE Trans. Very Large Scale Integr. Syst., 2000

Self-Stabilization by Counter Flushing.
SIAM J. Comput., 2000

A 1-V heterogeneous reconfigurable DSP IC for wireless baseband digital signal processing.
IEEE J. Solid State Circuits, 2000

The fault span of crash failures.
J. ACM, 2000

Memory-efficient state lookups with fast updates.
Proceedings of the ACM SIGCOMM 2000 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 28, 2000

The breakdown of a theory and the efforts to describe nature.
Proceedings of the University as a Bridge from Technology to Society: IEEE International Symposium on Technology and Society, 2000

1999
IP lookups using multiway and multicolumn search.
IEEE/ACM Trans. Netw., 1999

Fast Address Lookups Using Controlled Prefix Expansion.
ACM Trans. Comput. Syst., 1999

An architecture for packet-striping protocols.
ACM Trans. Comput. Syst., 1999

The FDDI MAC meets self-stabilization.
Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

Packet Filtering in High Speed Networks.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

Packet Classification Using Tuple Space Search.
Proceedings of the ACM SIGCOMM 1999 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 1999

A Survey of Recent IP Lookup Schemes;V.
Proceedings of the Protocols for High Speed Networks VI, 1999

The design of a low energy FPGA.
Proceedings of the 1999 International Symposium on Low Power Electronics and Design, 1999

HSRA: High-Speed, Hierarchical Synchroous Reconfigurable Array.
Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999

1998
Redesigning the BSD Timer Facilities.
Softw. Pract. Exp., 1998

Algorithmic Problems in Internet Research (Abstract).
Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, 1998

Faster IP Lookups Using Controlled Prefix Expansion.
Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1998

Fast and Scalable Layer Four Switching.
Proceedings of the ACM SIGCOMM 1998 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 31, 1998

Scalable Best Matching Prefix Lookups.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

Algorithmic Problems in Internet Research.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

Reconsidering Fragmentation and Reassembly.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

An Exercise in Formal Reasoning about Mobile Communications.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

An Error Control Scheme for Large-Scale Multicast Applications.
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1997
Hashed and hierarchical timing wheels: efficient data structures for implementing a timer facility.
IEEE/ACM Trans. Netw., 1997

Self-Stabilization by Tree Correction.
Chic. J. Theor. Comput. Sci., 1997

Compositional proofs of self-stabilizing protocols.
Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

Scalable High Speed IP Routing Lookups.
Proceedings of the ACM SIGCOMM 1997 Conference on Applications, 1997

Leap Forward Virtual Clock: A New Fair Queuing Scheme with Guaranteed Delays and Throughput Fairness.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

An Algorithm for Message Delivery to Mobile Units.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

The Complexity of Crash Failures.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Leap Forward Virtual Clock: A New Fair Queueing Scheme with Guaranteed Delays and Throughput Fairness.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

1996
Efficient fair queueing using deficit round-robin.
IEEE/ACM Trans. Netw., 1996

Trading packet headers for packet processing.
IEEE/ACM Trans. Netw., 1996

Self-stabilizing end-to-end communication.
J. High Speed Networks, 1996

Constraint satisfaction as a basis for designing nonmasking fault-tolerance.
J. High Speed Networks, 1996

A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack.
Inf. Comput., 1996

A Reliable and Scalable Striping Protocol.
Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996

Crash Failures can Drive Protocols to Arbitrary States.
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Self-Stabilization by Window Washing.
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995
Reliable and Efficient Hop-by-Hop Flow Control.
IEEE J. Sel. Areas Commun., 1995

Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols.
Inf. Process. Lett., 1995

1994
Self-Stabilization by Local Checking and Global Reset (Extended Abstract).
Proceedings of the Distributed Algorithms, 8th International Workshop, 1994

The pessimism behind optimistic simulation.
Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

Bounding the Unbounded.
Proceedings of the Proceedings IEEE INFOCOM '94, 1994

1993
Time optimal self-stabilizing synchronization.
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993

1992
A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols.
Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991
Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract)
Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

Self-Stabilization By Local Checking and Correction (Extended Abstract)
Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

1988
Choosing the appropriate ISO layer for LAN interconnection.
IEEE Netw., 1988

Pitfalls in the design of distributed routing algorithms.
Proceedings of the ACM Symposium on Communications Architectures and Protocols, 1988

1987
Transparent interconnection of incompatible local area networks using bridges.
Comput. Commun. Rev., 1987

Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987


  Loading...