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)
    [abstract] [extended abstract] [slides] [talk]

  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]