Praveen Kumar

I am a PhD candidate in the Department of Computer Science at Cornell University. I am advised by Prof. Nate Foster. My research interests include topics in systems and networking. Prior to Cornell, I received my Bachelor's degree in Computer Science and Engineering from Indian Institute of Technology (IIT), Kharagpur.

PhD candidate. Computer Science, Cornell University.
Research area: Systems and networking.
Adviser: Prof. Nate Foster.

My current research focuses on building networks which, in addition to providing high performance, also ensure that the performance is reliable. Often, this involves navigating various tradeoffs--e.g. efficiency vs predictable performance in shared clouds. I also enjoy working on practical aspects of network programming and verification.

  • praveenk [at]
  • 430 Gates Hall
    Cornell University
    Ithaca, NY 14853
  • GitHub   Google Scholar

Recent Publications (Full List)

  1. 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
  2. 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 Run Webpage
  3. 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 Run Webpage Slides Talk Blog
  4. YATES: Rapid Prototyping for Traffic Engineering Systems.
    Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, and Robert Soulé.
    SOSR 2018
    Paper Code Run Webpage Slides
  5. Cantor Meets Scott: Semantic Foundations for Probabilistic Networks.
    Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva.
    POPL 2017
    Paper Code Run Webpage
  6. Avalanche: Data Center Multicast using Software Defined Networking.
    Aakash Iyer, Praveen Kumar, and Vijay Mann.
  7. Equinox: Adaptive Network Reservation in the Cloud.
    Praveen Kumar, Garvit Choudhary, Dhruv Sharma, and Vijay Mann.
  8. Managing Network Reservation for Tenants in Oversubscribed Clouds.
    Mayank Mishra, Partha Dutta, Praveen Kumar, and Vijay Mann.
  9. Routing in Scale-free Networks under Bursty Traffic.
    Subrata Nandi, Praveen Kumar, Ajit Pal, and Niloy Ganguly.
    Workshop on Complex Network Dynamics (CoNeD), ICDCN 2013
  10. Meetings through the cloud: Privacy-preserving scheduling on mobile devices.
    Igor Bilogrevic, Murtuza Jadliwala, Praveen Kumar, Sudeep Singh Walia, Jean-Pierre Hubaux, Imad Aad, and Valtteri Niemi.
    Journal of Systems and Software 84(11), 2011