Martin C. Rinard Pedro C. Diniz Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. 54-67 1996 PLDI db/conf/pldi/pldi96.html#RinardD96