SDPA: An Optimizer for Program Analysis of Data-Parallel Applications | IEEE Conference Publication | IEEE Xplore