The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
P4v: Practical verification for programmable data planes
The work
| Authors | J. Liu; W. Hallahan; C. Schlesinger; M. Sharif; J. Lee; R. Soulé; H. Wang; C. Caşcaval; N. McKeown; N. Foster |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2018 |
| Citekey | liu2018p4v |
Where it appeared
| Published in | Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-28 14:54 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{liu2018p4v,
title = {P4v: Practical verification for programmable data planes},
author = {J. Liu and W. Hallahan and C. Schlesinger and M. Sharif and J. Lee and R. Soulé and H. Wang and C. Caşcaval and N. McKeown and N. Foster},
year = {2018},
booktitle = {Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication},
}
This record lives at https://refs.drheap.org/liu2018p4v/ and will keep doing so.