Siva Kesava Reddy Kakarla
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 14 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… | ||
| Heuristic Analysis from Source Code via Symbolic-Guided Optimization | NSDI '26 | 2026-05-04 |
MetaEase analyzes heuristic source code directly, using symbolic execution (KLEE) to generate seeds per code path and a duality-based gradient for the optimal… | ||
| Diffy: Data-Driven Bug Finding for Configurations | PLDI 2024 | 2024-06-24 |
Diffy automatically synthesizes structured configuration templates with holes, then flags anomalous template parameters using unsupervised anomaly detection… | ||
| 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… | ||
| nothing matches | ||