Praveen Kumar

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 11

Top Topics

Markov Networks

Probabilistic Networks

Traffic Engineering

Probabilistic Inference

Top Venues

Publications

Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster
Composing Dataplane Programs with μP4. SIGCOMM (2020)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable Verification of Probabilistic Networks. CoRR (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable verification of probabilistic networks. PLDI (2019)
Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat
PicNIC: predictable virtualized NIC. SIGCOMM (2019)
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
Semi-Oblivious Traffic Engineering with SMORE. ANRW (2018)
Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé
YATES: Rapid Prototyping for Traffic Engineering Systems. SOSR (2018)
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
Semi-Oblivious Traffic Engineering: The Road Not Taken. NSDI (2018)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets scott: semantic foundations for probabilistic networks. POPL (2017)
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Deciding Probabilistic Program Equivalence in NetKAT. CoRR (2017)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. CoRR (2016)
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing. CoRR (2016)
Praveen Kumar, Garvit Choudhary, Dhruv Sharma, Vijay Mann
Equinox: Adaptive network reservation in the Cloud. COMSNETS (2014)
Aakash Iyer, Praveen Kumar, Vijay Mann
Avalanche: Data center Multicast using software defined networking. COMSNETS (2014)
Mayank Mishra, Partha Dutta, Praveen Kumar, Vijay Mann
Managing Network Reservation for Tenants in Oversubscribed Clouds. MASCOTS (2013)
Igor Bilogrevic, Murtuza Jadliwala, Praveen Kumar, Sudeep Singh Walia, Jean-Pierre Hubaux, Imad Aad, Valtteri Niemi
Meetings through the cloud: Privacy-preserving scheduling on mobile devices. J. Syst. Softw. 84 (11) (2011)