摘要
灰烬套房系列。 http://www.sable.mcgill.ca/software。 谷歌学者 SPEC JVM2008基准。 http://www.spec.org/jvm2008/。 谷歌学者 M.Q.Beers、C.H.Stork和M.Franz。 有效验证逃逸分析。 在2004年欧洲面向对象编程会议(ECOOP)上,LNCS,第3086/2004卷,第60-81页。 谷歌学者 S.M.Blackburn、R.Garner和C.Hoffman等人。DaCapo基准测试:Java基准测试开发和分析。 在2006年ACM SIGPLAN面向对象编程、系统、语言和应用会议上。 谷歌学者 数字图书馆 B.布兰切特。 面向对象语言的转义分析:Java应用程序。 《面向对象编程系统、语言和应用(OOPSLA)ACM会议论文集》,1999年。 谷歌学者 数字图书馆 J.Bogda和U.Hölzle。 删除Java中不必要的同步。 《面向对象编程系统、语言和应用(OOPSLA)ACM会议记录》,1999年,第35-46页。 谷歌学者 数字图书馆 S.Cherem和R Rugina。 一种实用的建筑轻量化逃逸和效果分析方法总结。 在2007年国际编译器构造会议上。 谷歌学者 数字图书馆 J.-D.Choi、M.Gupta、M.Serrano、V.C.Sreedhar和S.Midkiff。 Java转义分析。 《面向对象编程系统、语言和应用(OOPSLA)ACM会议论文集》,1999年,第1-19页。 谷歌学者 数字图书馆 L.R.克劳森。 使用副作用分析的java字节码优化器。 并发:实践与经验,9(11):1031--10451997。 谷歌学者 交叉引用 C.单击。 全球代码运动/全球值编号。1995年ACM SIGPLAN编程语言设计与实现会议进程。 谷歌学者 数字图书馆 K.D.Cooper和K.Kennedy。 线性时间内的硬膜外副作用分析。 《美国计算机学会编程语言设计与实现会议论文集》,1988年,第57-66页。 谷歌学者 数字图书馆 M.Edvinsson、J.Lundberg、W.Lowe。 并行可达性和逃逸分析。 第十届IEEE源代码分析和操作国际研讨会(SCAM),第125-1342010页。 谷歌学者 数字图书馆 A.Flexeder、M.Petter和H.Seidl。 汇编代码的副作用分析。 在第18届国际静态分析研讨会(SAS)上,2011年。 谷歌学者 数字图书馆 D.Gay和B.Steensgaard。 基于对象程序的快速转义分析和堆栈分配。 《第九届编译器建设国际会议论文集》,2000年,第82-93页。 谷歌学者 数字图书馆 M.辛德。 指针分析:我们还没有解决这个问题吗? 2001年,在ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会上。 谷歌学者 数字图书馆 A.Le、O.Lhoták和L.Hendren。 在jit优化中使用过程间副作用信息。 在2005年国际编译器构造会议上。 谷歌学者 数字图书馆 K.Lee、X.Fang和S.P.Midkiff。 实际逃生分析:它们有多好? 《第三届虚拟执行环境国际会议论文集》,第180-190页,2007年。 谷歌学者 数字图书馆 O.Lhoták和L.Hendren。 Scaling java指向使用spark进行分析。在2003年国际编译器构造会议上。 谷歌学者 数字图书馆 A.Milanova、A.Roundev和B.G.Ryder。 java指向分析的参数化对象敏感性。 ACM事务处理。 《软件工程与方法论》,14(1):1-412005年。 谷歌学者 数字图书馆 M.奈克。 有效的Java静态竞争检测。 斯坦福大学博士论文,2008年。 谷歌学者 数字图书馆 N.Nystrom、M.R.Clarkson和A.C.Myers。 Polyglot:一个可扩展的java编译器框架。 在2003年国际编译器构造会议上。 谷歌学者 数字图书馆 J.Qian、B.Xu和H.Min.Interstatement必须使用别名来分析堆位置的数据相关性。 2007年,在ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会上。 谷歌学者 数字图书馆 J.Qian、Y.Zhou、B.Xu。 通过延迟访问路径解析改进副作用分析。 2009年IEEE第九届源代码分析和操作国际工作会议,第35-44页。 谷歌学者 数字图书馆 C.拉扎菲马赫法。 java副作用分析研究。 麦吉尔大学硕士论文,1999年12月。 谷歌学者 A.Rountev。 准确识别java中的无副作用方法。 2004年第20届软件维护国际会议论文集。 谷歌学者 数字图书馆 B.G.Ryder、W.Landi、P.Stocks、S.Zhang和R.Altucher。 使用指针别名进行过程间修改副作用分析的模式。 美国计算机学会程序设计语言与系统学报,23(2):105--1862001。 谷歌学者 数字图书馆 A.Sălcianu和M.Rinard。 java程序的纯度和副作用分析。 2005年,在验证模型检查和抽象解释国际会议上。 谷歌学者 数字图书馆 R.Vallée-Rai、L.Hendren、V.Sundaresan、P.Lam、e.Gagnon和P.Cot.Soot——一种java优化框架。IBM高级研究中心会议(CASCON),1999年。 谷歌学者 J.Whaley和M.Rinard。 Java程序的组合指针和转义分析。 《第14届ACM面向对象编程系统、语言和应用(OOPSLA)会议论文集》,1999年,第187-206页。 谷歌学者 数字图书馆 J.Xue、P.H.Nguyen和J.Potter。 不完整面向对象软件模块的过程间副作用分析。 《系统与软件杂志》,80(1):92-1052007。 谷歌学者 数字图书馆
建议
不完全面向对象软件模块的过程间副作用分析 我们引入了一种新的方法来计算面向对象程序的一部分(例如,组件、库或客户端模块)的过程间修改副作用。 我们的方法包括首先执行一个完整的程序点来分析。。。