Project Grant 2226448
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$600K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Riverside, CA 92521, USA
Similar Awards
This $500,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop new techniques for software vulnerability discovery. Specifically, the University of California, Riverside will receive funding from February 2022 through January 2025 to create a fast binary code concolic execution engine and dual concolic execution approach that combines source code and binary code analysis. These new methods seek to significantly...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award of $300,000 to Carnegie Mellon University (CMU) aims to develop principled techniques and tools for testing multi-threaded programs written in managed runtime languages like Java. The project will create a controlled concurrency testing solution that can deterministically control thread scheduling, systematically explore thread schedules to uncover hard-to-find...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award in the amount of $263,900 to the Regents of the University of California at Riverside (UC Riverside) supports the development of new automated code transpilation, testing, and debugging technologies to lower the barriers of developing heterogeneous computing applications. The project aims to improve developer productivity and accessibility to...
The National Science Foundation (NSF) awarded a $339,977 Project Grant to the University of California, Santa Cruz (UCSC) for the "COLLABORATIVE RESEARCH: SHF: SMALL: RUI: KEYSTONE: MODULAR CONCURRENT SOFTWARE VERIFICATION" project under the NSF's Computer and Information Science and Engineering (CISE) program (CFDA 47.070). This 3-year project aims to advance the field of multi-threaded software verification by developing new specification techniques and verification tools. The key...
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 $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 key objectives are to: (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...
The National Science Foundation (NSF) Division of Computing and Communication Foundations awarded a $593,022 Project Grant to The Trustees of the Stevens Institute of Technology in Hoboken, New Jersey. This grant, under NSF's Computer and Information Science and Engineering (CFDA 47.070) program, supports a project focused on developing new formal verification techniques for concurrent software. The project aims to bridge the gap between intuitive scenario-based reasoning and rigorous...
This $194,789 Project Grant was awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the Regents of the University of California at Riverside (UC Riverside). The grant supports a CAREER project focused on developing efficient algorithms and data structures for parallel computing on modern hardware architectures. The project aims to address two key challenges in parallel algorithm design: space...
This Project Grant award of $620,000 from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support the development of an end-to-end toolchain for formally verifying the correctness of concurrent C programs. The goal is to create tools that can mathematically prove the proper behavior of high-performance C programs that perform multiple computations simultaneously, addressing the high error-proneness of concurrent C code. The...
This Project Grant award for $269,920 from the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070) will support the development of community-based tools to enhance students' self-regulated learning of parallel programming. The project will focus on engaging students in metacognitive processes to improve their learning of parallel programming concepts. Key activities include developing a...