G.__Ramalingam
Context-sensitive synchronization-sensitive analysis is undecidable
Data flow frequency analysis
On Loops, Dominators, and Dominance Frontiers
On the computational complexity of dynamic graph problems
Semantics of program representation graphs