Meetings through the cloud: Privacy-preserving scheduling on mobile devices. - Igor Bilogrevic; Murtuza Jadliwala; Praveen Kumar 003; Sudeep Singh Walia; Jean-Pierre Hubaux; Imad Aad; Valtteri Niemi (J. Syst. Softw., 2011)

Managing Network Reservation for Tenants in Oversubscribed Clouds. - Mayank Mishra; Partha Dutta; Praveen Kumar 003; Vijay Mann (MASCOTS, 2013)

Avalanche: Data center Multicast using software defined networking. - Aakash Iyer; Praveen Kumar 003; Vijay Mann (COMSNETS, 2014)

Equinox: Adaptive network reservation in the Cloud. - Praveen Kumar 003; Garvit Choudhary; Dhruv Sharma; Vijay Mann (COMSNETS, 2014)

Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing. - Praveen Kumar 003; Yang Yuan; Chris Yu 001; Nate Foster; Robert D. Kleinberg; Robert Soulé (CoRR, 2016)

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. - Steffen Smolka; Praveen Kumar 003; Nate Foster; Dexter Kozen; Alexandra Silva 001 (CoRR, 2016)

Cantor meets scott: semantic foundations for probabilistic networks. - Steffen Smolka; Praveen Kumar 003; Nate Foster; Dexter Kozen; Alexandra Silva 001 (POPL, 2017)

Deciding Probabilistic Program Equivalence in NetKAT. - Steffen Smolka; David M. Kahn; Praveen Kumar 003; Nate Foster; Dexter Kozen; Alexandra Silva 001 (CoRR, 2017)

Semi-Oblivious Traffic Engineering with SMORE. - Praveen Kumar 003; Yang Yuan; Chris Yu 001; Nate Foster; Robert Kleinberg; Petr Lapukhov; Chiunlin Lim; Robert Soulé (ANRW, 2018)

Semi-Oblivious Traffic Engineering: The Road Not Taken. - Praveen Kumar 003; Yang Yuan; Chris Yu 001; Nate Foster; Robert Kleinberg; Petr Lapukhov; Chiunlin Lim; Robert Soulé (NSDI, 2018)

YATES: Rapid Prototyping for Traffic Engineering Systems. - Praveen Kumar 003; Chris Yu 001; Yang Yuan; Nate Foster; Robert Kleinberg; Robert Soulé (SOSR, 2018)

Scalable verification of probabilistic networks. - Steffen Smolka; Praveen Kumar 003; David M. Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva 001 (PLDI, 2019)

PicNIC: predictable virtualized NIC. - Praveen Kumar 003; Nandita Dukkipati; Nathan Lewis; Yi Cui; Yaogong Wang; Chonggang Li; Valas Valancius; Jake Adriaens; Steve D. Gribble; Nate Foster; Amin Vahdat (SIGCOMM, 2019)

Composing Dataplane Programs with μP4. - Hardik Soni 001; Myriana Rifai; Praveen Kumar 003; Ryan Doenges; Nate Foster (SIGCOMM, 2020)

Toward Predictable Networks. - Praveen Kumar 003 (2021)