Gauntlet - Finding Bugs in Compilers for Programmable Packet Processing

Explore a conference talk from OSDI '20 that delves into Gauntlet, a tool for detecting bugs in compilers for programmable packet processing devices. Learn about domain-specific techniques developed to find crash bugs and semantic bugs in P4-16 compilers. Discover how Gauntlet was applied to the open-source P4 compiler infrastructure, the P4 back end for the reference software switch, and the P4 back end for the Barefoot Tofino switch. Understand the impact of this research, which uncovered 96 new and distinct bugs across three platforms, led to 54 bug fixes, and resulted in 6 P4 specification changes. Gain insights into the importance of compiler dependability for programmable packet-processing devices and the effectiveness of Gauntlet in improving compiler reliability.

OSDI '20 - Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing