Skip to content
Hallway
0:00 / 0:00

#compilerbugs#csmith#fuzzing

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

NDC Conferences

230K subscribers • 110 videos on Hallway • Conference channel

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by John Regehr, Professor of Computer Science at the University of Utah

Intermediate. Assumes working knowledge.

4.7K views2 years ago2 recommendations

Systems programmingTools and practiceCompilers and interpretersTestingC

John Regehr describes his research group's efforts to detect silent miscompilation bugs in C and C++ compilers using automated tools.

This talk was recorded at NDC Techtown in Kongsberg, Norway. #ndctechtown #ndcconferences #cplusplus #bugs #softwaredeveloper Attend the next NDC conference near you: ndcconferences.com 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.

Why it's here

2 people recommend this

What people say. Recommended for its detailed look at how automated tools uncover subtle compiler bugs in C and C++.

u/onecable5781in r/Compilers • Recommends

Are C compilers likely to have fewer bugs as compared to C++ compilers? In this video, link to this video , the author goes into details of how he and his students were able to create a tool that helps uncover compiler bugs (he focuses on C and C++ in particular) by exploiting corner cases. In general, is it not the case that simpler a language, easier it would be to write a conforming compiler? C++ compilers have to compile C code also (the parts which are carried over into C++) in addition to all the additional features/abstractions C++ builds into it. So, it appears to me that writing a conforming C++ compiler is extraordinarily more difficult (and hence more bugprone?) as compared to a C compiler…
35View on Reddit

u/mttdin r/Compilers • Recommends

How Badly Do We Want Correct Compilers? - John Regehr - NDC TechTown 2023
13View on Reddit