Static program analysis based on virtual register renaming. - Jeremy David Singer (2006)