George Varghese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
123
Venues
37
Active years
1987–2026
Best venue rank
A*
Where they publish
- A*SIGCOMM31 papers
- NationalNSDI15 papers
- A*PODC11 papers
- A*INFOCOM10 papers
- NationalHOTNETS7 papers
- AIMC5 papers
- A*SIGMETRICS4 papers
- A*OSDI3 papers
- ACIDR3 papers
- A*MOBICOM2 papers
- AUSENIX2 papers
- ACoNEXT2 papers
- BSPAA2 papers
- BICNP2 papers
- A*FOCS2 papers
- BFMCAD1 paper
- A*POPL1 paper
- A*SIGMOD1 paper
- BISIT1 paper
- A*WWW1 paper
- BRECOMB1 paper
- BVTC1 paper
- AESA1 paper
- A*CCS1 paper
- A*MICRO1 paper
- BNOSSDAV1 paper
- A*HPCA1 paper
- A*ISCA1 paper
- BGLOBECOM1 paper
- CISTAS1 paper
- AFPGA1 paper
- AISLPED1 paper
- A*SODA1 paper
- AICDCS1 paper
- BPADS1 paper
- A*STOC1 paper
- A*SOSP1 paper
Papers
123 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NSDI | Eywa: Automating Model-Based Testing using LLMs. | Rajdeep Mondal, Rathin Singha, Todd D. Millstein, George Varghese, Ryan Beckett, Siva Kesava Reddy Kakarla |
| 2025 | HOTNETS | Software Managed Networks via Coarsening. | Pradeep Dogga, Rachee Singh, Suman Nath, Ravi Netravali, Jens Palsberg, George Varghese |
| 2025 | HOTNETS | Tackling Ambiguity in User Intent for LLM-based Network Configuration Synthesis. | Rajdeep Mondal, Nikolaj S. Bjrner, Todd D. Millstein, Alan Tang, George Varghese |
| 2025 | NSDI | Scaling IP Lookup to Large Databases using the CRAM Lens. | Robert Chang, Pradeep Dogga, Andy Fingerhut, Victor Rios, George Varghese |
| 2024 | HOTNETS | If Layering is useful, why not Sublayering? | Rathin Singha, Rishabh R. Iyer, Charles Liu, Caleb Terrill, Todd D. Millstein, Scott Shenker, George Varghese |
| 2024 | NSDI | MESSI: Behavioral Testing of BGP Implementations. | Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd D. Millstein, George Varghese |
| 2023 | HOTNETS | What do LLMs need to Synthesize Correct Router Configurations? | Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2023 | SIGCOMM | Lightyear: Using Modularity to Scale BGP Control Plane Verification. | Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese |
| 2022 | NSDI | SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. | Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2021 | HOTNETS | How Complex is DNS? | Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese |
| 2021 | SIGCOMM | Campion: debugging router configuration differences. | Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2020 | NSDI | Finding Network Misconfigurations by Automatic Template Inference. | Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese |
| 2020 | SIGCOMM | GRooT: Proactive Verification of DNS Configurations. | Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd D. Millstein, George Varghese |
| 2018 | MOBICOM | Resolving Policy Conflicts in Multi-Carrier Cellular Access. | Zengwen Yuan, Qianru Li, Yuanjie Li, Songwu Lu, Chunyi Peng, George Varghese |
| 2017 | NSDI | Correct by Construction Networks Using Stepwise Refinement. | Leonid Ryzhyk, Nikolaj S. Bjrner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese |
| 2016 | FMCAD | Network verification - When Clarke meets Cerf. | George Varghese |
| 2016 | OSDI | Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. | Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese |
| 2016 | POPL | Scaling network verification using symmetry and surgery. | Gordon D. Plotkin, Nikolaj S. Bjrner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese |
| 2016 | SIGCOMM | Packet Transactions: High-Level Programming for Line-Rate Switches. | Anirudh Sivaraman, Alvin Cheung, Mihai Budiu, Changhoon Kim, Mohammad Alizadeh, Hari Balakrishnan, George Varghese, Nick McKeown, Steve Licking |
| 2016 | SIGCOMM | Measurement Based Fair Queuing for Allocating Bandwidth to Virtual Machines. | Khoa To, Daniel Firestone, George Varghese, Jitendra Padhye |
| 2015 | CIDR | WANalytics: Analytics for a Geo-Distributed Data-Intensive World. | Ashish Vulimiri, Carlo Curino, Brighten Godfrey, Konstantinos Karanasos, George Varghese |
| 2015 | HOTNETS | High Speed Networks Need Proactive Congestion Control. | Lavanya Jose, Lisa Yan, Mohammad Alizadeh, George Varghese, Nick McKeown, Sachin Katti |
| 2015 | NSDI | Compiling Packet Programs to Reconfigurable Switches. | Lavanya Jose, Lisa Yan, George Varghese, Nick McKeown |
| 2015 | NSDI | Checking Beliefs in Dynamic Networks. | Nuno P. Lopes, Nikolaj S. Bjrner, Patrice Godefroid, Karthick Jayaraman, George Varghese |
| 2015 | NSDI | Global Analytics in the Face of Bandwidth and Regulatory Constraints. | Ashish Vulimiri, Carlo Curino, Philip Brighten Godfrey, Thomas Jungblut, Jitu Padhye, George Varghese |
| 2015 | SIGMOD | WANalytics: Geo-Distributed Analytics for a Data Intensive World. | Ashish Vulimiri, Carlo Curino, Philip Brighten Godfrey, Thomas Jungblut, Konstantinos Karanasos, Jitendra Padhye, George Varghese |
| 2014 | NSDI | Adtributor: Revenue Debugging in Advertising Systems. | Ranjita Bhagwan, Rahul Kumar, Ramachandran Ramjee, George Varghese, Surjyakanta Mohapatra, Hemanth Manoharan, Piyush Shah |
| 2014 | SIGCOMM | CONGA: distributed congestion-aware load balancing for datacenters. | Mohammad Alizadeh, Tom Edsall, Sarang Dharmapurikar, Ramanan Vaidyanathan, Kevin Chu, Andy Fingerhut, Vinh The Lam, Francis Matus, Rong Pan, Navindra Yadav, George Varghese |
| 2014 | SIGCOMM | Keynote: life in the fast lane. | George Varghese |
| 2014 | USENIX | Gestalt: Fast, Unified Fault Localization for Networked Systems. | Radhika Niranjan Mysore, Ratul Mahajan, Amin Vahdat, George Varghese |
| 2013 | CIDR | Scalable Social Coordination with Group Constraints using Enmeshed Queries. | Jianjun Chen, Ashwin Machanavajjhala, George Varghese |
| 2013 | CIDR | We Don't Need No Stinking Databases in Genomics. | George Varghese |
| 2013 | NSDI | Real Time Network Policy Checking Using Header Space Analysis. | Peyman Kazemian, Michael Chan, Hongyi Zeng, George Varghese, Nick McKeown, Scott Whyte |
| 2013 | SIGCOMM | Forwarding metamorphosis: fast programmable match-action processing in hardware for SDN. | Pat Bosshart, Glen Gibb, Hun-Seok Kim, George Varghese, Nick McKeown, Martin Izzard, Fernando A. Mujica, Mark Horowitz |
| 2013 | USENIX | MiG: Efficient Migration of Desktop VMs Using Semantic Compression. | Anshul Rai, Ramachandran Ramjee, Ashok Anand, Venkata N. Padmanabhan, George Varghese |
| 2012 | CoNEXT | Automatic test packet generation. | Hongyi Zeng, Peyman Kazemian, George Varghese, Nick McKeown |
| 2012 | ISIT | Biff (Bloom filter) codes: Fast error correction for large data sets. | Michael Mitzenmacher, George Varghese |
| 2012 | MOBICOM | RadioJockey: mining program execution to optimize cellular radio usage. | Pavan K. Athivarapu, Ranjita Bhagwan, Saikat Guha, Vishnu Navda, Ramachandran Ramjee, Dushyant Arora, Venkata N. Padmanabhan, George Varghese |
| 2012 | NSDI | Header Space Analysis: Static Checking for Networks. | Peyman Kazemian, George Varghese, Nick McKeown |
| 2012 | WWW | Lattice games and the economics of aggregators. | Patrick R. Jordan, Uri Nadav, Kunal Punera, Andrzej Skrzypacz, George Varghese |
| 2011 | NSDI | Efficiently Measuring Bandwidth at All Time Scales. | Frank C. Uyeda, Luca Foschini, Fred Baker, Subhash Suri, George Varghese |
| 2011 | SIGCOMM | What's the difference?: efficient set reconciliation without prior context. | David Eppstein, Michael T. Goodrich, Frank C. Uyeda, George Varghese |
| 2011 | SIGMETRICS | Fine-grained latency and loss measurements in the presence of reordering. | Myungjin Lee, Sharon Goldberg, Ramana Rao Kompella, George Varghese |
| 2010 | INFOCOM | Leaping Multiple Headers in a Single Bound: Wire-Speed Parsing Using the Kangaroo System. | Christos Kozanitis, John Huber, Sushil Singh, George Varghese |
| 2010 | NSDI | EndRE: An End-System Redundancy Elimination Service for Enterprises. | Bhavish Agarwal, Aditya Akella, Ashok Anand, Athula Balachandran, Pushkar V. Chitnis, Chitra Muthukrishnan, Ramachandran Ramjee, George Varghese |
| 2010 | NSDI | Carousel: Scalable Logging for Intrusion Prevention Systems. | Vinh The Lam, Michael Mitzenmacher, George Varghese |
| 2010 | RECOMB | Compressing Genomic Sequence Fragments Using SlimGene. | Christos Kozanitis, Christopher T. Saunders, Semyon Kruglyak, Vineet Bafna, George Varghese |
| 2010 | VTC | A New Study on the Power Distribution of OFDMA, SC-FDMA and CP-CDMA Signals. | George Varghese, Fu-Chun Zheng |
| 2009 | CoNEXT | mPlane: an architecture for scalable fault localization. | Ramana Rao Kompella, Alex C. Snoeren, George Varghese |
| 2009 | SIGCOMM | Every microsecond counts: tracking fine-grain latencies with a lossy difference aggregator. | Ramana Rao Kompella, Kirill Levchenko, Alex C. Snoeren, George Varghese |
| 2009 | SIGCOMM | CrossTalk: scalably interconnecting instant messaging networks. | Marti A. Motoyama, George Varghese |
| 2009 | SIGCOMM | MobiClique: middleware for mobile social networking. | Anna Kaisa Pietilinen, Earl Oliver, Jason LeBrun, George Varghese, Christophe Diot |
| 2009 | SIGCOMM | GrassRoots: socially-driven web sites for the masses. | Frank C. Uyeda, Diwaker Gupta, Amin Vahdat, George Varghese |
| 2008 | OSDI | Difference Engine: Harnessing Memory Redundancy in Virtual Machines. | Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat |
| 2007 | IMC | Network monitoring using traffic dispersion graphs (tdgs). | Marios Iliofotou, Prashanth Pappu, Michalis Faloutsos, Michael Mitzenmacher, Sumeet Singh, George Varghese |
| 2006 | ESA | An Improved Construction for Counting Bloom Filters. | Flavio Bonomi, Michael Mitzenmacher, Rina Panigrahy, Sushil Singh, George Varghese |
| 2006 | HOTNETS | Service Portability. | Sumeet Singh, Scott Shenker, George Varghese |
| 2006 | SIGCOMM | Beyond bloom filters: from approximate membership checks to approximate state machines. | Flavio Bonomi, Michael Mitzenmacher, Rina Panigrahy, Sushil Singh, George Varghese |
| 2006 | SIGCOMM | Detecting evasion attacks at high speeds without reassembly. | George Varghese, J. Andrew Fingerhut, Flavio Bonomi |
| 2004 | CCS | On the difficulty of scalably detecting network attacks. | Kirill Levchenko, Ramamohan Paturi, George Varghese |
| 2004 | IMC | On scalable attack detection in the network. | Ramana Rao Kompella, Sumeet Singh, George Varghese |
| 2004 | INFOCOM | Deterministic Memory-Efficient String Matching Algorithms for Intrusion Detection. | Nathan Tuck, Timothy Sherwood, Brad Calder, George Varghese |
| 2004 | MICRO | Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow. | Nathan Tuck, Brad Calder, George Varghese |
| 2004 | NOSSDAV | Reduced state fair queuing for edge and core routers. | Ramana Rao Kompella, George Varghese |
| 2004 | OSDI | Automated Worm Fingerprinting. | Sumeet Singh, Cristian Estan, George Varghese, Stefan Savage |
| 2004 | SIGCOMM | Building a better NetFlow. | Cristian Estan, Ken Keys, David Moore, George Varghese |
| 2004 | SPAA | Parallelism versus memory allocation in pipelined router forwarding engines. | Fan R. K. Chung, Ronald L. Graham, George Varghese |
| 2003 | HPCA | Catching Accurate Profiles in Hardwar. | Satish Narayanasamy, Timothy Sherwood, Suleyman Sair, Brad Calder, George Varghese |
| 2003 | IMC | Bitmap algorithms for counting active flows on high speed links. | Cristian Estan, George Varghese, Mike Fisk |
| 2003 | INFOCOM | Packet Classification for Core Routers: Is there an alternative to CAMs? | Florin Baboescu, Sumeet Singh, George Varghese |
| 2003 | ISCA | A Pipelined Memory Architecture for High Throughput Network Processors. | Timothy Sherwood, George Varghese, Brad Calder |
| 2003 | SIGCOMM | Automatically inferring patterns of resource consumption in network traffic. | Cristian Estan, Stefan Savage, George Varghese |
| 2003 | SIGCOMM | The impact of address allocation and routing on the structure and implementation of routing tables. | Harsha Narayan, Ramesh Govindan, George Varghese |
| 2003 | SIGCOMM | Packet classification using multidimensional cutting. | Sumeet Singh, Florin Baboescu, George Varghese, Jia Wang |
| 2003 | SIGMETRICS | Efficient implementation of a statistics counter architecture. | Sriram Ramabhadran, George Varghese |
| 2002 | ICNP | Fast and Scalable Conflict Detection for Packet Classifiers. | Florin Baboescu, George Varghese |
| 2002 | IMC | Automated measurement of high volume traffic clusters. | Cristian Estan, Stefan Savage, George Varghese |
| 2002 | IMC | Agile and scalable analysis of network events. | Mike Fisk, George Varghese |
| 2002 | SIGCOMM | New directions in traffic measurement and accounting. | Cristian Estan, George Varghese |
| 2002 | SIGCOMM | Route flap damping exacerbates internet routing convergence. | Zhuoqing Morley Mao, Ramesh Govindan, George Varghese, Randy H. Katz |
| 2001 | GLOBECOM | Multiway range trees: scalable IP lookup with fast updates. | Subhash Suri, George Varghese, Priyank Ramesh Warkhede |
| 2001 | ICNP | Fast Firewall Implementations for Software and Hardware-Based Routers. | Lili Qiu, George Varghese, Subhash Suri |
| 2001 | INFOCOM | Reducing Web Latency Using Reference Point Caching. | Girish P. Chandranmenon, George Varghese |
| 2001 | INFOCOM | A Lower Bound for Multicast Key Distribution. | Jack Snoeyink, Subhash Suri, George Varghese |
| 2001 | INFOCOM | Fast Packet Classification for Two-Dimensional Conflict-Free Filters. | Priyank Ramesh Warkhede, Subhash Suri, George Varghese |
| 2001 | SIGCOMM | Scalable packet classification. | Florin Baboescu, George Varghese |
| 2001 | SIGMETRICS | Fast firewall implementations for software-based and hardware-based routers. | Lili Qiu, George Varghese, Subhash Suri |
| 2000 | ISTAS | The breakdown of a theory and the efforts to describe nature. | George Varghese |
| 2000 | SIGCOMM | Memory-efficient state lookups with fast updates. | Sandeep Sikka, George Varghese |
| 1999 | FPGA | HSRA: High-Speed, Hierarchical Synchroous Reconfigurable Array. | William Tsu, Kip Macy, Atul Joshi, Randy Huang, Norman Walker, Tony Tung, Omid Rowhani, George Varghese, John Wawrzynek, Andr DeHon |
| 1999 | ISLPED | The design of a low energy FPGA. | George Varghese, Hui Zhang, Jan M. Rabaey |
| 1999 | SODA | Packet Filtering in High Speed Networks. | Subhash Suri, George Varghese |
| 1999 | SIGCOMM | Packet Classification Using Tuple Space Search. | Venkatachary Srinivasan, Subhash Suri, George Varghese |
| 1998 | INFOCOM | IP Lookups Using Multiway and Multicolumn Search. | Butler W. Lampson, Venkatachary Srinivasan, George Varghese |
| 1998 | INFOCOM | An Error Control Scheme for Large-Scale Multicast Applications. | Christos Papadopoulos, Guru M. Parulkar, George Varghese |
| 1998 | PODC | Reconsidering Fragmentation and Reassembly. | Girish P. Chandranmenon, George Varghese |
| 1998 | PODC | An Error Control Scheme for Large-Scale Multicast Applications. | Christos Papadopoulos, Guru M. Parulkar, George Varghese |
| 1998 | PODC | Algorithmic Problems in Internet Research. | George Varghese |
| 1998 | PODC | Scalable Best Matching Prefix Lookups. | Marcel Waldvogel, George Varghese, Jonathan S. Turner, Bernhard Plattner |
| 1998 | SIGCOMM | Fast and Scalable Layer Four Switching. | Venkatachary Srinivasan, George Varghese, Subhash Suri, Marcel Waldvogel |
| 1998 | SIGMETRICS | Faster IP Lookups Using Controlled Prefix Expansion. | Venkatachary Srinivasan, George Varghese |
| 1998 | SPAA | Algorithmic Problems in Internet Research (Abstract). | George Varghese |
| 1997 | INFOCOM | Leap Forward Virtual Clock: A New Fair Queueing Scheme with Guaranteed Delays and Throughput Fairness. | Subhash Suri, George Varghese, Girish P. Chandranmenon |
| 1997 | PODC | The Complexity of Crash Failures. | Mahesh Jayaram, George Varghese |
| 1997 | PODC | An Algorithm for Message Delivery to Mobile Units. | Amy L. Murphy, Gruia-Catalin Roman, George Varghese |
| 1997 | PODC | Leap Forward Virtual Clock: A New Fair Queuing Scheme with Guaranteed Delays and Throughput Fairness. | Subhash Suri, George Varghese, Girish P. Chandranmenon |
| 1997 | SIGCOMM | Scalable High Speed IP Routing Lookups. | Marcel Waldvogel, George Varghese, Jonathan S. Turner, Bernhard Plattner |
| 1996 | PODC | Self-Stabilization by Window Washing. | Adam M. Costello, George Varghese |
| 1996 | PODC | Crash Failures can Drive Protocols to Arbitrary States. | Mahesh Jayaram, George Varghese |
| 1996 | SIGCOMM | A Reliable and Scalable Striping Protocol. | Hari Adiseshu, Guru M. Parulkar, George Varghese |
| 1995 | SIGCOMM | Trading Packet Headers for Packet Processing. | Girish P. Chandranmenon, George Varghese |
| 1995 | SIGCOMM | Efficient Fair Queueing Using Deficit Round Robin. | M. Shreedhar, George Varghese |
| 1994 | ICDCS | Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. | Anish Arora, Mohamed G. Gouda, George Varghese |
| 1994 | INFOCOM | Bounding the Unbounded. | Baruch Awerbuch, Boaz Patt-Shamir, George Varghese |
| 1994 | PADS | The pessimism behind optimistic simulation. | George Varghese, Roger D. Chamberlain, William E. Weihl |
| 1994 | PODC | Self-Stabilization by Counter Flushing. | George Varghese |
| 1994 | SIGCOMM | Reliable and Efficient Hop-by-Hop Flow Control. | Cneyt M. zveren, Robert J. Simcoe, George Varghese |
| 1993 | STOC | Time optimal self-stabilizing synchronization. | Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, George Varghese |
| 1992 | PODC | A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols. | George Varghese, Nancy A. Lynch |
| 1991 | FOCS | Self-Stabilization By Local Checking and Correction (Extended Abstract) | Baruch Awerbuch, Boaz Patt-Shamir, George Varghese |
| 1991 | FOCS | Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract) | Baruch Awerbuch, George Varghese |
| 1988 | SIGCOMM | Pitfalls in the design of distributed routing algorithms. | Radia J. Perlman, George Varghese |
| 1987 | SOSP | Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility. | George Varghese, Anthony Lauck |