2017 Software Infrastructure for Sustained Innovation (SI2) Principal Investigator Workshop
2017 Software Infrastructure for Sustained Innovation (SI2) Principal Investigator Workshop
批准号:
1702722
负责人:
Ganesh Gopalakrishnan
金额:
$9.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-12-01 至 2017-11-30
中文摘要
该项目将在弗吉尼亚州阿灵顿举办一个为期1.5天的研讨会,该研讨会将汇集来自大约250个奖项的SI2获奖者社区(目标是每个SSE和SSI项目都有一名首席研究员,其中许多是合作奖)。研讨会将有CDS&;E、CRISP和Venture资助的pi、SI2 EAGER和RAPID获奖者以及ACI VOSS项目的选定获奖者参加,该项目从社会和组织的角度审视网络基础设施。此外,靠近美国国家科学基金会将鼓励来自整个基金会的项目官员参与。本次研讨会的目标包括:(a)为pi提供一个重点论坛,以便彼此之间以及与NSF项目官员分享技术信息,(b)鼓励对新兴主题的探索,(c)在支持的软件项目中确定新兴的最佳实践,(d)激发对实现软件可持续性的新方法的思考,以及(d)通过在线门户网站传播研究人员的共享经验。讲习班预计将接待近150名SI2和其他获奖者、其他演讲者和小组成员。研讨会将采用混合风格,将传统的、自上而下的议程与互动的、适应性的、参与者驱动的议程相结合。建议的工作坊将有助现时软件及网络基建发展计划之间的意见交流。它将为与健壮软件开发和软件可持续性问题有关的问题提供指导。NSF项目官员的参与有望帮助跨学科SI2获奖者了解整个NSF网络基础设施的相关性和影响。这些研究人员和项目官员参与共同论坛将有助于确保作为SI2项目的一部分开发的网络基础设施软件将与大多数科学和工程领域相关并广泛适用。混合方法是创新的,并且有望在pi之间创建丰富的交互,从而产生更丰富的协作和学习。因此,本次研讨会的成果有可能为参与项目和更广泛的软件开发社区指导网络基础设施的发展和网络基础设施驱动的研究。
英文摘要
This project will host a 1.5-day workshop in Arlington, VA, which will bring together the community of SI2 awardees (with the goal of involving one principal investigator from each SSE and SSI project,many of which are collaborative awards) from approximately 250 awards. The workshop will have participation from CDS&E, CRISP and Venture funded PIs as well as SI2 EAGER and RAPID awardees and selected awardees of the ACI VOSS program that examines cyberinfrastructures from the social and organizational perspective. In addition, the proximity to NSF will encourage participation by Program Officers from across the Foundation. Goals of this workshop include: (a) providing a focused forum for PIs to share technical information with each other and with NSF Program Officers, (b) encouraging exploration of emerging topics, (c) identifying emerging best practices across the supported software projects, (d) stimulating thinking on new ways of achieving software sustainability, and (d) disseminating the shared experiences of the researchers via an online web portal. The workshop is expected to host close to 150 SI2 and other awardees, other speakers and panelists. The workshop will use a hybrid style, blending a traditional, top-down driven agenda with a interactive, adaptive, participant-driven agenda. The proposed workshop will support the exchange of ideas among the current software cyberinfrastructure development projects. It will provide guidance on issues related to the development of robust software and to the problem of software sustainability. Involvement of program officers across NSF is expected to help the interdisciplinary SI2 awardees understand the relevance and impact of cyberinfrastructure throughout the NSF. The participation of these researchers and program officers in a common forum will help ensure that the cyberinfrastructure software developed as part of SI2 projects will be relevant and broadly applicable to the most science and engineering domains possible. The hybrid approach is innovative and holds the promise of creating rich interactions among PIs, resulting in richer collaboration and learning. The results of this workshop thus have the potential to guide cyberinfrastructure development and cyberinfrastructure driven research for both the participating projects and for the wider software development community.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
REU Site: Trust and Reproducibility of Intelligent Computation
-
批准号:2244492
-
项目类别:Standard Grant
-
资助金额:$40.5万
-
财政年份:2023
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
FMiTF: Track-2 : Rigorous and Scalable Formal Floating-Point Error Analysis from LLVM
-
批准号:2319507
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2023
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
Collaborative Research: FMitF: Track-1: Correctness at Both Ends: Rigorous ML Meets Efficient Sparse Implementations
-
批准号:2124100
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2021
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
Collaborative Research: SHF: Medium: Practical and Rigorous Correctness Checking and Correctness Preservation for Irregular Parallel Programs
-
批准号:1956106
-
项目类别:Standard Grant
-
资助金额:$44.76万
-
财政年份:2020
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
FMiTF: Track II: Rigorous and Versatile Float-Point Precision Analysis and Tuning
-
批准号:1918497
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2019
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
SHF: Small: Indy: Toward Safe and Fast Compiler Flags
-
批准号:1817073
-
项目类别:Standard Grant
-
资助金额:$48.14万
-
财政年份:2018
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
SHF: Medium: Hierarchical Tuning of Floating-Point Computations
-
批准号:1704715
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2017
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
EAGER: Application-driven Data Precision Selection Methods
-
批准号:1643056
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2016
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
SI2-SSE: Scalable Multifaceted Graphical Processing Unit (GPU) Program Debugging
-
批准号:1535032
-
项目类别:Standard Grant
-
资助金额:$41.75万
-
财政年份:2015
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
XPS: EXPL: CCA: Collaborative Research: Nixing Scale Bugs in HPC Applications
-
批准号:1439002
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2014
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
CSR: SMALL: Design Validation Methods for Reliable and Efficient Floating-Point
-
批准号:1421726
-
项目类别:Standard Grant
-
资助金额:$39.83万
-
财政年份:2014
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
Collaborative Research: Localized, Layered Formal Hardware/Software Resilience Methods
-
批准号:1255776
-
项目类别:Continuing Grant
-
资助金额:$11.55万
-
财政年份:2013
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
CCF: SHF: Medium: Collaborative Research: A Static and Dynamic Verification Framework for Parallel Programming
-
批准号:1302449
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2013
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
SI2-SSE: Correctness Verification Tools for Extreme Scale Hybrid Concurrency
-
批准号:1148127
-
项目类别:Standard Grant
-
资助金额:$44.43万
-
财政年份:2012
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
EAGER: Formal Reliability Enhancement Methods for Million Core Computational Frameworks
-
批准号:1241849
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2012
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
Travel and Registration Support for Computer Aided Verification 2011
-
批准号:1118485
-
项目类别:Standard Grant
-
资助金额:$0.7万
-
财政年份:2011
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
Collaborative Research: MCDA: Formal Analysis of Multicore Communication APIs and Applications
-
批准号:0903408
-
项目类别:Standard Grant
-
资助金额:$18.83万
-
财政年份:2009
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
CPA-DA: Formal Methods for Multi-core Shared Memory Protocol Design
-
批准号:0811429
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:2008
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
CSR-SMA: Toward Reliable and Efficient Message Passing Software Through Formal Analysis
-
批准号:0509379
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
ITR: Protocol Synthesis and Verification
-
批准号:0219805
-
项目类别:Continuing Grant
-
资助金额:$26.0万
-
财政年份:2002
-
负责人:Ganesh Gopalakrishnan
-
依托单位:
海外基金