George Varghese

13 papers · 2012–2025 · 3 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (3) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (3) 🐣 Hot Topic Early Bird 🏃 Academic Marathon (13) 🧭 Keyword Pioneer 🔥 Unstoppable (6) 💎 Century Club (13) 🚀 Conference Pioneer 🗃️ Keyword Collector (54)

Conferences

NSDI (11) NIPS (1) OSDI (1)

Top co-authors

Todd Millstein (4) Siva Kesava Reddy Kakarla (3) Nick McKeown (3) Ryan Beckett (3) Karthick Jayaraman (2) Nikolaj Bjørner (2) Peyman Kazemian (2) Rahul Kumar (1) Federico Mora (1) Tushar Sharma (1)

Keywords

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

Papers

Scaling IP Lookup to Large Databases using the CRAM Lens NSDI 2025

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages NIPS 2024

MESSI: Behavioral Testing of BGP Implementations NSDI 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

Global Analytics in the Face of Bandwidth and Regulatory Constraints NSDI 2015

Compiling Packet Programs to Reconfigurable Switches 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