CMU REU Site in Software Engineering (REUSE)
CMU REU Site in Software Engineering (REUSE)
批准号:
1852260
负责人:
Joshua Sunshine
金额:
$37.87万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-03-01 至 2023-02-28
中文摘要
软件工程(SE)是一个丰富的领域,致力于通过各种工具和技术提高软件开发的有效性。软件工程的研究将计算机科学的核心方面,如编程语言和机器学习,与新兴的软件问题(如隐私、安全性、移动性和适应性)联系在一起。该项目支持卡内基-梅隆大学正在进行的本科生研究体验(REU)网站,该网站为学生提供跨学科软件工程研究方面的培训,包括理解研究文献,制定和提炼研究问题,开发软件工程问题的新解决方案,以及应用科学评估方法。该项目将支持对卡内基梅隆大学30名具有跨学科软件工程研究经验的本科生进行为期3年的培训。这些学生将主要从本科院校招收,这些院校的学生研究机会有限,特别强调为科学、技术、工程和数学(STEM)中代表性不足的群体成员以及一年级和二年级学生提供机会。参与者将在暑期结束时与教师导师一起进行研究,参加社区活动,并通过传统的出版渠道和学生研究竞赛以及整个系的报告来交流他们的工作。该项目的一个主要目标是改善从大学到研究生院和从研究生院到教职员工的渠道;同时,该网站积极培训研究生充当研究助理的有效导师,这是未来教职员工的关键技能。软件工程建立在计算机科学基础(如算法、编程语言、编译器和机器学习)的基础上,但同时也是一门工程学科。也就是说,SE和SE研究问题的实践都围绕着成功解决冲突约束的技术解决方案。因此,成本和收益之间的权衡是评估方法和工具有效性的一个组成部分。这个REU网站更进一步,解决了软件工程和另一个领域的研究问题,包括隐私、安全、移动性、人类心理学和其他科学。这些问题的一个子集包括:*关键开源基础设施的可持续维护;*开发能够(A)支持和执行关键安全属性或(B)支持数学图表和符号的可视化的新型编程语言;*跨分布式、面向服务的系统对隐私要求进行编码和分析;以及*自动识别和修复复杂的现代软件系统中的缺陷。该项目将建立在许多曾与本科生进行个人研究的教师导师的经验基础上。该网站由国防部与NSF REU计划合作支持。这一奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
Software engineering (SE) is a rich field focused on improving the effectiveness of software development through a variety of tools and techniques. Research in software engineering brings core aspects of computer science, such asprogramming languages and machine learning, to bear on emerging software concerns such as privacy, security, mobility, and adaptability. This project supports an ongoing Research Experiences for Undergraduates (REU) site at Carnegie-Mellon University that provides students with training in interdisciplinary software engineering research,including understanding the research literature, formulating and refining research questions, developing novel solutions to software engineering problems, and applying scientific evaluation methods. The project will support thetraining of 30 undergraduate students over 3 years with research experiences in interdisciplinary software engineering at Carnegie Mellon University. These students will be recruited primarily from undergraduate-only institutions where students have limited research opportunities, with a special emphasis on providing opportunities to members of underrepresented groups in Science, Technology, Engineering, and Mathematics (STEM) and first- and second-year students. Participants will perform research with faculty mentors, participate in community activities, and communicate their work both through traditional publication channels and student research competitions andvia department-wide presentations at the end of the summer. A primary goal for the program is to improve the pipeline from college to graduate school and from graduate school into faculty positions; simultaneously, the site actively trains graduate students to act as effective mentors of research assistants, a critical skill for future faculty members.While built on computer science fundamentals (like algorithms, programming languages, compilers, and machine learning), software engineering is simultaneously an engineering discipline. That is, both the practice of SE and SE research problems revolve around technical solutions that successfully resolve conflicting constraints. As such, trade-offs between costs and benefits are an integral part of evaluating the effectiveness of methods and tools. This REU site takes this further, by tackling research problems that are at the intersection of software engineering and another field, including privacy, security, mobility, and human psychology and other sciences. A subset of these problems includes, among others:* Sustainable maintenance of critical open source infrastructure;* Development of novel programming languages that can (A) support and enforcecritical security properties or (B) support visualization of mathematicaldiagrams and notation; * Encoding and analysis of privacy requirements across distributed,service-oriented systems; and* Automatic identification and repair of defects in complex, modern softwaresystems.The project will build on the experience of many of the faculty mentors who haveworked with undergraduate students in their individual research. This site is supported by the Department of Defense in partnership with the NSF REU program.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.
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1109/ase51524.2021.9678520
发表时间:
2021-11
期刊:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
影响因子:
--
作者:
[Chenyang Yang;Shurui Zhou;Jin L. C. Guo;Christian Kästner]
通讯作者:
Chenyang Yang;Shurui Zhou;Jin L. C. Guo;Christian Kästner
DOI:
10.2478/popets-2022-0012
发表时间:
2021-11
期刊:
Proceedings on Privacy Enhancing Technologies
影响因子:
--
作者:
[Darion Cassel;Su-Chin Lin;Alessio Buraggina;William Wang;Andrew Zhang;Lujo Bauer;H. Hsiao;Limin Jia;Timothy Libert]
通讯作者:
Darion Cassel;Su-Chin Lin;Alessio Buraggina;William Wang;Andrew Zhang;Lujo Bauer;H. Hsiao;Limin Jia;Timothy Libert
Obsidian: Typestate and Assets for Safer Blockchain Programming
Obsidian:用于更安全的区块链编程的类型状态和资产
DOI:
10.1145/3417516
发表时间:
2020
期刊:
ACM Transactions on Programming Languages and Systems
影响因子:
1.3
作者:
[Coblenz, Michael, Oei, Reed, Etzel, Tyler, Koronkevich, Paulette, Baker, Miles, Bloem, Yannick, Myers, Brad A., Sunshine, Joshua, Aldrich, Jonathan]
通讯作者:
Aldrich, Jonathan
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
PLIERS:将以用户为中心的方法集成到编程语言设计中的过程
DOI:
10.1145/3452379
发表时间:
2021
期刊:
ACM Transactions on Computer-Human Interaction
影响因子:
3.7
作者:
[Coblenz, Michael, Kambhatla, Gauri, Koronkevich, Paulette, Wise, Jenna L., Barnaby, Celeste, Sunshine, Joshua, Aldrich, Jonathan, Myers, Brad A.]
通讯作者:
Myers, Brad A.
DOI:
10.1145/3468264.3473492
发表时间:
2021
期刊:
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子:
--
作者:
[Cohen, Sophie]
通讯作者:
Cohen, Sophie
共 9 条
2024 - 2025 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Research Experiences for Undergraduates (REU) Principal Investigator Workshops
-
批准号:2407231
-
项目类别:Continuing Grant
-
资助金额:$32.96万
-
财政年份:2024
-
负责人:Joshua Sunshine
-
依托单位:
CAREER: Scientist-in-the-loop-software testing
-
批准号:2339830
-
项目类别:Continuing Grant
-
资助金额:$84.67万
-
财政年份:2024
-
负责人:Joshua Sunshine
-
依托单位:
REU SITE: CMU in Software Enginneering (REUSE)
-
批准号:2150217
-
项目类别:Standard Grant
-
资助金额:$41.63万
-
财政年份:2022
-
负责人:Joshua Sunshine
-
依托单位:
Enhancing flexible STEM thinking by generating interactive diagrams at scale
-
批准号:2119007
-
项目类别:Continuing Grant
-
资助金额:$84.94万
-
财政年份:2021
-
负责人:Joshua Sunshine
-
依托单位:
CCRI: Planning: Collaborative Research: A Platform for Conducting Software Engineering User Studies
-
批准号:2016586
-
项目类别:Standard Grant
-
资助金额:$4.2万
-
财政年份:2020
-
负责人:Joshua Sunshine
-
依托单位:
REU Site: Interdisciplinary Software Engineering
-
批准号:1560137
-
项目类别:Standard Grant
-
资助金额:$35.94万
-
财政年份:2016
-
负责人:Joshua Sunshine
-
依托单位:
海外基金