Pointer Analysis for Structured Parallel Programs
並列プログラムのポインタ解析手法。論文では Cilk という C の拡張言語のように、どこが並列に動作するかプログラムを見ればすぐにわかるような言語が対象になっている。解析手法としては、ポインタがどこを指しているか表すグラフを構築する従来手法をストレートに並列プログラムに対応させた感じ。
author="Radu Rugina and Martin C. Rinard",
title="{Pointer Analysis for Structured Parallel Programs}",
journal="ACM Transactions on Programming Languages and Systems",
volume="25",
number="1",
pages="70--116",
year="2003"