Automatic inference of optimizer flow functions from semantic meanings. - Erika Rice Scherpelz; Sorin Lerner; Craig Chambers (PLDI, 2007)