陈晖
- 作品数：6 被引量：9H指数：2
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 一种用于Java程序验证编译的标签类型被引量：2
- 2005年
- 在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的 Java 程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现 Java 程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的 Java 字节码即时编译器中.
- 陈晖陈意云茹祥民
- 一种类型化低级语言的设计与应用被引量：1
- 2006年
- 介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作,将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个具有微小的需信任计算基础的Java虚拟机的起点.
- 陈晖陈意云项森
- 关键词：代码安全
- 一种新型类型化中间语言的优化实现技术
- 2005年
- 类型化中间语言是提高代码安全性的一类重要方法。然而在其实现过程中,庞大的类型信息很难被高效地表达和操作。一个未经优化的实现将会给系统带来指数级增长的开销。该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于IntelORP(OpenRuntimePlatform)的即时编译器中。
- 李筱青陈晖陈意云
- 关键词：编程语言
- 液流电池储能模块的设计和优化
- 液流电池是最适合大规模储能的电化学技术之一，通常由一定数量的大型储能模块构成，每个模块包含多台电堆。因此，储能模块的设计优化和性能提升对液流电池的研究和应用具有重要意义。本论文以液流电池中应用程度最高、最接近商业化的钒电...
- 陈晖
- 关键词：液流电池变流量控制电压分布
- 一种用于Java虚拟机的类型化低级语言被引量：3
- 2006年
- 为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性·基于以上研究背景设计了一种类型化的低级语言TLL·TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言,以构造一个具有更小需信任计算基础的Java虚拟机系统为目的·TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象·基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个高安全且面向多种源语言的运行时系统的起点·
- 陈晖陈意云吴萍项森
- 关键词：代码安全
- 用类型保持编译技术构造高可信系统
- 本文综合叙述了已有的基于程序语言设计的软件安全研究。按照对安全性质推理方法的不同，将这类研究分成基于Hoare逻辑和基于类型系统两类。这两种方法在表达能力和推断自动性上各有优势。
本文提出了一种将这两种方法结...
- 陈晖
- 文献传递
