Michal Cierniak Wei Li Interprocedural Array Remapping. 146-155 1997 IEEE PACT http://computer.org/proceedings/pact/8090/80900146abs.htm db/conf/IEEEpact/IEEEpact1997.html#CierniakL97