Praveen Kumar - Papers

  1. 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 2018 (ANRW ’18)
    To appear

  2. 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 NSDI 2018
    [paper] [slides] [talk]
    [webpage] [code] [run]

  3. YATES: Rapid Prototyping for Traffic Engineering Systems
    Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, and Robert Soulé
    ACM SOSR 2018
    [paper] [slides] [talk]
    [webpage] [code] [run]

  4. Probabilistic Program Equivalence for NetKAT
    Steffen Smolka, Praveen Kumar, Nate Foster, Justin Hsu, David Kahn, Dexter Kozen, and Alexandra Silva
    [arxiv]

  5. Cantor Meets Scott: Semantic Foundations for Probabilistic Networks
    Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva
    POPL 2017
    [paper]
    [code] [run]

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

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

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

  9. 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]