right. his (1995) phd thesis is a classic for anyone interested in optimizing compilers http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17....