George Varghese

14 papers · 2012–2026 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+7 more ↓

🗺️ Taxonomy Completionist (13) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird

🧬 Topic Evolution 🏆 Keyword Champion (3) 🧭 Keyword Pioneer 🗃️ Keyword Collector (63) 🔥 Unstoppable · Bronze 💎 Century Club · Bronze 🚀 Conference Pioneer

Venues

NSDI (12) NeurIPS (1) OSDI (1)

Top co-authors

Todd Millstein (5) Siva Kesava Reddy Kakarla (4) Ryan Beckett (4) Nick McKeown (3) Rathin Singha (2) Karthick Jayaraman (2) Peyman Kazemian (2) Rajdeep Mondal (2) Nikolaj Bjørner (2) Rahul Kumar (1)

Research topics

Computer Science (4) Machine Learning (4) Applications (3) Systems (3) Optimization & Theory (2) Artificial Intelligence (1) Deep Learning (1) Natural Language Processing (1) Application Areas (1) Core AI (1) Foundations (1) Generation (1) Learning Types (1) Models (1) Resources & Methods (1)

Keywords

formal verification (3) network verification (3) model-based testing (2) automated testing (2) bug detection (2) hallucination mitigation (1) software-defined networking (1) network analysis (1) software testing (1) test generation (1) outlier detection (1) stepwise refinement (1) vulnerability detection (1) network controller (1) control plane (1) model checking (1) network security (1) border gateway protocol (1) network configuration (1) code generation (1)

Papers

Eywa: Automating Model-Based Testing using LLMs NSDI 2026 Scaling IP Lookup to Large Databases using the CRAM Lens NSDI 2025 MESSI: Behavioral Testing of BGP Implementations NSDI 2024 Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages NeurIPS 2024 SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers NSDI 2022 Finding Network Misconfigurations by Automatic Template Inference NSDI 2020 Correct by Construction Networks Using Stepwise Refinement NSDI 2017 Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016 Checking Beliefs in Dynamic Networks NSDI 2015 Compiling Packet Programs to Reconfigurable Switches NSDI 2015 Global Analytics in the Face of Bandwidth and Regulatory Constraints NSDI 2015 Adtributor: Revenue Debugging in Advertising Systems NSDI 2014 Real Time Network Policy Checking Using Header Space Analysis NSDI 2013 Header Space Analysis: Static Checking for Networks NSDI 2012