George Varghese

According to our database1, George Varghese authored at least 174 papers between 1987 and 2017.

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 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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.
Computer Communication Review, 2015

Life in the Fast Lane: Viewed from the Confluence Lens.
Computer Communication Review, 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 CIDR 2015, 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.
Computer Communication Review, 2014

Using Genome Query Language to uncover genetic variation.
Bioinformatics, 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 CIDR 2013, 2013

Scalable Social Coordination with Group Constraints using Enmeshed Queries.
Proceedings of the CIDR 2013, 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

Biff (Bloom Filter) Codes : Fast Error Correction for Large Data Sets
CoRR, 2012

Scalable Social Coordination using Enmeshed Queries
CoRR, 2012

Netshare and stochastic netshare: predictable bandwidth allocation for data centers.
Computer Communication Review, 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

Automatic test packet generation.
Proceedings of the Conference on emerging Networking Experiments and Technologies, 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.
Journal of Computational Biology, 2011

Graption: A graph-based P2P traffic classification framework for the internet backbone.
Computer 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
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

Compressing Genomic Sequence Fragments Using SlimGene.
Proceedings of the Research in Computational Molecular Biology, 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
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

2008
Difference Engine: Harnessing Memory Redundancy in Virtual Machines.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

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 Sec. Comput., 2007

10 network papers that changed the world.
Computer Communication Review, 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.
Computer 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.
Computer 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. Biology Bioinform., 2004

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

The measurement manifesto.
Computer Communication Review, 2004

Tree bitmap: hardware/software IP lookups with incremental updates.
Computer Communication Review, 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 scalable attack detection in the network.
Proceedings of the 4th ACM SIGCOMM Internet Measurement Conference, 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.
Computer 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

Bitmap algorithms for counting active flows on high speed links.
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 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.
Computer Communication Review, 2002

New directions in traffic measurement and accounting.
Computer Communication Review, 2002

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

New directions in traffic measurement and accounting.
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

Fast and Scalable Conflict Detection for Packet Classifiers.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001
Design Methodology of a Low-Energy Reconfigurable Single-Chip DSP System.
VLSI Signal Processing, 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

Scalable packet classification.
SIGCOMM, 2001

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

A Lower Bound for Multicast Key Distribution.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

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

New directions in traffic measurement and accounting.
Proceedings of the 1st ACM SIGCOMM Internet Measurement Workshop, 2001

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

Multiway range trees: scalable IP lookup with fast updates.
Proceedings of the Global Telecommunications Conference, 2001

2000
Low-swing on-chip signaling techniques: effectiveness and robustness.
IEEE Trans. VLSI Syst., 2000

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

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

Memory-efficient state lookups with fast updates.
SIGCOMM, 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.
SIGCOMM, 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. Exper., 1998

Algorithmic Problems in Internet Research (Abstract).
SPAA, 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.
SIGCOMM, 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

An Error Control Scheme for Large-Scale Multicast Applications.
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 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

IP Lookups Using Multiway and Multicolumn Search.
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.
Chicago 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 Journal on Selected Areas in Communications, 1995

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

Efficient Fair Queueing Using Deficit Round Robin.
Proceedings of the ACM SIGCOMM 1995 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Cambridge, MA, USA, August 28, 1995

Trading Packet Headers for Packet Processing.
Proceedings of the ACM SIGCOMM 1995 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Cambridge, MA, USA, August 28, 1995

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

Reliable and Efficient Hop-by-Hop Flow Control.
Proceedings of the ACM SIGCOMM '94 Conference on Communications Architectures, Protocols and Applications, London, UK, August 31, 1994

Self-Stabilization by Counter Flushing.
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

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

Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.
Proceedings of the Specification of Parallel Algorithms, 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

1990
Transparent Interconnection of Incompatible Local Area Networks Using Bridges.
IEEE Journal on Selected Areas in Communications, 1990

1988
Pitfalls in the design of distributed routing algorithms.
Proceedings of the SIGCOMM '88, 1988

1987
Transparent interconnection of incompatible local area networks using bridges.
Computer Communication Review, 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...