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）是一个丰富的领域，专注于通过各种工具和技术提高软件开发的效率。软件工程研究将计算机科学的核心方面（例如编程语言和机器学习）引入到新兴的软件问题（例如隐私、安全性、移动性和适应性）中。 该项目支持卡内基梅隆大学正在进行的本科生研究体验 (REU) 站点，该站点为学生提供跨学科软件工程研究的培训，包括理解研究文献、制定和完善研究问题、开发软件工程问题的新颖解决方案以及运用科学的评价方法。该项目将支持在卡内基梅隆大学对 30 名具有跨学科软件工程研究经验的本科生进行为期 3 年的培训。这些学生将主要从本科院校招收，这些院校的学生研究机会有限，特别强调为科学、技术、工程和数学 (STEM) 领域代表性不足的群体成员以及一年级和二年级学生提供机会。参与者将与教师导师一起进行研究，参与社区活动，并通过传统的出版渠道和学生研究竞赛以及夏末的全系演讲来交流他们的工作。 该计划的主要目标是改善从大学到研究生院以及从研究生院到教职职位的通道；同时，该网站积极培训研究生作为研究助理的有效导师，这是未来教师的一项关键技能。虽然软件工程建立在计算机科学基础知识（如算法、编程语言、编译器和机器学习）的基础上，但它同时也是一个工程学科。 也就是说，SE 的实践和 SE 研究问题都围绕着成功解决冲突约束的技术解决方案。因此，成本和收益之间的权衡是评估方法和工具有效性的一个组成部分。 REU 网站进一步解决了软件工程与其他领域（包括隐私、安全、移动性、人类心理学和其他科学）交叉的研究问题。 这些问题的一部分包括：* 关键开源基础设施的可持续维护；* 开发新颖的编程语言，可以 (A) 支持和实施关键安全属性或 (B) 支持数学图表和符号的可视化； * 跨分布式、面向服务的系统的隐私要求的编码和分析；自动识别和修复复杂的现代软件系统中的缺陷。该项目将建立在许多与本科生进行个人研究合作的教师导师的经验之上。 该网站由国防部与 NSF REU 计划合作支持。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Obsidian: Typestate and Assets for Safer Blockchain Programming

Obsidian：用于更安全的区块链编程的类型状态和资产

• DOI: 10.1145/3417516
• 发表时间: 2020-12
• 期刊: 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-08
• 期刊: 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-08
• 期刊: 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
• 通讯作者: Sophie

The TikTok Tradeoff: Compelling Algorithmic Content at the Expense of Personal Privacy

TikTok 的权衡：以牺牲个人隐私为代价获得引人注目的算法内容

• DOI: 10.1145/3490632.3497864
• 发表时间: 2021-01
• 期刊: USA
• 作者: De Los Santos, Maya;Klug, Daniel
• 通讯作者: Klug, Daniel

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

OmniCrawl：使用真实桌面和移动浏览器全面测量网络跟踪

• DOI: 10.2478/popets-2022-0012
• 发表时间: 2021-11
• 期刊: Proceedings on Privacy Enhancing Technologies
• 作者: Cassel, Darion;Lin, Su;Buraggina, Alessio;Wang, William;Zhang, Andrew;Bauer, Lujo;Hsiao, Hsu;Jia, Limin;Libert, Timothy
• 通讯作者: Libert, Timothy