Arkadeb Ghosal Rhishikesh Limaye Kaushik Ravindran Stavros Tripakis Ankita Prasad Guoqiang Wang Trung N. Tran Hugo A. Andrade Static dataflow with access patterns: semantics and analysis. 656-663 2012 DAC http://doi.acm.org/10.1145/2228360.2228479 conf/dac/2012 db/conf/dac/dac2012.html#GhosalLRTPWTA12