Composing Dataplane Programs with μP4 | 1 | 0.35 | 2020 |
Scalable Verification of Probabilistic Networks. | 0 | 0.34 | 2019 |
PicNIC - predictable virtualized NIC. | 4 | 0.41 | 2019 |
Semi-Oblivious Traffic Engineering with SMORE. | 1 | 0.37 | 2018 |
Semi-Oblivious Traffic Engineering: The Road Not Taken | 3 | 0.38 | 2018 |
Visit Level Suicidality/Self-harm Phenotyping in Major Mental Illness. | 0 | 0.34 | 2018 |
Deciding Probabilistic Program Equivalence in NetKAT. | 0 | 0.34 | 2017 |
Equinox: Adaptive network reservation in the Cloud | 0 | 0.34 | 2014 |
Avalanche: Data center Multicast using software defined networking | 40 | 1.52 | 2014 |
Managing Network Reservation for Tenants in Oversubscribed Clouds | 0 | 0.34 | 2013 |
Meetings through the cloud: Privacy-preserving scheduling on mobile devices | 14 | 0.70 | 2011 |