Praveen Kumar

Praveen Kumar

PhD Student

Department of Computer Science

Cornell University

Visiting scholar at Stanford University

  • Email: praveenk [at]
  • 328 Gates Building
  • 353 Serra Mall
  • Stanford, CA 94305
  • GitHub Google Scholar

Research Overview

I am a PhD student in the Department of Computer Science at Cornell University and a visiting PhD student at Stanford University. I am advised by Nate Foster. My research interests include topics in systems and networks. Specifically, my current research focuses on programmable networks, data center (DCN) and wide-area networks (WAN).


[3-4 April 2017] Attending ACM SOSR 2017 in Santa Clara, CA.

[7 Feb 2017] Attending Google Networking Research Summit.

[Jan 2017] I am visiting Stanford for Winter and Spring '17.

[Oct 2016] Cantor Meets Scott: Semantic Foundations for Probabilistic Networks accepted to POPL '17.

[Sep 2016] I will be spending Fall '17 at Facebook, working on Facebook's backbone network.

[June 2016] Giving a talk on Robust Traffic Engineering using Semi-Oblivious Routing at Network Programming Retreat in NYC.

[Nov 2015] I am instructing at the 1st P4 Boot Camp.

[Nov 2015] Attending the 2nd P4 workshop at Stanford.


Recent Work

Cantor Meets Scott: Semantic Foundations for Probabilistic Networks.
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva.
POPL 2017   Paper   Code   Reproduce results

Past Work

Avalanche: Data Center Multicast using Software Defined Networking.
Aakash Iyer, Praveen Kumar, Vijay Mann.
Proc. IEEE COMSNETS, 2014   [paper]

Equinox: Adaptive Network Reservation in the Cloud.
Praveen Kumar, Garvit Choudhary, Dhruv Sharma, Vijay Mann.
Proc. IEEE COMSNETS, 2014   [paper]

Managing Network Reservation for Tenants in Oversubscribed Clouds.
Mayank Mishra, Partha Dutta, Praveen Kumar, Vijay Mann.
Proc. IEEE MASCOTS, 2013   [paper]

Routing in Scale-free Networks under Bursty Traffic.
Subrata Nandi, Praveen Kumar, Ajit Pal, Niloy Ganguly.
Workshop on Complex Network Dynamics (CoNeD), ICDCN, 2013

Meetings through the cloud: Privacy-preserving scheduling on mobile devices.
Igor Bilogrevic, Murtuza Jadliwala, Praveen Kumar, Sudeep Singh Walia, Jean-Pierre Hubaux, Imad Aad, Valtteri Niemi.
Journal of Systems and Software 84(11), 2011   [paper]



September 2016 - December 2016 (Intern)

Barefoot Networks
May 2015 - August 2015 (Intern)

IBM Research - Data Center Networking
November 2012 - June 2014

June 2011 - November 2012

École Polytechnique Fédérale de Lausanne (EPFL) - LCA
May 2010 - August 2010 (Intern)