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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
海外基金