Verifying Reachability in Networks with Mutable Datapaths - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker. Verifying Reachability in Networks with Mutable Datapaths. In Aditya Akella, Jon Howell, editors, 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017. pages 699-718, USENIX Association, 2017. [doi]

This author has not been identified. Look up 'Aurojit Panda' in GoogleThis author has not been identified. Look up 'Ori Lahav' in GoogleThis author has not been identified. Look up 'Katerina J. Argyraki' in GoogleThis author has not been identified. Look up 'Mooly Sagiv' in GoogleThis author has not been identified. Look up 'Scott Shenker' in Google

runs on WebDSL