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:
ndcconferences...
ndctechtown.com/
Subscribe to our KZbin 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.