Paving the Way for NFV: Simplifying Middlebox Modifications Using StateAlyzr. - Junaid Khalid; Aaron Gember-Jacobson; Roney Michael; Anubhavnidhi Abhashkumar; Aditya Akella (NSDI, 2016)

Supporting Diverse Dynamic Intent-based Policies using Janus. - Anubhavnidhi Abhashkumar; Joon-Myung Kang; Sujata Banerjee; Aditya Akella; Ying Zhang 022; Wenfei Wu (CoNEXT, 2017)

P5: Policy-driven optimization of P4 pipeline. - Anubhavnidhi Abhashkumar; Jeongkeun Lee; Jean Tourrilhes; Sujata Banerjee; Wenfei Wu; Joon-Myung Kang; Aditya Akella (SOSR, 2017)

Tiramisu: Fast and General Network Verification. - Anubhavnidhi Abhashkumar; Aaron Gember-Jacobson; Aditya Akella (CoRR, 2019)

D2R: Dataplane-Only Policy-Compliant Routing Under Failures. - Kausik Subramanian; Anubhavnidhi Abhashkumar; Loris D'Antoni; Aditya Akella (CoRR, 2019)

AED: incrementally synthesizing policy-compliant and manageable configurations. - Anubhavnidhi Abhashkumar; Aaron Gember-Jacobson; Aditya Akella (CoNEXT, 2020)

Tiramisu: Fast Multilayer Network Verification. - Anubhavnidhi Abhashkumar; Aaron Gember-Jacobson; Aditya Akella (NSDI, 2020)

Liveness Verification of Stateful Network Functions. - Farnaz Yousefi; Anubhavnidhi Abhashkumar; Kausik Subramanian; Kartik Hans; Soudeh Ghorbani; Aditya Akella (NSDI, 2020)

Detecting network load violations for distributed control planes. - Kausik Subramanian; Anubhavnidhi Abhashkumar; Loris D'Antoni; Aditya Akella (PLDI, 2020)

Running BGP in Data Centers at Scale. - Anubhavnidhi Abhashkumar; Kausik Subramanian; Alexey Andreyev; Hyojeong Kim; Nanda Kishore Salem; Jingyi Yang; Petr Lapukhov; Aditya Akella; Hongyi Zeng (NSDI, 2021)

D2R: Policy-Compliant Fast Reroute. - Kausik Subramanian; Anubhavnidhi Abhashkumar; Loris D'Antoni; Aditya Akella (SOSR, 2021)

Scaling Data Plane Verification via Parallelization. - Sisi Wen; Anubhavnidhi Abhashkumar; Chenyang Zhao 005; Weirong Jiang (APNet, 2024)

Automatic Configuration Repair. - Xu Liu 013; Peng Zhang 011; Anubhavnidhi Abhashkumar; Jiawei Chen; Weirong Jiang (HotNets, 2024)

Crescent: Emulating Heterogeneous Production Network at Scale. - Zhaoyu Gao; Anubhavnidhi Abhashkumar; Zhen Sun; Weirong Jiang; Yi Wang (NSDI, 2024)

NetAssistant: Dialogue Based Network Diagnosis in Data Center Networks. - Haopei Wang; Anubhavnidhi Abhashkumar; Changyu Lin; Tianrong Zhang; Xiaoming Gu; Ning Ma; Chang Wu; Songlin Liu; Wei Zhou; Yongbin Dong; Weirong Jiang; Yi Wang (NSDI, 2024)