Workshop: A Workshop on the Future of Compiler Research
Workshop: A Workshop on the Future of Compiler Research
批准号:
0605116
负责人:
David Padua
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2006
资助国家:
美国
项目状态:
已结题
起止时间:
2006-02-01 至 2007-07-31
中文摘要
虽然进入新的领域对于计算的未来和社会来说绝对重要,但保持计算核心领域的研究活力对于其智力和经济价值也很重要。就编译器而言,尽管已经取得了很大进展,但仍有大量悬而未决的问题,其解决方案可能会产生巨大的经济影响。知识价值PI要求资金支持组织一个研讨会,该研讨会将聚集编译器技术方面的一些主要研究人员,以确定编译器研究在下一个十年的议程。讲习班的主要目标是确定我们这个时代对编译器技术提出的巨大挑战和机遇,并评估成功的可能性。讨论的一些领域包括:程序优化策略;编译器对并行性的支持。-编译器正确性分析研讨会的最终结果将是一份报告,提交给美国国家科学基金会,并由研讨会组织者撰写一篇论文,预计将发表在广泛阅读的杂志上,如IEEE Computer或ACM Communications。更广泛的影响-工作坊参与者。我们希望聚集一些主要来自美国的编译器领域的主要研究人员和实践者,但也希望邀请一些,可能是三到四位国际研究人员。我们将做出必要的努力,使参与者在美国境内跨代、跨性别、跨种族和跨地域分布。-来自广大社区的贡献。我们计划以白皮书的形式向广大社区征求意见。我们将邀请最有意思的白皮书作者参加研讨会。
英文摘要
BackgroundWhile moving into new fields is definitively important for the future of computing, and for society, to maintain the vitality of research in the core areas of computing is also of importance for both its intellectual and economic value. In the case of compilers, although much progress has been made, there are still a vast number of open problems with solutions that may have dramatic economic impact.Intellectual MeritThe PI requests funds to support the organization of a workshop that will congregate some of the leading researchers in compiler technology to define an agenda for compiler research in the next decade. The main goal of the workshop will be to identify the great challenges and opportunities that our times present to compiler technology and assess the likelihood of success. Some areas of discussion will be:-Program optimization strategies-Compiler support for parallelism.-Compiler analysis for correctnessThe final outcome of the workshop will be a report to the National Science Foundation and a paper that the workshop organizers will write and expect to publish in a widely read magazine such as IEEE Computer or the Communications of the ACM. Broader Impact-Workshop participants. We expect to congregate a few of the leading researchersand practitioners in the area of compilers mainly from the US, but will also like toinvite a few, probably three or four, international researchers. We will make thenecessary effort to distribute participants across generations, gender, race andgeographical origin within the US. -Contributions from the community at large. We plan to request contributions from the community at large in the form of white papers. The authors of white papers with the most interesting ideas will be invited to participate in the workshop.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
XPS: FULL: FP: Collaborative Research:Advancing autovectorization
-
批准号:1533912
-
项目类别:Standard Grant
-
资助金额:$50.7万
-
财政年份:2015
-
负责人:David Padua
-
依托单位:
Collaborative Research: Conceptualizing an Institute for Using Inter-Domain Abstractions to Support Inter-Disciplinary Applications
-
批准号:1216788
-
项目类别:Standard Grant
-
资助金额:$13.5万
-
财政年份:2012
-
负责人:David Padua
-
依托单位:
EAGER: A Study of the Limitations of Program Analysis for Autovectorization
-
批准号:1251312
-
项目类别:Standard Grant
-
资助金额:$6.12万
-
财政年份:2012
-
负责人:David Padua
-
依托单位:
CSR: Large: Collaborative Research: Kali: A System for Sequential Programming of Multicore Processors
-
批准号:1111407
-
项目类别:Standard Grant
-
资助金额:$90.59万
-
财政年份:2011
-
负责人:David Padua
-
依托单位:
Indo-US Workshop on Parallelism and the Future of High-Performance Computing
-
批准号:0949178
-
项目类别:Standard Grant
-
资助金额:$9.0万
-
财政年份:2010
-
负责人:David Padua
-
依托单位:
Collaborative Research: Next Generation Compilers for Emerging Multicore Systems
-
批准号:0702260
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2007
-
负责人:David Padua
-
依托单位:
CSR-AES: Collaborative Research: Library Generators for Advanced Execution Systems
-
批准号:0509432
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:David Padua
-
依托单位:
NGS: Collaborative Research: An OpenMp Environment for Wide-Area Networked Computing
-
批准号:0103610
-
项目类别:Continuing Grant
-
资助金额:$35.0万
-
财政年份:2001
-
负责人:David Padua
-
依托单位:
ITR/SY: A New Framework For Program Optimization
-
批准号:0121401
-
项目类别:Standard Grant
-
资助金额:$180.0万
-
财政年份:2001
-
负责人:David Padua
-
依托单位:
ITR: An Optimizing Compiler for Languages with Programmable Memory Models
-
批准号:0081265
-
项目类别:Continuing Grant
-
资助金额:$49.0万
-
财政年份:2000
-
负责人:David Padua
-
依托单位:
MATLAB Extensions and Compiler Techniques for High-Performance Computing
-
批准号:9870687
-
项目类别:Continuing Grant
-
资助金额:$39.56万
-
财政年份:1999
-
负责人:David Padua
-
依托单位:
海外基金