Project Grant 2203217
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$613K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Boone, NC 28608, USA
Similar Awards
The National Science Foundation (NSF) has awarded a $533,995 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Iowa State University of Science and Technology (Iowa State University). The 4-year grant, spanning from October 1, 2023 to September 30, 2027, aims to improve the performance, robustness, generalizability, and efficiency of deep learning models for critical software assurance tasks such as bug detection, debugging, test input...
This $256,710 National Science Foundation award under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project led by the University of Texas at Austin. The project investigates full-stack implementation methodologies for developing expressive programming systems that bridge the gap between high-level specifications and high-performance implementations of complex reasoning tasks at scale. Key focus areas include extending declarative...
The National Science Foundation awarded a $235,255 project grant to Georgia State University Research Foundation Inc. under the STEM Education (formerly Education and Human Resources) federal grant program (CFDA 47.076). The grant will support the development and delivery of twelve experiential learning activity sets focused on raising security awareness among college students for designing trustworthy, deep learning-based applications. The activities are intended to concretize learners'...
This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
The National Science Foundation awarded a $597,785 Project Grant to Purdue University to develop new techniques for automated verification and synthesis of input generators in property-based testing frameworks. This grant, funded through NSF's Computer and Information Science and Engineering program (CFDA 47.070), aims to enable precise reasoning about the soundness and completeness of software testing generators. The project will focus on developing new specification frameworks, type systems,...
The National Science Foundation awarded a $666,000 Project Grant to The Trustees of Columbia University in the City of New York (Columbia University) through the Computer and Information Science and Engineering Program (CFDA #47.070). The objective is to improve the performance, robustness, generalizability, and efficiency of deep learning models for software assurance tasks such as bug detection, debugging, test input generation, and test suite prioritization. The research focuses on encoding...
The National Science Foundation awarded $544,003 to Carnegie Mellon University under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for a three-year Project Grant beginning October 1, 2022. The grant aims to develop formal libraries, methods, and tools to carry out tasks like encoding statements as clausal formulas and reducing search spaces in verified ways using automated reasoning and interactive theorem proving. Specifically, the university will...
The National Science Foundation awarded a $174,187 two-year Project Grant to Worcester Polytechnic Institute under the Computer and Information Science and Engineering program (CFDA #47.070). The grant supports research into optimization and sampling algorithms with provable generalization and runtime guarantees, and their applications to deep learning. The Computer and Information Science and Engineering program aims to advance computing and communication sciences through investigator-initiated...
The National Science Foundation (NSF) awarded a $582,269 project grant to Syracuse University, a private university in Syracuse, New York, under the Computer and Information Science and Engineering (CFDA 47.070) program. The 5-year grant, awarded on August 1, 2023, supports the development of a "full-stack approach to declarative analytics at scale." The research investigates methodologies for implementing expressive programming systems that can effectively bridge the gap between...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program provides $599,291 to The University of Iowa to develop a new core language for the Haskell programming language. The project aims to create a unified feature that captures both type classes and type families, simplifying Haskell implementations and making existing features more regular and expressive. The research will enable new capabilities in Haskell and make...