Kathleen Knobe Vivek Sarkar Array SSA Form and Its Use in Parallelization. 107-120 1998 POPL http://doi.acm.org/10.1145/268946.268956 db/conf/popl/popl98.html#KnobeS98