Thakur, Aditya and Govindarajan, R (2008) Comprehensive Path-sensitive Data-flow Analysis. In: 6th International Symposium on Code Generation and Optimization, APR 06-09,, Boston, pp. 55-63.