REU Site: Research Experience for undergraduates in Programming Languages (REPL)
REU 网站:编程语言本科生研究经验 (REPL)
基本信息
- 批准号:2244494
- 负责人:
- 金额:$ 32.21万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-02-15 至 2027-01-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
REPL (Research Experiences for undergraduates in Programming Languages) catalyzes the next generation of programming languages research by providing structured research opportunities for undergraduate students. REPL integrates its students with “PLClub,” Penn’s research group in programming languages. Over 10 weeks, students conduct cutting edge research, master the relevant prerequisites, read and analyze prior work, understand ongoing research trends, and learn how to prepare competitive PhD applications. REPL’s focus is to provide these opportunities especially to those underrepresented in the programming languages research community. Between 2012-2018, the Computing Research Association (CRA) Taulbee survey shows only 4.9% of PhD students in computer science who study programming languages and compilers are domestic underrepresented students. REPL is the first REU (NSF or otherwise) designed for underrepresented students with focus on programming languages. Programming languages themselves are the basic tools by which all modern software is constructed, so studying how to improve the reliability, quality, and performance of programming languages is essential to modern computing systems.REPL research focuses on fundamental questions concerning the correctness of computation. How do we specify and prove the correctness of a program? And how do we make these methods scale to large systems? From 2015-2022, PLClub faculty Steve Zdancewic, Benjamin Pierce, and Stephanie Weirich co-led an NSF Expedition in Computing on these questions that explored the “Science of Deep Specification.” Among other things, the expedition helped us reason about the Haskell programming language, LLVM compiler optimizations, web servers, and even the correctness of a lightbulb controller, yet much is left to do. Lightbulb control software, like much software we use daily, seems simple, but fully specifying and proving that it behaves correctly is not. This research uses the tools of formal mathematics, program semantics, and interactive theorem provers to make progress on these problems. Developing techniques to build highly-trustworthy software systems is a problem for the next generation: the one that REPL trains.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.
REPL(编程语言本科生研究经验)通过为本科生提供结构化的研究机会,将其学生与宾夕法尼亚大学编程语言研究小组“PLClub”整合在一起,以促进下一代编程语言的研究。进行前沿研究,掌握相关先决条件,阅读和分析先前的工作,了解正在进行的研究趋势,并学习如何准备有竞争力的博士申请。 REPL 的重点是为那些代表性不足的人提供这些机会。在编程语言研究界,计算研究协会(CRA)Taulbee 调查显示,研究编程语言和编译器的计算机科学博士生中只有 4.9% 是国内 REPL 学生。 REU(NSF 或其他)专为代表性不足的学生设计,重点关注语言编程。编程语言本身是构建所有现代软件的基本工具,因此研究如何提高编程语言的可靠性、质量和性能。是对现代计算系统至关重要。REPL 研究重点是有关计算正确性的基本问题,以及如何使这些方法扩展到大型系统? PLClub 教员 Steve Zdancewic、Benjamin Pierce 和 Stephanie Weirich 共同领导了一次 NSF 计算探险队,旨在探索“深度规范的科学”。编程语言、LLVM 编译器优化、Web 服务器,甚至灯泡控制器的正确性,还有很多工作要做。 灯泡控制软件,就像我们日常使用的许多软件一样,看起来很简单,但完全指定并证明其行为正确却很困难。这项研究使用形式数学、程序语义和交互式定理证明器的工具来在这些问题上取得进展,这是下一代人面临的问题:REPL 训练的人。授予 NSF 的法定使命,并通过评估反映使用基金会的智力优点和更广泛的影响审查标准,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Stephan Zdancewic其他文献
Stephan Zdancewic的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Stephan Zdancewic', 18)}}的其他基金
SaTC: CORE: Medium: Secure and Formally-verified Low-level Languages
SaTC:核心:中:安全且经过正式验证的低级语言
- 批准号:
2247088 - 财政年份:2023
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)
2019 年 ACM SIGACT-SIGPLAN 编程语言原理研讨会学生编程语言指导研讨会 (PLMW@POPL)
- 批准号:
1841603 - 财政年份:2018
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2018 Programming Languages
NSF 2018 年编程语言学生旅行补助金
- 批准号:
1749155 - 财政年份:2017
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
SHF: SMALL: NONSTANDARD COMPUTATIONAL MODELS OF LINEAR LOGIC
SHF:小:线性逻辑的非标准计算模型
- 批准号:
1421193 - 财政年份:2014
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
CCF: Medium: Validating Program Transformations in a Mechanized LLVM
CCF:中:在机械化 LLVM 中验证程序转换
- 批准号:
1065166 - 财政年份:2011
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
TC: Small: WATCHDOG: Hardware-Assisted Prevention of All Use-After-Free Security Vulnerabilities
TC:小:WATCHDOG:硬件辅助预防所有释放后使用安全漏洞
- 批准号:
1116682 - 财政年份:2011
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
SHF: SMALL: Practical Linear Types for Safe Protocols
SHF:SMALL:用于安全协议的实用线性类型
- 批准号:
1017027 - 财政年份:2010
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
Unifying Events and Threads: Language Support for Network Services
统一事件和线程:网络服务的语言支持
- 批准号:
0541040 - 财政年份:2006
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
CT-T: Resource-Guided Implementation of Secure Embedded Software
CT-T:安全嵌入式软件的资源引导实施
- 批准号:
0524059 - 财政年份:2005
- 资助金额:
$ 32.21万 - 项目类别:
Continuing Grant
Collaborative Research: CT-T: Flexible, Decentralized Information-flow Control for Dynamic Environments
合作研究:CT-T:动态环境下灵活、分散的信息流控制
- 批准号:
0524035 - 财政年份:2005
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
相似国自然基金
硅藻18S rDNA用于溺死地点推断人工智能预测模型的构建及法医学应用研究
- 批准号:82371901
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
新型WDR5蛋白Win site抑制剂的合理设计、合成及其抗肿瘤活性研究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
东北阜新-锦州盆地及其他地点早白垩世晚期的两栖爬行类研究
- 批准号:
- 批准年份:2020
- 资助金额:61 万元
- 项目类别:
面向多地点动态集结任务的空海无人系统智能协同控制研究
- 批准号:
- 批准年份:2020
- 资助金额:24 万元
- 项目类别:青年科学基金项目
线粒体LonP1蛋白酶介导的线粒体-内质网互作在心脏生理和病理功能中的调控作用及分子机制研究
- 批准号:91954101
- 批准年份:2019
- 资助金额:66.0 万元
- 项目类别:重大研究计划
相似海外基金
Collaborative Research: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究:REU 地点:地球与行星科学和天体物理学 REU 与纽约市立大学合作,位于美国自然历史博物馆
- 批准号:
2348999 - 财政年份:2025
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
Collaborative Research: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究:REU 地点:地球与行星科学和天体物理学 REU 与纽约市立大学合作,位于美国自然历史博物馆
- 批准号:
2348998 - 财政年份:2025
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
REU Site: Undergraduate Robotics Research for Rural Appalachia
REU 网站:阿巴拉契亚农村地区本科生机器人研究
- 批准号:
2348288 - 财政年份:2024
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
REU Site: Undergraduate Astrophysics Research in Appalachia
REU 网站:阿巴拉契亚本科生天体物理学研究
- 批准号:
2348764 - 财政年份:2024
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant
REU Site: Physics and Chemistry Research at The College of Wooster
REU 网站:伍斯特学院物理和化学研究
- 批准号:
2348889 - 财政年份:2024
- 资助金额:
$ 32.21万 - 项目类别:
Standard Grant