Paving the way for NFV: simplifying middlebox modifications using StateAlyzr

Junaid Khalid , Aaron Gember-Jacobson , Aditya Akella , Anubhavnidhi Abhashkumar
networked systems design and implementation 239 -253

60
2016
StateAlyzr: Deep Diving into Middlebox State to Enable Distributed Processing

Junaid Khalid , Aaron Gember-Jacobson , Aditya Akella , Anubhavnidhi Abhashkumar

1
2016
Liveness Verification of Stateful Network Functions.

Soudeh Ghorbani , Aditya Akella , Anubhavnidhi Abhashkumar , Kausik Subramanian
networked systems design and implementation 257 -272

4
2020
Tiramisu: Fast Multilayer Network Verification

Aaron Gember-Jacobson , Aditya Akella , Anubhavnidhi Abhashkumar
networked systems design and implementation 201 -219

42
2020
Running BGP in Data Centers at Scale.

Aditya Akella , Anubhavnidhi Abhashkumar , Kausik Subramanian , Alexey Andreyev
networked systems design and implementation 65 -81

2021
Supporting Diverse Dynamic Intent-based Policies using Janus

Anubhavnidhi Abhashkumar , Joon-Myung Kang , Sujata Banerjee , Aditya Akella
conference on emerging network experiment and technology 296 -309

53
2017
P5: Policy-driven optimization of P4 pipeline

Anubhavnidhi Abhashkumar , Jeongkeun Lee , Jean Tourrilhes , Sujata Banerjee
symposium on sdn research 136 -142

9
2017
Detecting network load violations for distributed control planes

Kausik Subramanian , Anubhavnidhi Abhashkumar , Loris D'Antoni , Aditya Akella
programming language design and implementation 974 -988

2
2020
AED: incrementally synthesizing policy-compliant and manageable configurations

Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , Aditya Akella
conference on emerging network experiment and technology 482 -495

14
2020
D2r: Policy-compliant fast reroute

Kausik Subramanian , Anubhavnidhi Abhashkumar , Loris D'Antoni , Aditya Akella
Smpte Journal 148 -161

6
2021
Tiramisu: Fast and general network verification

Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , Aditya Akella
arXiv preprint arXiv:1906.02043

15
2019
D2R: Dataplane-only policy-compliant routing under failures

Kausik Subramanian , Anubhavnidhi Abhashkumar , Loris D'Antoni , Aditya Akella
arXiv preprint arXiv:1912.02402

3
2019
Liveness Verification of Stateful Networks

Soudeh Ghorbani , Anubhavnidhi Abhashkumar , Kausik Subramanian , Aditya Akella
Under Submission

1
Generating composite network policy

Joon Myung Kang , Anubhavnidhi Abhashkumar , Sujata Banerjee , Ying Zhang

35
2020
1
2014
{NetAssistant}: Dialogue Based Network Diagnosis in Data Center Networks

Haopei Wang , Anubhavnidhi Abhashkumar , Changyu Lin , Tianrong Zhang
21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24) 2011 -2024

2024
Crescent: Emulating Heterogeneous Production Network at Scale

Zhaoyu Gao , Anubhavnidhi Abhashkumar , Zhen Sun , Weirong Jiang
21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24) 1045 -1062

2024
Large Scale Empirical Comparison of Linear Classifiers for Multi-class Problems

Ayon Sen , Ashwin Karthi Narayanaswamy , Anubhavnidhi Abhashkumar