Liveness Verification of Stateful Network Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella. Liveness Verification of Stateful Network Functions. In Ranjita Bhagwan, George Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020. pages 257-272, USENIX Association, 2020. [doi]

This author has not been identified. Look up 'Farnaz Yousefi' in GoogleThis author has not been identified. Look up 'Anubhavnidhi Abhashkumar' in GoogleThis author has not been identified. Look up 'Kausik Subramanian' in GoogleThis author has not been identified. Look up 'Kartik Hans' in GoogleThis author has not been identified. Look up 'Soudeh Ghorbani' in GoogleThis author has not been identified. Look up 'Aditya Akella' in Google

runs on WebDSL