Liveness Verification of Stateful Network Functions
.
2020. Liveness Verification of Stateful Network Functions . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :257--272.
Check before You Change: Preventing Correlated Failures in Service Updates
.
2020. Check before You Change: Preventing Correlated Failures in Service Updates . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :575--589.
Automated Verification of Customizable Middlebox Properties with Gravel
.
2020. Automated Verification of Customizable Middlebox Properties with Gravel . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :221--239.
{APKeep}: Realtime Verification for Real Networks
.
2020. {APKeep}: Realtime Verification for Real Networks . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :241--255.
Comb Decoding towards {Collision-Free} {WiFi}
.
2020. Comb Decoding towards {Collision-Free} {WiFi} . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :933--951.
SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues
.
2020. SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues. 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20).
Enabling Programmable Transport Protocols in High-Speed NICs
.
2020. Enabling Programmable Transport Protocols in High-Speed NICs. 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20).
Config2Spec: Mining Network Specifications from Network Configurations
.
2020. Config2Spec: Mining Network Specifications from Network Configurations. 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20).
Network Error Logging: Client-side measurement of end-to-end web service reliability
.
2020. Network Error Logging: Client-side measurement of end-to-end web service reliability. 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20).
Re-architecting Congestion Management in Lossless Ethernet
.
2020. Re-architecting Congestion Management in Lossless Ethernet. 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20).