Fabian Ruffy, Tao Wang, Anirudh Sivaraman. Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020. pages 683-699, USENIX Association, 2020. [doi]
Abstract is missing.