Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

TitleGauntlet: Finding Bugs in Compilers for Programmable Packet Processing
Publication TypeConference Paper
Year of Publication2020
AuthorsRuffy F, Wang T, Sivaraman A
Conference Name14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20)
Date Published11/2020
Publisher{USENIX} Association
ISBN Number978-1-939133-19-9
URLhttps://www.usenix.org/conference/osdi20/presentation/ruffy