Junjie Gu, Zhiyuan Li, Gyungho Lee: Symbolic Array Dataflow Analysis for Array Privatization and Program Parallelization. SC 1995: 47