烟灰

一个Java字节码优化框架。本文介绍了一个优化Java字节码的框架south。该框架用Java实现,支持三种表示Java字节码的中间表示法:Baf,一种易于操作的字节码简化表示法;Jimple,一种适于优化的类型化3地址中间表示法;Grimp,一种适于反编译的Jimple聚合版本。我们描述了每种表示的动机,以及从一种表示转换到另一种表示的要点,为了证明该框架的有用性,我们实现了过程内和整个程序的优化。为了说明全程序字节码优化能够提高性能,我们给出了12个大型基准测试的实验结果,其中包括运行在jdk1.2forgnu/Linuxtm上的8个SPECjvm98基准测试。当使用解释器运行优化字节码时,这些结果显示了高达8%的改进,在使用JIT编译器运行时,提高了21%。


zbMATH参考文献(参考 26篇文章 引用)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. Amato,Gianluca;Meo,Maria Chiara;Scozzari,Francesca:关于收集程序分析的语义(2020)
  2. Dimovski,Aleksandar S.;Brabrand,Claus;Wąsowski,Andrzej:为提升分析寻找合适的可变性抽象(2019)
  3. Reis,Jacinto;Mota,Alexandre:用删减的GUI模型辅助探索性测试(2018)
  4. Chawdhary,Aziem;Singh,Ranjeet;King,Andy:Java恶意软件检测的字符串混淆的部分评估(2017)
  5. Feng,Yu;Martins,Ruben;Wang,Yuepeng;Dillig,Isil;Reps,Thomas W.:复杂API的基于组件的合成(2017)
  6. Frumkin,Asya;Feldman,Yotam M.Y.;Lhoták,Ondřej;Padon,Oded;Sagiv,Mooly;Shoham,Sharon:证明不存在并发修改错误的属性定向可达性(2017年)
  7. Srikanth,Akhilesh;Sahin,Burak;Harris,William R.:使用引导定理枚举进行复杂性验证(2017)
  8. Sluşanschi,Emil I.;Dumitrel,Vlad:ADiJaC——Java类文件的自动区分(2016)
  9. Schäf,Martin;Tiwari,Ashish:不一致代码的严重程度(2015年)
  10. Raman,Raghavan;Zhao,Jisheng;Sarkar,Vivek;Vechev,Martin;Yahav,Eran:异步完成并行的高效数据竞争检测(2012)
  11. De,Arnab;D'Souza,Deepak;Nasre,Rupesh:无数据竞赛项目的数据流分析(2011)
  12. 休伯特,劳伦特;巴里,尼古拉斯;贝松,弗里德里克;德尔芬德曼奇;詹森,托马斯;蒙福特,文森特;皮查迪,大卫;图尔平,蒂法恩:Sawja:Java静态分析研讨会(2011年)
  13. Møller,Anders;Schwartzbach,Michael:程序分析中的XML图(2011)
  14. Møller,Anders;Schwarz,Mathias:上下文无关语言的HTML验证(2011)
  15. Tate,Ross;Stepp,Michael;Tatlock,Zachary;Lerner,Sorin:《等式饱和:优化的新方法》(2011)
  16. Alex Villazón;Walter Binder;Philippe Moret;Ansaloni,Danilo:Java综合方面编织(2011)ioport公司
  17. Vechev,Martin;Yahav,Eran;Raman,Raghavan;Sarkar,Vivek:结构化并行程序确定性的自动验证(2010)
  18. Antkiewicz,Michał;Tonelli bartolomei,Thiago;Czarnecki,Krzysztof:从应用程序代码中快速提取高质量框架特定模型(2009)ioport公司
  19. Jason Sawin;Rountev,Atanas:使用动态收集的环境信息改进Java中动态类加载的静态分辨率(2009)ioport公司
  20. 系统化:Java虚拟机中轻量级CPU计算和控制的程序转换(2008)