• Data Flow Analysis
• Design
• Useful links
• MIR implementation