Praveen Kumar

Ph.D. Computer Science, Cornell University.
Research area: Networking.
Adviser: Prof. Nate Foster.

Update [Feb 2022]: I have graduated and my webpage has moved here.

My research focuses on building robust and scalable networks that ensure predictable performance despite unpredictable operating conditions. Applications today require networks to provide increasingly strict performance guarantees and not just high performance. However, networks continue to provide best-effort performance based on the design principles of the early Internet. To bridge this gap, my research takes a multi-disciplinary approach spanning architecture, PL, systems, and theory to build holistic networking solutions—from low-level hardware to high-level abstractions and algorithms.

  • 430 Gates Hall
    Cornell University
    Ithaca, NY 14853

Publications (during Ph.D.)

  1. Toward Predictable Networks.
    Praveen Kumar.
    Ph.D. Dissertation. 2021. Cornell University.
    Dissertation ACM SIGCOMM Doctoral Dissertation Award
  2. Composing Dataplane Programs with μP4.
    Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, and Nate Foster.
    SIGCOMM 2020
    Paper Code Artifact Project Slides Talk
  3. PicNIC: Predictable Virtualized NIC.
    Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve Gribble, Nate Foster, and Amin Vahdat.
    SIGCOMM 2019
    Paper Slides Talk Best Student Paper Award
  4. Scalable Verification of Probabilistic Networks.
    Steffen Smolka, Praveen Kumar, David M Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva.
    PLDI 2019
    Paper Code Artifact Project Talk
  5. Semi-Oblivious Traffic Engineering: The Road Not Taken.
    Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiun Lin Lim, and Robert Soulé.
    NSDI 2018
    Paper Code Artifact Project Slides Talk Blog
  6. YATES: Rapid Prototyping for Traffic Engineering Systems.
    Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, and Robert Soulé.
    SOSR 2018
    Paper Code Artifact Project Slides Talk
  7. Cantor Meets Scott: Semantic Foundations for Probabilistic Networks.
    Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva.
    POPL 2017
    Paper Code Artifact Project