Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the inner workings of optimizing compilers and static program analysis in this comprehensive conference talk from Meeting C++ 2022. Delve into the basics of static program analysis and discover the behind-the-scenes processes of optimizing compilers. Learn about well-known static analysis frameworks and progressively more sophisticated analysis techniques, while understanding current challenges faced by the program analysis and compiler community. Gain hands-on experience with examples drawn from Clang/LLVM, and develop a deeper understanding of compiler capabilities and limitations. By the end of the talk, acquire the knowledge to write more effective code and implement your own compiler analysis and optimization passes in LLVM. Topics covered include dataflow analysis, constant propagation, IR inspection, static analysis challenges, and practical insights on writing analyses and performing optimizations.
