吴萍
- 作品数：5 被引量：30H指数：3
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Java虚拟机上的类型重建被引量：1
- 2005年
- 在实现一种新的类型化低级语言TLL(TypedLow-levelLanguage)的过程中,发现从Java到字节码(bytecode)的翻译过程中丢弃了部分类型信息。在设计中,不仅要保持字节码中现有的类型信息,而且要从中推导出丢失的类型信息。论文介绍了类型重建中的基本问题,并针对一些难解问题提出了重建算法。
- 茹祥民吴萍陈意云
- 关键词：JAVA虚拟机
- 并发Java程序同步操作的有效删除被引量：4
- 2005年
- 同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具.
- 吴萍陈意云张健
- 关键词：并发程序
- 一种用于Java虚拟机的类型化低级语言被引量：3
- 2006年
- 为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性·基于以上研究背景设计了一种类型化的低级语言TLL·TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言,以构造一个具有更小需信任计算基础的Java虚拟机系统为目的·TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象·基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个高安全且面向多种源语言的运行时系统的起点·
- 陈晖陈意云吴萍项森
- 关键词：代码安全
- 多线程程序数据竞争的静态检测被引量：23
- 2006年
- 多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误·因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示·检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果·
- 吴萍陈意云张健
- 关键词：并发程序数据竞争别名分析
- 多线程并发程序分析及别名算法研究
- 本文为提高分析效率，论文还提出了以对象为中心，结合Escape分析缩小检测范围的竞争检测算法,由于别名信息极大的影响了算法的效率和精度，论文首先探讨了不同设计要素对别名算法质量的影响，进而针对分析语言和并发结构设计了一种...
- 吴萍
- 关键词：并发程序
- 文献传递
