George Varghese
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- NSDI2 editions2013–2020
all 5 in the filters
on a stage with
all 17 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Eywa: Automating Model-Based Testing using LLMs | NSDI '26 | 2026-05-04 |
Eywa uses LLMs to synthesize modular, executable protocol models (converted to code and composed via dependency graphs) and then drives KLEE-style symbolic… | ||
| Scaling IP Lookup to Large Databases using the CRAM Lens | NSDI '25 | 2025-04-28 |
A formal CRAM lens evaluation shows concrete mappings and tradeoffs for RMT/DRMT chips: a DAG-based CRA model plus eight optimization idioms predicts memory… | ||
| MESSI: Behavioral Testing of BGP Implementations | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
MESSI is a model-based tester that symbolically generates joint configuration–state–route triples to exercise BGP behavior, producing about 150K tests and… | ||
| SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
SCALE uses an executable RFC model to jointly generate zone files and queries and Ferret runs those tests against real servers. The pipeline uses the Zen… | ||
| Finding Network Misconfigurations by Automatic Template Inference | NSDI 2020 | 2020-02-25 |
Automatic inference groups similar router config snippets into parameterized templates and flags small groups as outliers; implemented in the tool SelfStarter… | ||
| Real Time Network Policy Checking Using Header Space Analysis | NSDI 2013 | 2013-04-02 |
NetPlumber implements Header Space Analysis as an incremental checker that builds a dependency graph of individual forwarding rules and updates only the… | ||
| nothing matches | ||