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]
@inproceedings{YousefiASHGA20,
title = {Liveness Verification of Stateful Network Functions},
author = {Farnaz Yousefi and Anubhavnidhi Abhashkumar and Kausik Subramanian and Kartik Hans and Soudeh Ghorbani and Aditya Akella},
year = {2020},
url = {https://www.usenix.org/conference/nsdi20/presentation/yousefi},
researchr = {https://researchr.org/publication/YousefiASHGA20},
cites = {0},
citedby = {0},
pages = {257-272},
booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020},
editor = {Ranjita Bhagwan and George Porter},
publisher = {USENIX Association},
}