Automatic inference of optimizer flow functions from semantic meanings.

Erika Rice Scherpelz Sorin Lerner Craig Chambers Automatic inference of optimizer flow functions from semantic meanings. 135-145 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250750 db/conf/pldi/pldi2007.html#ScherpelzLC07