Symbolic parallelization of loop programs for massively parallel processor arrays | IEEE Conference Publication | IEEE Xplore