How Badly Do We Want Correct Compilers?

Explore compiler correctness in this 53-minute conference talk from NDC TechTown 2023. Delve into the efforts of John Regehr's research group to uncover previously unknown compiler bugs, particularly those causing silent miscompilation of application code. Learn about effective methods for reporting compiler bugs to increase the likelihood of fixes, and gain insights into interactions with compiler development teams. Discover the open-source tools developed over the past decade for developers to use independently, and understand the impact of reporting over 750 bugs. Gain valuable knowledge about the importance of compiler accuracy and the ongoing work to improve software reliability.