CMU REU Site in Software Engineering (REUSE)

CMU REU 软件工程站点（REUSE）

• 批准号: 1852260
• 负责人: Joshua Sunshine
• 金额: $ 37.87万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-03-01 至 2023-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1852260&HistoricalAwards=false
• 关键词: CMU; REU; Site; Software; Engineering

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.

软件工程（SE）是一个丰富的领域，致力于通过各种工具和技术提高软件开发的有效性。软件工程的研究带来了计算机科学的核心方面，例如吸引人的语言和机器学习，以承担新兴的软件问题，例如隐私，安全性，移动性和适应性。 该项目支持卡内基 - 梅隆大学（Carnegie-Mellon University）的本科生（REU）网站正在进行的研究经验，该网站为学生提供了跨学科软件工程研究的培训，包括了解研究文献，制定和完善研究研究问题，为软件工程问题开发新的解决方案，以解决软件工程问题以及应用科学评估方法。该项目将在卡内基·梅隆大学（Carnegie Mellon University）的跨学科软件工程研究经验中支持30名本科生的学历。这些学生将主要来自仅本科生的机构，在该机构中，学生的研究机会有限，特别强调为科学，技术，工程和数学（STEM）以及一年级和二年级学生提供代表性不足的群体的成员提供机会。参与者将与教师导师进行研究，参加社区活动，并在夏季结束时通过传统出版物渠道和学生研究竞赛以及部门范围内的演讲来传达其工作。 该计划的主要目标是改善从大学到研究生院的管道，从研究生院到教师职位；同时，该网站积极培训研究生，是研究助手的有效导师，这是未来教师的关键技能。虽然建立在计算机科学基础上（例如算法，编程语言，编译器和机器学习），但软件工程是同时的工程学纪念碑。 也就是说，SE和SE研究问题的实践都围绕成功解决矛盾约束的技术解决方案。因此，成本和收益之间的权衡是评估方法和工具有效性的组成部分。 该REU网站通过解决软件工程和另一个领域的研究问题（包括隐私，安全，移动性以及人类心理学以及其他科学）的研究问题，进一步解决了这一问题。 这些问题的一个子集包括：*对关键开源基础架构的可持续维护；*开发新颖的编程语言，可以（a）支持和执行政治安全性属性，或（b）支持数学数据和符号的可视化； *跨分布式，面向服务的系统的隐私要求编码和分析； *自动识别和修复复杂的现代软件系统中的缺陷。该项目将基于许多与本科生在个人研究中与本科生一起工作的教师导师的经验。 该站点得到国防部与NSF REU计划合作的支持。该奖项反映了NSF的法定任务，并且使用基金会的知识分子优点和更广泛的影响标准，认为值得通过评估来获得支持。

项目成果

Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code

• 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

OmniCrawl: Comprehensive Measurement of Web Tracking With Real Desktop and Mobile Browsers

• 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

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.

Contextualizing toxicity in open source: a qualitative study

开源中的毒性：定性研究

• 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