Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

Authors: 

Fabian Ruffy, Tao Wang, and Anirudh Sivaraman, New York University

BibTeX
@inproceedings {258854,
title = {Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20)},
year = {2020},
address = {Banff, Alberta},
url = {https://www.usenix.org/conference/osdi20/presentation/ruffy},
publisher = {{USENIX} Association},
month = nov,
}