Delta-net: Real-time Network Verification Using Atoms
.
2017. Delta-net: Real-time Network Verification Using Atoms. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :735--749.
Verifying Reachability in Networks with Mutable Datapaths
.
2017. Verifying Reachability in Networks with Mutable Datapaths. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :699--718.
Correct by Construction Networks Using Stepwise Refinement
.
2017. Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
{CherryPick}: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics
.
2017. {CherryPick}: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :469--482.