Vineeth Kumar Paleri Y. N. Srikant Priti Shankar Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. 1-20 2003 48 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/S0167-6423(02)00083-7 db/journals/scp/scp48.html#PaleriSS03