Praveen Kumar

According to our database, Praveen Kumar authored at least 15 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Toward Predictable Networks.

Praveen Kumar

PhD thesis, 2021

2020

Composing Dataplane Programs with μP4.

Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

2019

PicNIC: predictable virtualized NIC.

Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat

Proceedings of the ACM Special Interest Group on Data Communication, 2019

Scalable verification of probabilistic networks.

Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

YATES: Rapid Prototyping for Traffic Engineering Systems.

Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé

Proceedings of the Symposium on SDN Research, 2018

Semi-Oblivious Traffic Engineering: The Road Not Taken.

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Semi-Oblivious Traffic Engineering with SMORE.

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé

Proceedings of the Applied Networking Research Workshop, 2018

2017

Deciding Probabilistic Program Equivalence in NetKAT.

Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2017

Cantor meets scott: semantic foundations for probabilistic networks.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2016

Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé

CoRR, 2016

2014

Equinox: Adaptive network reservation in the Cloud.

Praveen Kumar, Garvit Choudhary, Dhruv Sharma, Vijay Mann

Proceedings of the Sixth International Conference on Communication Systems and Networks, 2014

Avalanche: Data center Multicast using software defined networking.

Aakash Iyer, Praveen Kumar, Vijay Mann

Proceedings of the Sixth International Conference on Communication Systems and Networks, 2014

2013

Managing Network Reservation for Tenants in Oversubscribed Clouds.

Mayank Mishra, Partha Dutta, Praveen Kumar, Vijay Mann

Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

2011

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

J. Syst. Softw., 2011