CS 6120
BRIL
github repo
CS 618 Video Lectures
An Introduction to Program Analysis
Static Program Analysis
TIP
Static Program Analysis Part 1 - PLISS 2019
Static Program Analysis Part 2 - PLISS 2019
From Quads to Graphs: An Intermediate Representation’s Journey
Combining Analyses, Combining Optimizations
A Simple Graph-Based Intermediate Representation
Global Code Motion Global Value Numbering
Simple Sea of Nodes Implementation
Dynamic Optimization through the use of Automatic Runtime Specialization
Implementation in JikesRVM
Automatic Program Optimization, by Ron Cytron
Preliminaries
Parsing Techniques
Learning Resources
Reviews