39 citations · 75 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016★ 39 cited
Cantor meets Scott: Semantic Foundations for Probabilistic Networks
Steffen Smolka, Praveen Kumar, Nate Foster +2
ProbNetKAT is a probabilistic extension of NetKAT with a denotational semantics based on Markov kernels. The language is expressive enough to generate continuous distributions, whi…
cs.NI2016★ 12 cited
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing
Praveen Kumar, Yang Yuan, Chris Yu +3
Wide-area network traffic engineering enables network operators to reduce congestion and improve utilization by balancing load across multiple paths. Current approaches to traffic…