Array dataflow analysis for polyhedral X10 programs
Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay Saraswat · 2013
This paper addresses the static analysis of an important class of X10 programs, namely those with finish/async parallelism, and affine loops and array reference structure as in the polyhedral model. For such programs our analysis can certify whenever a program is deterministic or flags races.