Zhiyuan Li Junjie Gu Gyungho Lee Interprocedural Analysis Based on Guarded Array Regions. 221-246 2001 conf/cosps/2001 Compiler Optimizations for Scalable Parallel Systems Languages http://link.springer.de/link/service/series/0558/bibs/1808/18080221.htm db/conf/cosps/cosps2001.html#LiGL01