Anubhavnidhi "Archie" Abhashkumar

I am part of the Network Infrastructure R&D team at ByteDance

I received my Ph.D. in Computer Sciences at University of Wisconsin - Madison under Professor Aditya Akella. My areas of interest include Network routing, and Network policy management (verification and synthesis).

General Info

  • E-mail
    archie.nidhi_at_bytedance.com

Education


PhD in Computer Sciences

University of Wisconsin Madison

BE in Computer Science and Engineering

Anna University

Work Experience

  • Research Scientist

    ByteDance (2020--Current)
    I am part of the Network Infrastructure R&D team at ByteDance.

  • Research Assistant

    University of Wisconsin-Madison (2015--2020)
    I worked with Professor Aditya Akella on topics related to Network policy management (verification and synthesis), Software Defined Networks (SDN), and Programmable P4 networks.

  • Research Collaborator

    Facebook, Menlo Park (2019--2020)
    I worked with Hyojeong Kim and the Routing team at Facebook.

  • Research Associate

    HP Network and Mobility Lab, Palo Alto (2015--2016, 2016--2017)
    I worked with Joon-Myung Kang and Sujata Banerjee on representing and configuring diverse dynamic intent-based policies.
    I worked with Jeongkeun "JK" Lee and Sujata Banerjee on Programming the switch data-path from high-level policies.

Publications

  • Automatic Configuration Repair

    Xu Liu, Peng Zhang, Anubhavnidhi Abhashkumar, Jiawei Chen, and Weirong Jiang.
    HotNets 2024, Irvine, California, USA.     Reduce manual effort by identifying and fixing network misconfigurations through a localize-fix-validate method, inspired by automatic software repair techniques.

  • Scaling Data Plane Verification via Parallelization [pdf]

    Sisi Wen, Anubhavnidhi Abhashkumar, Chenyang Zhao, and Weirong Jiang.
    APNet 2024, Sydney, Australia.     Best Paper Award
    Presents a novel verifier that efficiently analyzes large data plane models using parallel processing on multicore CPUs.

  • Crescent: Emulating Heterogeneous Production Network at Scale [pdf][ppt]

    Zhaoyu Gao, Anubhavnidhi Abhashkumar, Zhen Sun, Weirong Jiang, and Yi Wang.
    NSDI 2024, Santa Clara, CA, USA.
    Presents design, implementation, evaluation, and deployment of the network emulation platform to prevent update-induced network incidents.

  • NetAssistant: Dialogue Based Network Diagnosis in Data Center Networks [pdf][ppt]

    Haopei Wang, Anubhavnidhi Abhashkumar, Changyu Lin, Tianrong Zhang, Xiaoming Gu, Ning Ma, Chang Wu, Songlin Liu, Wei Zhou, Yongbin Dong, Weirong Jiang, and Yi Wang.
    NSDI 2024, Santa Clara, CA, USA.
    An AI diagnosis framework that conducts proper workflows for timely diagnosis when given questions in natural language.

  • D2R: Dataplane-Only Policy-Compliant Hierarchical Routing [pdf]

    Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella.
    SOSR 2021, Virtual Conference.
    Performs policy-compliant route computations entirely in the data plane for fast, programmable reactions to failures.

  • Running BGP in Data Centers at Scale [pdf]

    Anubhavnidhi Abhashkumar, Kausik Subramanian, Alexey Andreyev, Hyojeong Kim, Nanda Kishore, Jingyi Yang, Petr Lapukhov, Aditya Akella, and James Hongyi Zeng.
    NSDI 2021, Boston, MA, USA.
    Presents Facebook's data center routing design leveraging BGP functionality, catering to the data center's stringent requirements.

  • AED: Incrementally Synthesizing Policy-Compliant and Manageable Configurations [pdf][pptx]

    Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella.
    CoNEXT 2020, Barcelona, Spain.
    AED encodes config and updates in a tree-like MaxSMT model. It uses a new objective language for management objectives, translated into soft constraints.

  • Tiramisu: Fast Multilayer Network Verification [pdf][pptx]

    Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella.
    NSDI 2020, Santa Clara, CA, USA.
    A new, general multilayer graph control plane model that utilizes fast and customized verification algorithms.

  • Liveness Verification of Stateful Networks [pdf]

    Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, and Aditya Akella.
    NSDI 2020, Santa Clara, CA, USA.
    A novel verifier to check liveness properties in dynamic networks.

  • Detecting Network Load Violations for Distributed Control Planes [pdf]

    Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella.
    PLDI 2020, London, UK.
    A distributed control plane abstraction that can automatically verify whether a control plane may cause link load violations under failures.

  • Supporting Diverse Dynamic Intent-based Policies using Janus [pdf], [pptx]

    Anubhavnidhi Abhashkumar, Joon-Myung Kang, Sujata Banerjee, Aditya Akella, Ying Zhang and Wenfei Wu.
    CoNEXT 2017, Seoul/Incheon, South Korea.
    Uses policy graphs to optimize QoS and dynamic stateful/temporal policies by maximizing satisfaction and minimizing path changes in dynamic environments.

  • P5: Policy-driven optimization of P4 pipeline [pdf], [pptx]

    Anubhavnidhi Abhashkumar, Jeongkeun Lee, Jean Tourrilhes, Sujata Banerjee, Wenfei Wu, Joon-Myung Kang and Aditya Akella.
    SOSR 2017, Santa Clara, CA.
    Leverages policy abstraction knowledge to remove inter-feature dependencies and unused features in switch topology.

  • Paving the Way for NFV: Simplifying Middlebox Modifications using StateAlyzr [pdf], [pptx]

    Junaid Khalid, Aaron Gember-Jacobson, Roney Michael, Anubhavnidhi Abhashkumar and Aditya Akella.
    NSDI 2016, Santa Clara, CA.
    Uses unique algorithms to identify the state for migration/cloning for consistent middlebox output following the redistribution.

Patents

  • Generating composite network policy [pdf]

    Joon Myung Kang, Anubhavnidhi Abhashkumar, Sujata Banerjee, Ying Zhang, Wenfei Wu.
    US20180316576A1.

Professional Services

Program Committees


  • 2025: NSDI, INFOCOM
  • 2024: ICNP, CONEXT, INFOCOM
  • 2022: SoCC, PAM
  • 2021: CONEXT, SOSR, SPIN, SIGCOMM Poster and Demo, SIGCOMM Artifacts

Chair


  • 2022: CloudNet. Technical Demonstrations and Posters Co-Chairs

Journal Reviewer


  • 2021: IEEE/ACM Transactions on Networking, International Journal of Communication Systems
  • 2020: IEEE/ACM Transactions on Networking, International Journal of Communication Systems

Extra curricular Activities

  • Student instructor for K-12 program (associated with UW Madison) at neighborhood community college. We teach programming to 4th and 5th graders.
  • Volunteer at Wisconsin Science Festival. We introduce young kids to Scratch programming.
  • Winner of Google ``Search for a Solution - The Social Entrepreneurship Hackathon'' conducted by Google Student Organization - University of Wisconsin-Madison. We proposed an application called Tuber which was a tutoring service based on Uber.
  • Volunteer in Aide et action, an NGO (Non Government Organization) working on issues relating to education (mainly deals with computer and communication skills)

Hobbies