Undefined Behavior and Compiler Optimizations

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.