Automatic Inference of Optimizer Flow Functions from Semantic Meanings, Erika Rice Scherpelz, Sorin Lerner, Craig Chambers, Proc. PLDI 07, 2007, pp. 135-145.
