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