NGS: CAREERS: Techniques and Applications of Dynamic Compilation
NGS: CAREERS: Techniques and Applications of Dynamic Compilation
批准号:
0093426
负责人:
Vikram Adve
金额:
$49.92万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-09-15 至 2007-08-31
中文摘要
EIA-0093426 Vikram S. AdveUniv.关于IllinoisCareers:动态优化技术及其应用基于动态优化的程序优化对当前和未来的计算系统具有重要意义。 静态优化是最主要的方法,将始终是必不可少的,但由于许多原因,它正变得越来越不够。 这些因素包括高级面向对象语言的流行,可移植解释语言(如Java)的激增,以及处理器体系结构的日益复杂。 所有这些趋势表明,动态编译(包括运行时程序分析,运行时优化和运行时代码生成)可能是非常重要的技术,以实现高性能在当前和未来的应用程序。通过这项工作的基础设施开发将支持广泛的职业规划,结合教学和研究。 该软件将有助于PI的教育工作,通过类项目的介绍和先进的类,并通过招募本科生为这些研究工作。
英文摘要
EIA-0093426Vikram S. AdveUniv. of IllinoisCAREERS: Techniques and Application of Dynamic CompilationCompiler-based program optimization is fundamentally important for current and future computing systems. Static optimization, the predominant approach, will always be essential but is becoming increasingly insufficient for many reasons. These include the popularity of high-level, object-oriented languages, the proliferation of portable, interpreted languages like Java, and the increasing complexity of processor architectures. All of these trends imply that dynamic compilation (including runtime program analysis, runtime optimization, and runtime code generation) is likely to be extremely important technology for achieving high performance in current and future application.The infrastructure developed through this work will support a broad career plan that integrates teaching and research. The software will contribute to the PI's educational efforts through class projects in introductory and advanced classes and through recruiting undergraduates for these research efforts.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
TWC: Small: Trustworthy Code Generation for the LLVM Compiler Infrastructure
-
批准号:1619275
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2016
-
负责人:Vikram Adve
-
依托单位:
CSR: Medium: Augmenting Logs with Static Analysis and Symbolic Execution
-
批准号:1564274
-
项目类别:Continuing Grant
-
资助金额:$90.0万
-
财政年份:2016
-
负责人:Vikram Adve
-
依托单位:
SHF: Medium: Programmability, Portability, Performance and Energy Efficiency for Heterogeneous Systems
-
批准号:1302641
-
项目类别:Standard Grant
-
资助金额:$89.98万
-
财政年份:2013
-
负责人:Vikram Adve
-
依托单位:
CSR: Small: Automated Software Fault Localization via Static and Dynamic Analysis
-
批准号:1219080
-
项目类别:Standard Grant
-
资助金额:$49.0万
-
财政年份:2012
-
负责人:Vikram Adve
-
依托单位:
General Language Mechanisms for Deterministic Parallel Programming
-
批准号:0702724
-
项目类别:Standard Grant
-
资助金额:$32.5万
-
财政年份:2007
-
负责人:Vikram Adve
-
依托单位:
CSR-AES: Language, Compiler and Run-time Support for Irregular Applications in Emerging High-productivity Languages
-
批准号:0720772
-
项目类别:Continuing Grant
-
资助金额:$42.0万
-
财政年份:2007
-
负责人:Vikram Adve
-
依托单位:
CRI: CRD: A Compiler-Based Virtual Machine Infrastructure for System Software
-
批准号:0709122
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2007
-
负责人:Vikram Adve
-
依托单位:
CT-ISG: Improving System Security with a Compiler-based Virtual Machine for Operating System Kernels
-
批准号:0716768
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2007
-
负责人:Vikram Adve
-
依托单位:
Cooperative Hardware/Software Designs for Virtual Instruction Set Computers
-
批准号:0429561
-
项目类别:Continuing Grant
-
资助金额:$15.0万
-
财政年份:2004
-
负责人:Vikram Adve
-
依托单位:
NGS: Collaborative Research: Performance Driven Adaptive Software Design and Control
-
批准号:0103756
-
项目类别:Continuing Grant
-
资助金额:$38.3万
-
财政年份:2001
-
负责人:Vikram Adve
-
依托单位:
Collaborative Research: Compiler-Supported Simulation of Scalable Applications for Wide-Area Distributed Computing Systems
-
批准号:9988482
-
项目类别:Continuing Grant
-
资助金额:$24.0万
-
财政年份:2000
-
负责人:Vikram Adve
-
依托单位:
海外基金