Project Grant 2139612
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$500K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Boston, MA 02115, USA
Similar Awards
This Project Grant award of $389,494 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research at Northeastern University to develop new probabilistic programming languages (PPLs). The key objectives are to: Create new high-level ergonomic PPLs that compile to low-level tractable probabilistic models, enabling scalable probabilistic inference. Develop new compilation targets that allow richer classes of programs to benefit from...
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...
This $439,112 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program will support research to enable practical dynamic program reasoning across language boundaries in multi-language software systems. The award will fund the development of new foundations for dynamic analysis and application tools to diagnose cross-language correctness and security issues, helping to produce multi-language systems of...
This Project Grant award for $311,529, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to develop strategies and mechanisms for encapsulating unsafe software libraries in a way that guarantees errors in the library do not result in system vulnerabilities, while retaining near-ideal speed and resource efficiency. The project aims to empower developers to transition to safer programming languages...
The Massachusetts Institute of Technology (MIT) received a $448,421 Project Grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant funds MIT's research project to develop an "excompiler" - a new type of programming language and compiler that decouples algorithms from their organization and execution. This will allow algorithms and their...
This Project Grant award of $309,033 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program aims to advance quantum computing software optimization techniques. The project will develop novel programming languages, compilation algorithms, and testing tools to enable more effective and efficient large-scale quantum program optimizations across diverse quantum hardware platforms, beyond traditional qubit-based systems. Key objectives include...
This $500,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports the development of scalable software to realize "data polymorphism" - a novel paradigm that enables fast and adaptable scientific data retrieval with tailored error control. The key products and services to be delivered include: A generic framework to abstract the generation of progressive data representations, allowing for...
The National Science Foundation (NSF) awarded a $540,000 Project Grant to Northeastern University under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant, awarded on July 1, 2023 with a completion date of June 30, 2026, supports research on programming and reasoning about "actors" that share state in concurrent software applications. The key products and services to be delivered under this grant include: Developing a novel notation and programming...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $225,000 to Colorado State University to improve the code generation capabilities of large language models (LLMs). The project aims to develop novel program analysis techniques that can provide meaningful feedback to LLMs during training and decoding, enabling them to generate higher-quality, semantically-aware code. Key research activities...
This $360,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to improve the reliability and performance of parallelizing compilers by automatically verifying that translated parallel code has the same functionality as the original sequential code. The project will involve precise modeling of sequential and parallel program behavior, developing a verification tool, and mathematically proving the...