Siddhartha Chatterjee John R. Gilbert Robert Schreiber Shang-Hua Teng Automatic Array Alignment in Data-Parallel Programs. 16-28 1993 POPL db/conf/popl/popl93.html#ChatterjeeGST93