别名集切片与并行化研究 (2011年)

针对复杂程序的分析问题，提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法，在每个切片上并行地进行复杂程序分析，从而实现复杂程序分析的并行化，加快复杂程序分析速度。以SPEC CPU2000/CPU2006 中的部分C 程序为测试用例进行实验，结果表明，利用别名集切片技术可在4 个进程并行情况下，获得3.42 的加速比。