Massachusetts Institute of Technology: S. Amarasinghe and M. Rinard's "Introduction to Program Analysis and Optimization"

Read these slides.