Compiler Infrastructure: Development of a HIL/LIL Framework for a National Compiler Infrastructure
Compiler Infrastructure: Development of a HIL/LIL Framework for a National Compiler Infrastructure
批准号:
9612756
负责人:
Jack Davidson
金额:
$51.1万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1996
资助国家:
美国
项目状态:
已结题
起止时间:
1996-12-15 至 2000-11-30
中文摘要
编译器基础设施是尖端计算系统研究的关键和使能组件。无论研究的重点是开发新的优化算法、设计新的编程语言、创建新的软件工具、开发和分析实时系统,还是探索新的或实验性的体系结构特征,都需要一个完整、健壮和灵活的编译系统来及时进行现实的实验。该研究项目将开发一个名为ZEPHYR的编译器基础设施,以满足计算系统研究人员当前和未来的需求。西弗尔组织的主旨是将西弗尔中间语言的表示或形式与其内容分离。将中间语言的内容与其表示分离,允许研究人员使用最适合其需求的中间语言,扩展现有的中间语言,或开发新的HIL,但仍使用Zephy基础设施,并利用也使用该基础设施的其他研究小组的努力。
英文摘要
Compiler infrastructure is a key and enabling component of cutting-edge computing systems research. Whether the research is focusing on developing new optimization algorithms, designing a new programming language, creating new software tools, developing and analyzing real-time systems, or exploring new or experimental architectural features, a complete, robust, and flexible compilation system is required to perform realistic experiments in a timely fashion. This research project will develop a compiler infrastructure, called Zephyr, to meet the current and future needs of computing system researchers. The leitmotiv of Zephyr's organization is the separation of the representation or form of Zephyr's intermediate languages from their content. Decoupling the content of an intermediate language from its representation permits researchers to use an intermediate language most appropriate for their needs, to extend an existing intermediate language, or to develop a new HIL, yet still use Zephyr infrastructure and leverage off the efforts of other research groups also using the infrastructure.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CICI: UCSS: Helix++: Securing Open Science Platforms
-
批准号:2115130
-
项目类别:Standard Grant
-
资助金额:$49.8万
-
财政年份:2021
-
负责人:Jack Davidson
-
依托单位:
CCRI: Planning: Towards Building a Community Data Infrastructure for CyberSecurity Research
-
批准号:2016431
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2020
-
负责人:Jack Davidson
-
依托单位:
CC* Integration: Enhancement and deployment of LDM7 for scientific data distribution
-
批准号:1659174
-
项目类别:Standard Grant
-
资助金额:$100.0万
-
财政年份:2017
-
负责人:Jack Davidson
-
依托单位:
Collaborative Research: Stimulating Wide Interest in Computer Science Using Computer Security
-
批准号:0837609
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2009
-
负责人:Jack Davidson
-
依托单位:
CT-ISG: Robust and Efficient Tamper-Resistant Software
-
批准号:0716446
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2007
-
负责人:Jack Davidson
-
依托单位:
Collaborative Research: CRI: A Community Resource Development Project for a Retargetable and Reconfigurable Software Dynamic Translation Infrastructure
-
批准号:0551560
-
项目类别:Continuing Grant
-
资助金额:$10.68万
-
财政年份:2006
-
负责人:Jack Davidson
-
依托单位:
NGS: Collaborative Research: Adapting Program Code Continuously and Aggressively
-
批准号:0305144
-
项目类别:Continuing Grant
-
资助金额:$53.24万
-
财政年份:2003
-
负责人:Jack Davidson
-
依托单位:
NGS: Collaborative Research: Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation
-
批准号:0203956
-
项目类别:Standard Grant
-
资助金额:$16.0万
-
财政年份:2002
-
负责人:Jack Davidson
-
依托单位:
Experimental Partnership - Comprehensive Retargetable Embedded Systems Software Development Environment
-
批准号:0072043
-
项目类别:Continuing Grant
-
资助金额:$200.0万
-
财政年份:2000
-
负责人:Jack Davidson
-
依托单位:
Workshop to Promote Course/Curriculum Change Using C + + and the Closed Laboratory Model
-
批准号:9554715
-
项目类别:Standard Grant
-
资助金额:$9.13万
-
财政年份:1996
-
负责人:Jack Davidson
-
依托单位:
Flexible, Seamless Optimization for High-Performance Processors
-
批准号:9214904
-
项目类别:Continuing Grant
-
资助金额:$20.95万
-
财政年份:1993
-
负责人:Jack Davidson
-
依托单位:
Instruction Set Design and Evaluation
-
批准号:8611653
-
项目类别:Continuing Grant
-
资助金额:$12.76万
-
财政年份:1987
-
负责人:Jack Davidson
-
依托单位:
海外基金