Praveen Kumar

I am a PhD student 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.

My current research focuses on improving performance and reliability of wide-area and cloud networks. I also enjoy working on practical aspects of network programming and verification.

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

Recent Publications

  1. 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é.
    USENIX NSDI 2018
    Paper Code Run Slides Blog
  2. YATES: Rapid Prototyping for Traffic Engineering Systems.
    Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, and Robert Soulé.
    ACM SOSR 2018
    Paper Code Run Slides
  3. Deciding Probabilistic Program Equivalence in NetKAT.
    Steffen Smolka, David Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva.
    PPS 2018
    Tech. Report Poster
  4. Cantor Meets Scott: Semantic Foundations for Probabilistic Networks.
    Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva.
    ACM POPL 2017
    Paper Code Run
  5. Avalanche: Data Center Multicast using Software Defined Networking.
    Aakash Iyer, Praveen Kumar, and Vijay Mann.
    IEEE COMSNETS 2014
    Paper
  6. Equinox: Adaptive Network Reservation in the Cloud.
    Praveen Kumar, Garvit Choudhary, Dhruv Sharma, and Vijay Mann.
    IEEE COMSNETS 2014
    Paper
  7. Managing Network Reservation for Tenants in Oversubscribed Clouds.
    Mayank Mishra, Partha Dutta, Praveen Kumar, and Vijay Mann.
    IEEE MASCOTS 2013
    Paper
  8. 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
  9. 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
    Paper

Teaching


Professional Activities


Patents


Theses