This course will focus on advanced techniques for program optimization and verification, foundations of data-flow analysis, use of dataflow analysis for program optimization, code generation across basic blocks, procedures, and complete programs.