Erika Rice Scherpelz, Sorin Lerner, Craig Chambers. Automatic inference of optimizer flow functions from semantic meanings. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 135-145, ACM, 2007. [doi]
Abstract is missing.