Bibtex Entry:

@inproceedings{Infocom2021,
title = {{Fix with P6: Verifying Programmable Switches at Runtime}},
author = {Apoorv Shukla and Kevin Hudemann and Zsolt V{\'a}gi and Lily H{\"u}gerich and Georgios Smaragdakis and Artur Hecker and Stefan Schmid and Anja Feldmann},
month = {May},
year = {2021},
booktitle = {Proceedings of IEEE INFOCOM 2021}
}