Real Time Network Policy Checking Using Header Space Analysis
.
2013. Real Time Network Policy Checking Using Header Space Analysis. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :99--111.
{Walkie-Markie}: Indoor Pathway Mapping Made Easy
.
2013. {Walkie-Markie}: Indoor Pathway Mapping Made Easy. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :85--98.
{ArrayTrack}: A {Fine-Grained} Indoor Location System
.
2013. {ArrayTrack}: A {Fine-Grained} Indoor Location System. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :71--84.
{eDoctor}: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones
.
2013. {eDoctor}: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :57--70.
V-edge: Fast Self-constructive Power Modeling of Smartphones Based on Battery Voltage Dynamics
.
2013. V-edge: Fast Self-constructive Power Modeling of Smartphones Based on Battery Voltage Dynamics. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :43--55.
Software {Defined} {Traffic} Measurement with {OpenSketch}
.
2013. Software {Defined} {Traffic} Measurement with {OpenSketch}. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :29--42.
{VeriFlow}: Verifying {Network-Wide} Invariants in Real Time
.
2013. {VeriFlow}: Verifying {Network-Wide} Invariants in Real Time. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :15--27.
Composing Software Defined Networks
.
2013. Composing Software Defined Networks. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :1--13.
10th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 13)
.
2013. 10th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 13). 10th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 13).
5th {USENIX} Workshop on the Theory and Practice of Provenance (TaPP 13)
.
2013. 5th {USENIX} Workshop on the Theory and Practice of Provenance (TaPP 13). 5th {USENIX} Workshop on the Theory and Practice of Provenance (TaPP 13).