O. Shacham, M. Vechev, and E. Yahav. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, volume 44 of PLDI '09, page 408--418. (June 2009)
V. Sundaresan, D. Maier, P. Ramarao, and M. Stoodley. Proceedings of the International Symposium on Code Generation and Optimization, page 87--97. Washington, DC, USA, IEEE Computer Society, (2006)