Anubhavnidhi Abhashkumar

6 papers · 2016–2024 · 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 · Silver 🌈 Renaissance Researcher (5)

Venues

NSDI (6)

Top co-authors

Aditya Akella (4) Weirong Jiang (2) Kausik Subramanian (2) Yi Wang (2) Aaron Gember-Jacobson (2) Hyojeong Kim (1) Haopei Wang (1) Songlin Liu (1) Ning Ma (1) Wei Zhou (1)

Research topics

Mathematics & Optimization (2) Artificial Intelligence (1) Computer Science (1) Knowledge & Reasoning (1) Machine Learning (1) Natural Language Processing (1) Application Areas (1) Core AI (1) Foundations (1) Generation (1) Mathematics (1) Optimization (1) Reasoning (1) Systems (1)

Keywords

datacenter network (2) network verification (2) formal verification (1) network diagnosis (1) stateful network function (1) bgp routing (1) routing policy (1) control plane (1) border gateway protocol (1) data center routing (1) autonomous system number (1) route summarization (1) policy control (1) network virtualization (1) property checking (1) multilayer graph (1) failure verification (1) network emulation (1) graph partition (1) testbed deployment (1)

Papers

Crescent: Emulating Heterogeneous Production Network at Scale NSDI 2024 NetAssistant: Dialogue Based Network Diagnosis in Data Center Networks NSDI 2024 Running BGP in Data Centers at Scale NSDI 2021 Liveness Verification of Stateful Network Functions NSDI 2020 Tiramisu: Fast Multilayer Network Verification NSDI 2020 Paving the Way for NFV: Simplifying Middlebox Modifications Using StateAlyzr NSDI 2016