Explore the intricacies of compiler optimizations in this closing keynote from C++Now 2018. Delve into the world of undefined behavior (UB) in compiler intermediate representations and its impact on optimization freedom. Examine the complex design challenges of C++ regarding sequential memory models and pointer manipulation. Gain insights into the future of compiler optimizations, including formal verification and automatic generation. Learn from John Regehr, a computer science professor at the University of Utah, known for his work on software efficiency and correctness, including the Csmith project that uncovered numerous bugs in production-quality C compilers.
Overview
Syllabus
C++Now 2018: John Regehr “Closing Keynote: Undefined Behavior and Compiler Optimizations”
Taught by
CppNow
Related Courses
-
Finding Bugs Compiler Knows but Doesn't Tell You - Dissecting Undefined Behavior Optimizations in LLVM
-
Undefined Behavior in C++ - What Is It, and Why Do You Care?
-
Memory Simulations, Security and Optimization in a Verified Compiler
-
Your Favorite Undefined Behavior in C++
-
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
-
This is C++ - Uncompromised Performance, Undefined Behavior, and Move Semantics
