Optimizing compilation with the value state dependence graph. - Alan Christopher Lawrence (2008)