Paving the way for {NFV}: Simplifying middlebox modifications using {StateAlyzr} J Khalid, A Gember-Jacobson, R Michael, A Abhashkumar, A Akella 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2016 | 112 | 2016 |
Supporting diverse dynamic intent-based policies using janus A Abhashkumar, JM Kang, S Banerjee, A Akella, Y Zhang, W Wu Proceedings of the 13th International Conference on emerging Networking …, 2017 | 92 | 2017 |
Tiramisu: Fast multilayer network verification A Abhashkumar, A Gember-Jacobson, A Akella 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020 | 88 | 2020 |
P5: Policy-driven optimization of p4 pipeline A Abhashkumar, J Lee, J Tourrilhes, S Banerjee, W Wu, JM Kang, ... Proceedings of the Symposium on SDN Research, 136-142, 2017 | 38 | 2017 |
Aed: Incrementally synthesizing policy-compliant and manageable configurations A Abhashkumar, A Gember-Jacobson, A Akella Proceedings of the 16th International Conference on emerging Networking …, 2020 | 33 | 2020 |
Running {BGP} in Data Centers at Scale A Abhashkumar, K Subramanian, A Andreyev, H Kim, NK Salem, J Yang, ... 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021 | 25 | 2021 |
Liveness verification of stateful network functions F Yousefi, A Abhashkumar, K Subramanian, K Hans, S Ghorbani, A Akella 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020 | 25 | 2020 |
Detecting network load violations for distributed control planes K Subramanian, A Abhashkumar, L D'Antoni, A Akella Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 20 | 2020 |
Tiramisu: Fast and general network verification A Abhashkumar, A Gember-Jacobson, A Akella arXiv preprint arXiv:1906.02043, 2019 | 18 | 2019 |
D2r: Policy-compliant fast reroute K Subramanian, A Abhashkumar, L D'Antoni, A Akella Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR), 148-161, 2021 | 13 | 2021 |
D2R: Dataplane-only policy-compliant routing under failures K Subramanian, A Abhashkumar, L D'Antoni, A Akella arXiv preprint arXiv:1912.02402, 2019 | 4 | 2019 |
Scaling Data Plane Verification via Parallelization S Wen, A Abhashkumar, C Zhao, W Jiang Proceedings of the 8th Asia-Pacific Workshop on Networking, 81-87, 2024 | 1 | 2024 |
{NetAssistant}: Dialogue Based Network Diagnosis in Data Center Networks H Wang, A Abhashkumar, C Lin, T Zhang, X Gu, N Ma, C Wu, S Liu, ... 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024 | 1 | 2024 |
Crescent: Emulating Heterogeneous Production Network at Scale Z Gao, A Abhashkumar, Z Sun, W Jiang, Y Wang 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024 | 1 | 2024 |
Generating composite network policy JM Kang, A Abhashkumar, S Banerjee, Y Zhang, W Wu US Patent 10,812,342, 2020 | 1 | 2020 |
StateAlyzr: Deep Diving into Middlebox State to Enable Distributed Processing J Khalid, A Gember-Jacobson, R Michael, A Abhashkumar, A Akella | 1 | 2016 |
Implementing an intrusion detection system using a decision tree A Abhashkumar, R Michael | 1 | 2014 |
Liveness Verification of Stateful Networks S Ghorbani, A Abhashkumar, K Subramanian, A Akella, A Albarghouthi, ... Under Submission, 0 | 1 | |
METHOD, APPARATUS, ELECTRONIC DEVICE AND STORAGE MEDIUM FOR NETWORK TOPOLOGY-BASED VERIFICATION W Jiang, A Abhashkumar, Z Gao, Y Wang, J Wang US Patent App. 18/743,730, 2024 | | 2024 |
Automatic Configuration Repair X Liu, P Zhang, A Abhashkumar, J Chen, W Jiang Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 213-220, 2024 | | 2024 |