Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code
批准号:
2212558
负责人:
Thomas Reps
金额:
$20.92万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2022
资助国家:
美国
项目状态:
未结题
起止时间:
2022-08-01 至 2025-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Large neural models trained on massive amounts of code still often produce code of poor quality, with such elementary errors as uninitialized variables, type-incorrect expressions, and loops that never finish. Such errors can be a source of insidious software vulnerabilities. The root cause of these issues is that the models treat programs as syntactic rather than semantic artifacts, both during training and generation. The project's novelty is to couple such models with symbolic, semantics-aware methods for program synthesis developed in the formal-methods community. The project develops a neurosymbolic program-synthesis framework that closely couples deep learning and classical symbolic methods for program synthesis. The research explores new learning algorithms in which neural models of code (specifically, transformers) are exposed to explicit knowledge about program semantics, mechanisms that use transformers to direct specification-directed synthesizers, and combinations of classical synthesis and learned models to construct novel compositions of neurally generated programs. The project's impact are a unified framework for semantics-aware program synthesis, yielding better tools for automatically creating programs. The project develops a cross-institution Research Experiences for Undergraduates (REU) program, with a special focus on recruiting women, Hispanic, and Black students to participate.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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly
-
批准号:1420866
-
项目类别:Standard Grant
-
资助金额:$47.78万
-
财政年份:2014
-
负责人:Thomas Reps
-
依托单位:
SHF: Medium: MACANTOK -- a MAchine-Code-ANalysis TOol Kit -- and its Applications
-
批准号:0904371
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2009
-
负责人:Thomas Reps
-
依托单位:
Advanced Methods for Performing Static Analysis of Machine Code
-
批准号:0810053
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Thomas Reps
-
依托单位:
Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software
-
批准号:0540955
-
项目类别:Continuing Grant
-
资助金额:$27.5万
-
财政年份:2006
-
负责人:Thomas Reps
-
依托单位:
CT-ISG: Advanced Methods for Checking Information-Security Properties
-
批准号:0524051
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2005
-
负责人:Thomas Reps
-
依托单位:
Investigation of a New Compressed Representation of Boolean Functions
-
批准号:9986308
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2000
-
负责人:Thomas Reps
-
依托单位:
Shape-Analysis for Languages with Destructive Updating
-
批准号:9619219
-
项目类别:Standard Grant
-
资助金额:$14.99万
-
财政年份:1997
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Manipulation
-
批准号:9625667
-
项目类别:Standard Grant
-
资助金额:$16.04万
-
财政年份:1996
-
负责人:Thomas Reps
-
依托单位:
Travel Support for U.S. Participants at an International Workshop; Wadern, Germany; March 9-13, 1992
-
批准号:9122095
-
项目类别:Standard Grant
-
资助金额:$1.65万
-
财政年份:1992
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Integration
-
批准号:9100424
-
项目类别:Continuing Grant
-
资助金额:$33.12万
-
财政年份:1991
-
负责人:Thomas Reps
-
依托单位:
Presidential Young Investigator Award: Language-Based Program Development Tools
-
批准号:8552602
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1986
-
负责人:Thomas Reps
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: