REU Site: Trust and Reproducibility of Intelligent Computation
REU Site: Trust and Reproducibility of Intelligent Computation
批准号:
2244492
负责人:
Ganesh Gopalakrishnan
金额:
$40.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2023
资助国家:
美国
项目状态:
未结题
起止时间:
2023-03-15 至 2026-02-28
中文摘要
这个面向本科生的研究体验网站解决了日益增长的现实,即现代社会越来越依赖复杂的软件组件来按预期(值得信赖)工作并产生一致的结果(可重现)。可信性和可重复性决定了对软件产生的结果的采用和接受,这些软件涵盖了一系列应用,包括医疗诊断、面部识别、流量分析、网络安全和化学反应控制。计算机教育工作者有义务向下一代科学家和工程师--今天的本科生--灌输对增强软件系统可靠性、可信性和重复性的原则性方法的理解。一个典型的本科生没有充分接触到这些担忧,也没有足够的上述支持方法,但他们将是构建未来智能系统的人。因此,这个REU站点将解决这些问题,以及新出现的危险,例如在基于人工智能的应用程序中引入偏见或在软件系统的道德考虑方面泄露个人数据需求说明,这是可信度的另一个方面。学生将学习在可靠和可重复使用的科学和工程中通常使用的最先进的方法。每周的培训和活动课程将把整个队列聚集在一起,进行预先打包的练习,例如使用Jupyter笔记本电脑、软件版本控制、自动缺陷检测、自动性能分析和优化以及数据分析。这些活动被部署在由犹他大学运营的独一无二的转化性研究平台上,即NSF资助的CloudLab和PASH项目。通过大学本科生研究办公室和犹他州包容性计算中心的其他活动,研究人员可以提供关于研究最佳实践、伦理和包容性的研讨会。将重点放在结合机器学习、实现高效率的应用程序以及支持这些应用程序的系统上,每个本科生参与者将与一名教师导师和他们的研究小组合作完成一个研究项目,产生一份书面研究报告和一个包装良好的人工制品,共同使另一个人能够理解研究、重复实验和复制结果。学生被选入该项目的双重目标是扩大对计算机的参与,并为在本国机构机会严重有限的学生提供研究经验。该项目在开始和结束时都会进行评估,评估学生如何将他们的新理解应用到他们的研究项目中,并在学生申请研究生院时进行后续调查。该项目计划与其他机构共享这些评估和课程材料,以宣传值得信赖和可重复使用的软件的教育,以激励下一代科学家和工程师。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This Research Experience for Undergraduates Site addresses the growing reality that modern society is increasingly dependent on complex software components to work as expected (trustworthy) and produce consistent results (reproducible). Trustworthiness and reproducibility govern adoption and acceptance of the results produced by software across a range of applications including medical diagnostics, facial recognition, traffic analysis, network security, and chemical reaction control. Computing educators are obliged to instill in the next generation of scientists and engineers -- today’s undergraduates -- an understanding of principled methods that enhance software system reliability, trustworthiness, and reproducibility. A typical undergraduate student is not sufficiently exposed to these concerns nor the aforesaid supportive methods, and yet they will be the ones building future intelligent systems. Thus, this REU site will address these issues, as well as emerging dangers such as introducing bias into AI-based applications or leaking personal data demand instruction in ethical considerations of software systems, another aspect of trustworthiness. Student participants will learn the state-of-the-art methods typically used in trustworthy and reproducible science and engineering. Weekly training and activity sessions will bring the entire cohort together for pre-packaged exercises, e.g., using Jupyter notebooks, software version control, automated defect detection, automatic performance analysis and optimization, and data analysis. These activities are deployed on one-of-a-kind, translational research platforms operated by the University of Utah, namely the NSF-funded Cloudlab and the POWDER project. Additional activities through the university’s Office of Undergraduate Research and the Utah Center for Inclusive Computing allow the researchers to offer workshops on research best practices, ethics, and inclusion. With a focus on applications that incorporate machine learning, achieve high efficiency, and the systems that support the applications, each undergraduate participant will work with a faculty mentor and their research group to complete a research project, producing both a written research report and a well-packaged artifact that, together, enable another person to understand the research, repeat the experiments, and reproduce the results. Students are selected to the program with the dual goals of broadening participation in computing and offering research experiences to students with severely limited opportunities at their home institutions. The program is assessed at the beginning and end, with an evaluation of how students applied their new understandings to their research projects, with follow-ups conducted as students apply to graduate school. The project plans to share these assessments and the curricular material with other institutions to propagate education in trustworthy and reproducible software to galvanize the next generation of scientists and engineers.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report
基于智能计算的信任和可重复性的 NSF REU 站点:经验报告
DOI:
10.1145/3624062.3624100
发表时间:
2023
期刊:
and Analysis
影响因子:
--
作者:
[Hall, Mary, Gopalakrishnan, Ganesh, Eide, Eric, Cohoon, Johanna, Phillips, Jeff, Zhang, Mu, Elhabian, Shireen, Bhaskara, Aditya, Dam, Harvey, Yadrov, Artem]
通讯作者:
Yadrov, Artem
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
-
依托单位:
2017 Software Infrastructure for Sustained Innovation (SI2) Principal Investigator Workshop
-
批准号:1702722
-
项目类别:Standard Grant
-
资助金额:$9.5万
-
财政年份:2016
-
负责人: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
-
依托单位:
国内基金
海外基金
具有共形结构的高性能Ta4SiTe4基有机/无机复合柔性热电薄膜
-
批准号:52172255
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:瞿三寅
-
依托单位:
新型WDR5蛋白Win site抑制剂的合理设计、合成及其抗肿瘤活性研究
-
批准号:82103981
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:陈维琳
-
依托单位:
基于重要农地保护LESA(Land Evaluation and Site Assessment)体系思想的高标准基本农田建设研究
-
批准号:41340011
-
项目类别:专项基金项目
-
资助金额:20.0万元
-
批准年份:2013
-
负责人:钱凤魁
-
依托单位: