Project Grant 2204536
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$490K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Arlington, TX 76019, USA
Similar Awards
The University of Texas at Arlington (UTA) was awarded a $305,648 Project Grant by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program. The grant, awarded on June 1, 2024, supports the development of a new model development environment that combines live programming innovations with modeling languages to provide contextualized feedback during software model development. The project aims to lower the barrier for entry into software modeling...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
This $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
This National Science Foundation (NSF) $900,000 "COLLABORATIVE RESEARCH: SHF: MEDIUM: NATURAL LANGUAGE MODELS WITH EXECUTION DATA FOR SOFTWARE TESTING" Project Grant, awarded under the Computer and Information Science and Engineering program (CFDA 47.070), aims to develop natural language processing (NLP) models to simplify the development and maintenance of software tests. Key objectives include test generation, completion, update, and migration across programming languages, targeting...
The University of Florida was awarded a three-year, $300,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering program (CFDA 47.070) to conduct research towards variability-aware software analysis and testing. The university will extend software analysis techniques to automatically extract feature constraints from program code and check them against requirements specifications. Researchers will leverage variability-aware symbolic...
The National Science Foundation awarded a $275,000 Project Grant to the University of Texas at Austin under the Computer and Information Science and Engineering program (CFDA 47.070). The three-year award will support the development of program synthesis techniques to help software developers manage schema changes to databases. The project aims to simplify the schema modification process through automated techniques for migrating data between formats and updating code to reflect schema...
The University of Texas at Arlington received a $174,978 Project Grant award from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant supports research titled "Sustaining Cognitive Flow in Physical Making" from June 1, 2021 to May 31, 2023. The project aims to advance the development and use of research cyberinfrastructure to enable and accelerate discovery and innovation in computing, communications, and...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) provides $227,500.00 to the University of Texas at Arlington to develop an accelerated computation architecture for state modeling techniques and apply them to critical smart environment applications. The overarching goal is to pioneer the development of efficient algorithms and computation techniques to accelerate system modeling approaches, such as reachability...
The National Science Foundation awarded Iowa State University a $314,785 Project Grant under the Computer and Information Science and Engineering program to develop techniques for variability-aware software analysis and testing from September 1, 2022 to August 31, 2025. The University will extend software analysis methods to automatically extract feature constraints from program code and check them against requirements specifications, aiming to identify any inconsistencies and derive tests...
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...