Locknote: How Badly Do We Want Correct Compilers? - John Regehr - NDC TechTown 2023

This talk was recorded at NDC Techtown in Kongsberg, Norway. #ndctechtown #ndcconferences #cplusplus #bugs #softwaredeveloper Attend the next NDC conference near you: https://ndcconferences.com https://ndctechtown.com/ Subscribe to our YouTube channel and learn every day: /@NDC This talk is about compiler correctness. I will describe several efforts by my research group to detect previously unknown compiler bugs -- especially those that cause application code to be silently miscompiled. I'll also talk how we go about reporting compiler bugs in a way that makes them more likely to be fixed, and about various interactions that we've had with compiler development teams. Over the past decade or so we have reported more than 750 bugs, and we have also produced a variety of open-source tools that developers can use on their own.