Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel. Foundational Verification of Stateful P4 Packet Processing. In Adam Naumowicz, René Thiemann, editors, 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland. Volume 268 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{WangPWDBA23,
title = {Foundational Verification of Stateful P4 Packet Processing},
author = {Qinshi Wang and Mengying Pan and Shengyi Wang and Ryan Doenges and Lennart Beringer and Andrew W. Appel},
year = {2023},
doi = {10.4230/LIPIcs.ITP.2023.32},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.32},
researchr = {https://researchr.org/publication/WangPWDBA23},
cites = {0},
citedby = {0},
booktitle = {14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland},
editor = {Adam Naumowicz and René Thiemann},
volume = {268},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-284-6},
}