Praveen Kumar

17 papers A* 5B 1Misc 3Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Falcon: A Reliable, Low Latency Hardware Transport.
SIGCOMM
Arjun Singhvi, Nandita Dukkipati, Prashant Chandra, Hassan M. G. Wassel, Naveen Kr. Sharma, Anthony Rebello, Henry Schuh, Praveen Kumar, Behnam Montazeri, Neelesh Bansod, Sarin Thomas, Inho Cho, Hyojeong Lee Seibert, Baijun Wu, Rui Yang, Yuliang Li, Kai Huang, Qianwen Yin, Abhishek Agarwal, Srinivas Vaduvatha, Weihuang Wang, Masoud Moshref, Tao Ji, David Wetherall, Amin Vahdat
2021 — —
Toward Predictable Networks.
Praveen Kumar
2020 A* conf
Composing Dataplane Programs with μP4.
SIGCOMM
Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster
2019 A* conf
PicNIC: predictable virtualized NIC.
SIGCOMM
Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat
2019 J jnl
Scalable Verification of Probabilistic Networks.
CoRR
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 A* conf
Scalable verification of probabilistic networks.
PLDI
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2018 — conf
Semi-Oblivious Traffic Engineering with SMORE.
ANRW
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
2018 Misc conf
Semi-Oblivious Traffic Engineering: The Road Not Taken.
NSDI
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
2018 — conf
YATES: Rapid Prototyping for Traffic Engineering Systems.
SOSR
Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé
2017 A* conf
Cantor meets scott: semantic foundations for probabilistic networks.
POPL
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 J jnl
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2016 J jnl
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.
CoRR
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2016 J jnl
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.
CoRR
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé
2014 Misc conf
Avalanche: Data center Multicast using software defined networking.
COMSNETS
Aakash Iyer, Praveen Kumar, Vijay Mann
2014 Misc conf
Equinox: Adaptive network reservation in the Cloud.
COMSNETS
Praveen Kumar, Garvit Choudhary, Dhruv Sharma, Vijay Mann
2013 B conf
Managing Network Reservation for Tenants in Oversubscribed Clouds.
MASCOTS
Mayank Mishra, Partha Dutta, Praveen Kumar, Vijay Mann
2011 J jnl
Meetings through the cloud: Privacy-preserving scheduling on mobile devices.
J. Syst. Softw.
Igor Bilogrevic, Murtuza Jadliwala, Praveen Kumar, Sudeep Singh Walia, Jean-Pierre Hubaux, Imad Aad, Valtteri Niemi