George Varghese
13 papers · 2012–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π 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
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