[mediumdave]

He also invented dataflow analysis, which is the basis for a huge number of compiler optimization and program analysis techniques: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102....