Maximal static expansion

Abstract
Memory expansions are classical means to extract parallelismfrom imperative programs. However, for dynamiccontrol programs with general memory accesses, such transformationseither fail or require some run-time mechanismto restore the data flow. This paper presents an expansionframework for any type of data structure in any imperativeprogram, without the need for dynamic data flow restoration.The key idea is to group together the write operationsthat participate in the flow of the same...

This publication has 0 references indexed in Scilit: