Jed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster. p4v: practical verification for programmable data planes. In Sergey Gorinsky, János Tapolcai, editors, Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, SIGCOMM 2018, Budapest, Hungary, August 20-25, 2018. pages 490-503, ACM, 2018. [doi]
@inproceedings{LiuHSSLSWCMF18,
title = {p4v: practical verification for programmable data planes},
author = {Jed Liu and William Hallahan and Cole Schlesinger and Milad Sharif and Jeongkeun Lee and Robert Soulé and Han Wang and Calin Cascaval and Nick McKeown and Nate Foster},
year = {2018},
doi = {10.1145/3230543.3230582},
url = {https://doi.org/10.1145/3230543.3230582},
researchr = {https://researchr.org/publication/LiuHSSLSWCMF18},
cites = {0},
citedby = {0},
pages = {490-503},
booktitle = {Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, SIGCOMM 2018, Budapest, Hungary, August 20-25, 2018},
editor = {Sergey Gorinsky and János Tapolcai},
publisher = {ACM},
}