Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

The Magic Behind Optimizing Compilers: Static Program Analysis - Meeting C++ 2022

Meeting Cpp via YouTube

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.

Syllabus

Introduction
Who is Philipp Schubert
Applications and Techniques
How does it work
Bug detection
Dataflow analysis
Constant propagation example
Static program analysis in LLVM
IR inspection in LLVM
LLVM code inspection
Is LLVM too good
LLVM in IDE
Compilers vs Static Analysis
Static Analysis Challenges
How to Write an Analysis
How to Perform an Optimization
Compilers Need Your Help
Does It Help
No Except
Conclusions
Example
Conclusion

Taught by

Meeting Cpp

Reviews

Start your review of The Magic Behind Optimizing Compilers: Static Program Analysis - Meeting C++ 2022

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.