A Compiler-Based Tool for Array Analysis in HPC Applications | IEEE Conference Publication | IEEE Xplore