Siva Kesava Reddy Kakarla

5 papers · 2020–2026 · 1 venue · 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 ↓

🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10)

Venues

NSDI (5)

Top co-authors

Ryan Beckett (5) Todd Millstein (4) George Varghese (4) Rathin Singha (2) Rajdeep Mondal (2) Santiago Segarra (1) Mohammad Alizadeh (1) Behnaz Arzani (1) Karthick Jayaraman (1) Alan Tang (1)

Research topics

Computer Science (3) Machine Learning (2) Applications (2) Systems (2) Artificial Intelligence (1) Deep Learning (1) Mathematics & Optimization (1) Core AI (1) Foundations (1) Learning Types (1) Models (1) Optimization (1) Optimization & Theory (1)

Keywords

automated testing (2) model-based testing (2) worst-case analysis (1) vulnerability detection (1) test generation (1) software testing (1) bug detection (1) route filtering (1) software verification (1) border gateway protocol (1) traffic engineering (1) stateful protocol (1) network verification (1) network protocol (1) hallucination mitigation (1) black-box testing (1) protocol verification (1) fuzz testing (1) outlier detection (1) constraint solving (1)

Papers

Eywa: Automating Model-Based Testing using LLMs NSDI 2026 Heuristic Analysis from Source Code via Symbolic-Guided Optimization NSDI 2026 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