摘要
补充材料
NVIDIA CUDA编程指南2.3，2009年8月。 谷歌学者 
F.E.Allen和J.Cocke。 一种程序数据流分析程序。 Commun公司。 美国医学会，19（3）：1371976年。 ISSN 0001-0782。 谷歌学者 数字图书馆 
S.Balay、K.Buschelman、V.Eijkhout、W.Gropp、D.Kaushik、M.Knepley、L.C.McInnes、B.Smith和H.Zhang。 稀疏矩阵。 在PETSc用户手册第3章第55-66页。 3.0.0版，2008年12月。 谷歌学者 F.Banterle和R.Giacobazzi。 八边形抽象域在图形硬件上的快速实现。 H.R.Nielson和G.Filé，编辑，phStatic Analysis，计算机科学讲义第4634卷，第20章，第315-332页。 施普林格-柏林-海德堡，柏林，海德堡。 国际标准图书编号978-3-540-74060-5。 谷歌学者 数字图书馆 N.Bell和M.Garland。 在面向吞吐量的处理器上实现稀疏矩阵-向量乘法。 SC'09：《高性能计算网络、存储和分析会议记录》，第1-11页，美国纽约州纽约市，2009年。 ACM公司。 国际标准图书编号9781-605-5874-4-8。 谷歌学者 数字图书馆 S.Chaudhuri。递归状态机的次三次算法。 第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，第159-169页，美国纽约州纽约市，2008年。 ACM公司。 是9781-595-9368-9-9。 谷歌学者 数字图书馆 P.库索和R.库索。 抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。 第四届ACM程序设计语言原理研讨会会议记录，第238-252页，美国纽约州纽约市，1977年。 ACM出版社。 谷歌学者 数字图书馆 P.库索和R.库索。 程序分析框架的系统设计。 《POPL’79：第六届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集》，第269-282页，美国纽约州纽约市，1979年。 ACM公司。 谷歌学者 数字图书馆 R.Gupta、L.Pollock和M.L.Soffa。 并行化数据流分析。 1990 谷歌学者 M.S.赫奇特。 phFlow计算机程序分析。 Elsevier Science Inc.，美国纽约州纽约市，1977年。 国际标准图书编号0-444-00216-2。 谷歌学者 数字图书馆 N.D.琼斯。 Lambda表达式的流分析（初步版本）。 第八届自动化、语言和编程学术讨论会论文集，第114-128页，英国伦敦，1981年。 斯普林格·弗拉格。 国际标准图书编号（ISBN）3-540-10843-2。 谷歌学者 数字图书馆 G.A.基达尔。 全局程序优化的统一方法。 《POPL’73：第一届年度ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录》，第194-206页，美国纽约州纽约市，1973年。 ACM公司。 谷歌学者 数字图书馆 R.Kramer、R.Gupta和M.L.Soffa。 组合DAG：一种并行数据流分析技术。 IEEE并行和分布式系统汇刊，5（8）：805-8131994年8月。 编号1045-9219。 谷歌学者 数字图书馆 Y.F.Lee、T.J.Marlowe和B.G.Ryder。 并行执行数据流分析。 《90年超级计算：1990年ACM/IEEE超级计算会议记录》，第942-951页，美国加利福尼亚州洛斯阿拉米托斯，1990年。 IEEE计算机学会出版社。 国际标准书号0-89791-412-0。 谷歌学者 数字图书馆 Y.F.Lee、B.G.Ryder和M.E.Fiuczynski。 区域分析：数据流分析的并行消除方法。 IEEE传输。 柔和。 工程，21（11）：913--9261995。 ISSN 0098-5589。 谷歌学者 数字图书馆 N.P.Lopes和A.Rybalchenko。 分布式和可预测的软件模型检查。 程序中。 2011年1月，第十二届验证、模型检验和抽象解释国际会议（VMCAI）。 谷歌学者 数字图书馆 T·J·马洛和B·G·莱德。 一种高效的增量数据流分析混合算法。 1990年，美国纽约州纽约市，第17届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，第184-196页。 ACM公司。 国际标准图书编号0-89791-343--4。 谷歌学者 数字图书馆 M.Méndez-Lojo、A.Mathew和K.Pingali。 基于并行包含的分析点。 《面向对象编程系统语言和应用ACM国际会议论文集》，OOPSLA’10，第428-443页，美国纽约州纽约市，2010年。 ACM公司。 国际标准图书编号9781-450-3020-3-6。 谷歌学者 数字图书馆 J.Midtgaard和D.Van Horn。 亚立方体控制流分析算法。 高阶和符号计算，显示。 谷歌学者 M.Might和O.Shivers。 通过（Γ）CFA改进流分析：抽象垃圾收集和计数。 《ICFP’06：第十一届ACM SIGPLAN函数编程国际会议论文集》，第13-25页，美国纽约州纽约市，2006年。 ACM公司。 国际标准书号1-59593-309-3。 谷歌学者 数字图书馆 M.Might、Y.Smaragdakis和D.V.Horn。 解决和利用k-CFA悖论：阐明功能性与面向对象的程序分析。 《PLDI’10：2010年ACM SIGPLAN编程语言设计与实现会议记录》，第305-315页，美国纽约州纽约市，2010年。 ACM公司。 国际标准图书编号9781-450-3001-9-3。 谷歌学者 数字图书馆 J.Palsberg。约束形式的闭包分析。ACM编程语言和系统汇刊，17（1）：47-621995年1月。 ISSN 0164-0925。 谷歌学者 数字图书馆 B.G.Ryder和M.C.Paull。 数据流分析的消除算法。 ACM计算。 调查。， 18 (3): 277--316, 1986. ISSN 0360-0300。 谷歌学者 数字图书馆 O.Shivers。 方案中的控制流分析。 《1988年ACM SIGPLAN编程语言设计与实现会议论文集》，第23卷，第164-174页，美国纽约州纽约市，1988年7月。 ACM公司。 国际标准图书编号0-89791-269-1。 谷歌学者 数字图书馆 O.G.Shivers。 高阶语言的控制流分析。 卡内基·梅隆大学博士论文，1991年。 谷歌学者 数字图书馆 D.Van Horn和H.G.Mairson。 控制流分析中的关联复杂性和精确度。 在ICFP’07：第12届ACM SIGPLAN函数编程国际会议记录，第85-96页，美国纽约州纽约市，2007年。 ACM公司。 国际标准图书编号9781-59593-815-2。 谷歌学者 数字图书馆 D.Van Horn和H.G.Mairson。 EXPTIME的k-CFA决定已经完成。 在ICFP'08：第13届ACM SIGPLAN函数式编程国际会议的会议记录，第275-282页，美国纽约州纽约市，2008年。 ACM公司。 国际标准图书编号978-1-59593-919-7。 谷歌学者 数字图书馆 A.佐贝尔。 数据流方程的并行区间分析。 第二卷。 宾夕法尼亚州立大学出版社，1990年8月。 谷歌学者
建议
特征CFA：使用GPU加速流分析 POPL'11:ACM SIGPLAN-SIGACT第38届编程语言原理研讨会会议记录 我们描述、实现并测试了EigenCFA，这是一种使用GPU加速高阶控制流分析（特别是0CFA）的算法。 最终，我们的程序转换、缩减和优化在一个。。。 通过ΔCFA进行环境分析 2006年POPL会议记录 我们描述了一个新的程序分析框架，它基于CPS和过程字符串抽象，可以处理关键分析 k个 -CFA框架不能。 我们给出了有关正确性的主要定理，给出了应用分析，并对其进行了讨论。。。
