Rajeev Joshi Greg Nelson Yunhong Zhou Denali: A practical algorithm for generating optimal code. 967-989 2006 28 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/1186633 db/journals/toplas/toplas28.html#JoshiNZ06