Eliminating stale data references through array data-flow analysis | IEEE Conference Publication | IEEE Xplore