A Compiler-Based Tool for Array Analysis in HPC Applications. - Ahmad Qawasmeh; Barbara M. Chapman; Amrita Banerjee (ICPP Workshops, 2012)