Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu. bf4: towards bug-free P4 programs. In Henning Schulzrinne, Vishal Misra, editors, SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Virtual Event, USA, August 10-14, 2020. pages 571-585, ACM, 2020. [doi]
@inproceedings{DumitrescuSNR20,
title = {bf4: towards bug-free P4 programs},
author = {Dragos Dumitrescu and Radu Stoenescu and Lorina Negreanu and Costin Raiciu},
year = {2020},
doi = {10.1145/3387514.3405888},
url = {https://doi.org/10.1145/3387514.3405888},
researchr = {https://researchr.org/publication/DumitrescuSNR20},
cites = {0},
citedby = {0},
pages = {571-585},
booktitle = {SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Virtual Event, USA, August 10-14, 2020},
editor = {Henning Schulzrinne and Vishal Misra},
publisher = {ACM},
isbn = {978-1-4503-7955-7},
}