Praveen Kumar – Papers

  1. PicNIC: Predictable Virtualized NIC.
    Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve Gribble, Nate Foster, and Amin Vahdat.
    ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), 2019
    [ paper ] To appear

  2. Scalable Verification of Probabilistic Networks
    Steffen Smolka, Praveen Kumar, David Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva
    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2019
    [ paper | webpage | code | run ]

  3. Semi-Oblivious Traffic Engineering with SMORE
    Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiun Lin Lim, and Robert Soulé
    Applied Networking Research Workshop (ANRW), 2018
    [ abstract | extended abstract | slides | talk ]

  4. Semi-Oblivious Traffic Engineering: The Road Not Taken
    Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiun Lin Lim, and Robert Soulé
    USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2018
    [ paper | slides | talk | webpage | code | run ]

  5. YATES: Rapid Prototyping for Traffic Engineering Systems
    Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, and Robert Soulé
    ACM SIGCOMM Symposium on Software-Defined Networking Research (SOSR), 2018
    [ paper | slides | talk | webpage | code | run ]

  6. Cantor Meets Scott: Semantic Foundations for Probabilistic Networks
    Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva
    ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages (POPL), 2017
    [ paper | webpage | code | run ]

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

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

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

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