• 阿南德A和塔库尔M. (2024). 分阶段编译系统的部分程序分析.系统设计中的形式化方法.2007年10月10日/10703-024-00458-x.

    https://link.springer.com/10.1007/s10703-024-00458-x

  • 阿南德A和塔库尔M. 分段静态+动态局部分析原理.静态分析。(44-73).

    https://doi.org/10.1007/978-3-031-22308-2_4

  • Weingarten M公司,西奥多里迪斯T和普罗科佩克A. 基于过程间部分逃逸分析的嵌入式效益预测第14届ACM SIGPLAN虚拟机与中间语言国际研讨会论文集。(13-24).

    https://doi.org/10.1145/3563838.3567677

  • 塔库尔M. 2020年后如何编写Java指针分析2020年ACM SIGPLAN国际研讨会论文集，主题是关于编程和软件的新思想、新范式和思考。(134-145).

    https://doi.org/10.1145/3426428.3426923

  • 王C,张M,姜瑜,张H,兴Z和顾M. Golang逃生分析ACM/IEEE第42届软件工程国际会议论文集：软件工程实践。(142-151).

    https://doi.org/10.1145/3377813.3381368

  • 语言C和斯蒂尔克里希一世. (2020). 安全关键嵌入式系统中逃生分析的设计与实现.嵌入式计算系统ACM事务.19:1.(1-20).在线发布日期：2020年1月31日.

    https://doi.org/10.1145/3372133

  • 塔库尔M和南迪瓦达五世. (2019). PYE公司.程序设计语言与系统学报.41:3.(1-37).在线发布日期：2019年9月30日.

    https://doi.org/10.1145/3337794

  • 塔库尔M和南迪瓦达五世. 比较少，推迟更多：基于全过程堆分析的缩放值控制第28届编译器构造国际会议论文集。(135-146).

    https://doi.org/10.1145/3302516.3307359

  • 拜马·S和Larus J公司. (2018). 详细的堆分析.ACM SIGPLAN通知.53：5.(1-13).在线发布日期：2018年12月7日.

    https://doi.org/10.1145/3299706.3210564

  • 拜马·S和Larus J公司. 详细的堆分析2018年ACM SIGPLAN内存管理国际研讨会论文集。(1-13).

    https://doi.org/10.1145/3210563.3210564

  • 斯蒂尔克里希一世,语言C,埃哈特C,隔间C和Stilkerich M公司. (2017). 完美脱身.嵌入式计算系统ACM事务.16:4.(1-30).在线发布日期：2017年9月15日.

    https://doi.org/10.1145/3035542

  • 安永会计师事务所,马其顿D,Merro M公司和斯波托F. 锁定规范的语义第八届NASA形式方法国际研讨会论文集-第9690卷。(355-372).

    https://doi.org/10.1007/978-3-319-40648-0_27

  • 郑毅,Bulej L公司和粘合剂W. (2015). 动态编译时的精确评测.ACM SIGPLAN通知.50:10.(433-450).在线发布日期：2015年12月18日.

    https://doi.org/10.1145/2858965.2814281

  • 黑山M,佩尼亚R和塞古拉C. (2015). 用正则语言进行函数语言中的形状分析.计算机程序设计科学.111：第1页.(51-78).在线发布日期：2015年11月1日.

    https://doi.org/10.1016/j.scico.2014.12.006

  • 郑毅,布列赫L和粘合剂W. 动态编译时的精确评测2015年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集。(433-450).

    https://doi.org/10.1145/2814270.2814281

  • 斯蒂尔克里希一世,语言C,埃哈特C和Stilkerich M公司. (2015). 一次实际的逃离.ACM SIGPLAN通知.50:5.(1-11).在线发布日期：2015年7月22日.

    https://doi.org/10.1145/2808704.2754961

  • 斯蒂尔克里希一世,语言C,埃尔哈特C和Stilkerich M公司. 一次实际的逃离第16届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具会议记录2015 CD-ROM。(1-11).

    https://doi.org/10.1145/2670529.2754961

  • 陈S,周日D和苗H. (2015). 别名和引用转义对Java程序分析的影响软件工程研究、管理和应用。10.1007/978-3-319-11265-7_8.(99-111).

    https://link.springer.com/10.1007/978-3-319-11265-7_8

  • 卢L. 参数化程序分析2014年软件工程理论方面会议论文集（tase 2014）。(98-105).

    https://doi.org/10.109/TASE.2014.12

  • 斯塔德勒L,瓦辛格T和莫森博克. Java的部分转义分析和标量替换IEEE/ACM年度代码生成和优化国际研讨会论文集。(165-174).

    https://doi.org/10.1145/2581122.2544157

  • 斯塔德勒L,瓦辛格T和莫森博克. Java的部分转义分析和标量替换IEEE/ACM年度代码生成和优化国际研讨会论文集。(165-174).

    https://doi.org/10.1145/2544137.2544157

  • 杜博斯克G,瓦辛格T,斯塔德勒L,维默C,西蒙·D和莫森博克. 动态编译器中推测优化的中间表示第七届ACM虚拟机和中间语言研讨会论文集。(1-10).

    https://doi.org/10.1145/2542142.2542143

  • 黑山M,佩尼亚R和塞古拉C. 用正则语言进行函数语言中的形状分析第十五届声明性编程原理与实践研讨会论文集。(251-262).

    https://doi.org/10.1145/2505879.2505893

  • 斯塔德勒L,杜博斯克G,莫森博克和瓦辛格T. 动态编译器的编译队列和图缓存第六届ACM虚拟机和中间语言研讨会论文集。(49-58).

    https://doi.org/10.1145/2414740.2414750

  • 扎雷姆巴W,林毅（Lin Y）和格罗弗五世. 日本第五届图形处理单元通用处理年度研讨会会议记录。(74-83).

    https://doi.org/10.1145/2159430.2159439

  • Higuera-Toledano M公司,尤文S和加伯维茨基D. (2012). 基于区域的内存管理：对其在RTSJ中支持的评估分布式、嵌入式和实时Java系统。10.1007/978-1-4419-8158-5_5.(101-127).

    https://link.springer.com/10.1007/978-1-4419-8158-5_5

  • 马森D和Midonnet S公司. (2012). 实时Java系统中非周期事件的处理分布式、嵌入式和实时Java系统。10.1007/978-1-4419-8158-5_3.(45-77).

    https://link.springer.com/10.1007/978-1-4419-8158-5_3

  • 阿斯拉姆F,芬内尔L,辛德豪尔C,Thiemann P公司和乌兹米Z. 离线GC第九届ACM嵌入式网络传感器系统会议记录。(302-315).

    https://doi.org/10.1145/2070942.2070973

  • 博尔兹C,库尼A,FijaBkowski M公司,亮氨酸M,佩德罗尼S和里戈A. 跟踪JIT中通过部分求值删除分配第20届ACM SIGPLAN部分评估和程序操作研讨会会议记录。(43-52).

    https://doi.org/10.1145/1929501.1929508

  • 梁P,跳闸O,奈克·M和萨吉夫M. (2010). 静态堆抽象精度的动态评估.ACM SIGPLAN通知.45:10.(411-427).在线发布日期：2010年10月17日.

    https://doi.org/10.1145/1932682.1869494

  • 梁P,跳闸O,奈克·M和萨吉夫M. 静态堆抽象精度的动态评估ACM面向对象编程系统语言和应用国际会议论文集。(411-427).

    https://doi.org/10.1145/11869459.1869494

  • 赖伦特E,卢巴斯一世,Pahtma R公司和库西克A. (2010). 用于病人家庭监护的医疗和环境数据采集系统2010年第12届波罗的海电子双年展（BEC2010）。10.1109/BEC.2010.5630890号.978-1-4244-7356-4.(269-272).

    http://ieeexplore.ieee.org/document/5630890/

  • 埃德文森M,伦德伯格J和洛·W. 并行可达性和逃逸分析。2010年第10届IEEE源代码分析和操作工作会议论文集。(125-134).

    https://doi.org/10.109/SCAM.2010.10

  • 王L和XU X系列. (2009). 基于逃逸分析的循环堆栈分配研究.中国计算机杂志.10.3724/SP.J.1016.2008.01101.31:7.(1101-1108).在线发布日期：2009年10月9日.

    http://pub.chinasciencejournal.com/article/getArticleRedirect.action？doiCode=10.3724/SP.J.1016.2008.01101

  • 伦德伯格J,古兹曼T,埃德文森M和Löwe W. (2009). 快速准确的分析点.信息和软件技术.51:10.(1428-1439).在线发布日期：2009年10月1日.

    https://doi.org/10.1016/j.infsof.2009.04.012

  • (2009). 工具书类数据流分析。10.1201/9780849332517.bmp附件.(371-378).在线发布日期：2009年3月27日.

    http://www.crcnetbase.com/doi/10.10201/9780849332517.bmatt

  • 托马斯·G,杰弗里N,Clément C公司和福利奥特B. (2008). 设计高度灵活的虚拟机：JnJVM体验.软件：实践与经验.10.1002/spe.887.38:15.(1643-1675).在线发布日期：2008年12月1日.

    https://onlinelibrary.wiley.com/doi/10.1002/spe.887

  • 科兹曼T,维默C,莫森博克,罗德里格斯T,罗素·K和考克斯D. (2008). 针对Java 6的Java HotSpot™客户端编译器的设计.ACM架构和代码优化事务.5:1.(1-32).在线发布日期：2008年5月1日.

    https://doi.org/10.1145/1369396.1370017

  • Zendra O公司,7月E日,杜库诺R,加格农E,琼斯·R,Krintz C公司,Mulet P公司和维泰克·J. 面向对象语言、程序和系统的实现、编译和优化.面向对象技术。ECOOP 2007车间读取器。10.1007/978-3-540-78195-0_6.(50-64).

    http://link.springer.com/10.1007/978-3-540-78195-0_6

  • 米尔斯坦T和帕尔斯伯格J. (2007). 类型系统编译器设计手册。10.1201/9781420043839.ch9.（9-1-9-22）.在线发布日期：2007年12月7日.

    http://www.crcnetbase.com/doi/10.201/9781420043839.ch9

  • 科德克·U,三亚A和卡卡雷A. (2007). 使用访问图进行堆引用分析.程序设计语言与系统学报.30:1.（1-秒）.在线发布日期：2007年11月1日.

    https://doi.org/10.1145/11290520.1290521

  • 阿尔伯特·E,Genaim S公司和Gomez-Zamalloa M公司. java字节码的堆空间分析第六届记忆管理国际研讨会论文集。(105-116).

    https://doi.org/10.1145/1296907.1296922

  • Grothoff C公司,帕尔斯伯格J和维泰克·J. (2007). 用受限类型封装对象.程序设计语言与系统学报.29:6.（32秒）.在线发布日期：2007年10月1日.

    https://doi.org/10.1145/1286821.1286823

  • 萨拉格纳克G,开膛手C和尤文S. 实时Java嵌入式系统中基于区域的半自动内存管理第13届IEEE嵌入式和实时计算系统及应用国际会议论文集。(73-80).

    https://doi.org/10.109/RTCSA.2007.67

  • Zendra O公司,7月E日,杜库诺R,加格农E,琼斯·R,Krintz C公司,Mulet P公司和维泰克·J. 面向对象语言、程序和系统的实现、编译和优化2007年面向对象技术会议记录。(50-64).

    /doi/10.5555/1787553.1787560

  • Cherem S公司和鲁吉纳R. 一种实用的建筑轻量化方法总结及效果分析第16届编译器建设国际会议论文集。(172-186).

    /doi/10.5555/1759937.1759953

  • 科兹曼T和莫森博克H. 基于逃逸分析的优化运行时支持代码生成和优化国际研讨会论文集。(49-60).

    https://doi.org/10.109/CGO.2007.34

  • 杜库诺R,加格农E,Krintz C公司,Mulet P公司,维泰克·J和Zendra O公司. (2007). 面向对象语言、程序和系统的实现、编译和优化.面向对象技术。ECOOP 2006车间读取器。10.1007/978-3-540-71774-4_1.(1-14).

    http://link.springer.com/10.1007/978-3-540-71774-4_1

  • Cherem S公司和鲁吉纳R. 建筑轻型化的实用逃生方法及效果分析综述.编译器构造。10.1007/978-3-540-71229-9_12.(172-186).

    http://link.springer.com/10.1007/978-3-540-71229-9_12

  • Larus J公司和拉杰瓦尔R. (2007). 编程事务存储器。事务性内存。10.1007/978-3-031-01719-3_2.(15-52).

    https://link.springer.com/10.1007/978-3-031-01719-3_2

  • 希尔P和斯波托F. （2006年）。 通过抽象解释推导逃逸分析.高阶与符号计算.19:4.(415-463).在线发布日期：2006年12月1日.

    https://doi.org/10.1007/s10990-006-0481-5

  • 科恩·M,Kooi S公司和Srisa-an W公司. 在多线程应用程序中对堆进行群集以改进垃圾收集第八届遗传与进化计算年会论文集。(1901-1908).

    https://doi.org/10.1145/1143997.1144314

  • 杜库诺R,加格农E,Krintz C公司,Mulet P公司,维泰克·J和Zendra O公司. 面向对象语言、程序和系统的实现、编译和优化2006年面向对象技术会议记录：ECOOP 2006研讨会阅读器。(1-14).

    /doi/10.5555/1789254.1789256

  • 卡尔森R,萨格纳斯K和威廉姆森J. （2006年）。 使用消息传递的并发程序消息分析.程序设计语言与系统学报.28:4.(715-746).在线发布日期：2006年7月1日.

    https://doi.org/10.1145/1146809.1146813

  • 盖耶S,麦金利K和弗兰普顿D. 免费-Me第27届ACM SIGPLAN编程语言设计与实现会议记录。(364-375).

    https://doi.org/10.1145/1133981.1134024

  • 盖耶·S,麦金利K和弗兰普顿D. （2006年）。 免费-Me.ACM SIGPLAN通知.41:6.(364-375).在线发布日期：2006年6月11日.

    https://doi.org/10.1145/1133255.1134024

  • 王莉（Wang L）和太阳X. 同步删除的退出分析2006年ACM应用计算研讨会论文集。(1419-1423).

    https://doi.org/10.1145/1141277.1141607

  • Larus J公司和拉贾尔·R. （2006年）。 事务型内存.计算机体系结构综合讲座.10.2200/S00070ED1V01Y200611CAC002.1:1.(1-226).在线发布日期：2006年1月1日.

    http://www.morganclaypool.com/doi/abs/10.2200/S00070ED1V01Y200611CAC002

  • 施A和Naumovich G公司. 计算Java组件可逃逸性和可变性的静态分析第五届IEEE源代码分析和操作国际研讨会论文集。（119至128）.

    https://doi.org/10.109/SCAM.2005.24

  • 琼斯·R和国王A. 动态类加载的线程局部垃圾收集快速分析第五届IEEE源代码分析和操作国际研讨会论文集。（129-138）.

    https://doi.org/10.109/SCAM.2005.1

  • Lattner C公司和副标题V. 自动池分配2005年ACM SIGPLAN编程语言设计与实现会议记录。(129-142).

    https://doi.org/10.1145/1065010.1065027

  • Lattner C公司和高级五级. (2005). 自动池分配.ACM SIGPLAN通知.40:6.(129-142).在线发布日期：2005年6月12日.

    https://doi.org/10.1145/1064978.1065027

  • 科兹曼T和莫森博克. 动态编译和反优化环境中的逃逸分析第一届ACM/USENIX虚拟执行环境国际会议记录。(111-120).

    https://doi.org/10.1145/1064979.10649996

  • 萨拉格纳克G,尤文S和加伯维茨基D. (2005). 基于区域的内存管理的快速逃逸分析.理论计算机科学电子笔记.131.(99-110).在线发布日期：2005年5月1日.

    https://doi.org/10.1016/j.entcs.2005.01.026

  • 洛戈佐F和科尔特斯A. (2005). 抽象解释与面向对象编程.理论计算机科学电子笔记.131.(75-84).在线发布日期：2005年5月1日.

    https://doi.org/10.1016/j.entcs.2005.01.024

  • 奥格尔F,托马斯·G和福利奥特B. 通过反射和动态编译支持高效的动态方面。2005年美国计算机学会应用计算研讨会论文集。(1351-1356).

    https://doi.org/10.1145/1066677.1066983

  • 巴特·G和杜菲G. 智能卡安全的形式化方法安全分析与设计基础III。(133-177).

    /doi/10.5555/2137760.2137767

  • 托马斯G,奥格尔F,加兰A,福利奥特B和皮乌玛塔一世. (2005). 在灵活编译器上构建灵活的Java运行时.国际计算机与应用杂志.10.2316/期刊2002.2005.1.202-1433.27:1.

    http://www.actapress.com/PaperInfo.aspx？paperId=20427

  • 托马斯·G,奥格尔F,加兰A,福利奥特B和皮乌玛塔一世. (2015). 在灵活编译器上构建灵活的Java运行时.国际计算机与应用杂志.10.1080/1206212X.2005.11441753.27:1.(27-34).在线发布日期：2005年1月1日.

    https://www.tandfonline.com/doi/full/10.1080/1206212X.2005.11441753

  • 巴特·G和杜菲G. (2005). 智能卡安全的形式化方法安全分析与设计基础III。2017年10月10日/1154578_5.(133-177).

    http://link.springer.com/10.1007/11554578_5

  • 萨戈纳斯K和威廉姆森J. 并发语言中消息分析引导的分配和低暂停增量垃圾收集第四届记忆管理国际研讨会论文集。(1-12).

    https://doi.org/10.1145/1029873.1029875

  • 盖耶·S和麦金利K. 找到你的密友第19届ACM SIGPLAN面向对象编程、系统、语言和应用年度会议记录。(237-250).

    https://doi.org/10.1145/1028976.1028996

  • 盖耶S和麦金利K. (2004). 找到你的密友.ACM SIGPLAN通知.39:10.(237-250).在线发布日期：2004年10月1日.

    https://doi.org/10.1145/1035292.1028996

  • 阿尔托C,哈维隆德K和比埃尔A. (2004). 利用块局部原子性检测过时值并发错误验证和分析自动化技术。10.1007/978-3-540-30476-0_16.(150-164).

    http://link.springer.com/10.1007/978-3-540-30476-0_16

  • 权J和水井A. (2004). RTSJ中基于方法调用的内存管理《走向有意义的互联网系统2004：OTM 2004研讨会》。10.1007/978-3-540-30470-8_49.(333-345).

    http://link.springer.com/10.1007/978-3-540-30470-8_49

  • 博格语A和油井A. (2004). 理解RTSJ范围记忆模型的表达能力《走向有意义的互联网系统2004：OTM 2004研讨会》。10.1007/978-3-540-30470-8_48.(315-332).

    http://link.springer.com/10.1007/978-3-540-30470-8_48

  • 蜜蜂M,鹳鸟C和弗兰兹·M. (2004). 高效可验证的逃逸分析ECOOP 2004–面向对象编程。10.1007/978-3-540-24851-4_4.(75-95).

    http://link.springer.com/10.1007/978-3-540-24851-44