Project Grant 2319168
Award Date
10/1/23
Completion Date
9/30/27
Dollars Obligated
$250K
Funding Federal Agency
Division of Computer and Network Systems
Awarding Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
New York, NY 10012, USA
Similar Awards
The National Science Foundation (NSF) CISE program awarded a $500,000 Project Grant to the Massachusetts Institute of Technology (MIT) for the development of a prototype distributed database system called VDDB and a new verification framework called PHLOX. The goal of this 4-year project is to formally specify and verify the correctness of VDDB, which will incorporate sophisticated optimizations seen in real-world distributed database systems. The PHLOX framework aims to handle various forms...
This $900,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop "pay-as-you-go" technology for verifying consistency properties of distributed system designs. The objective is to reduce the burden of using formal methods to prove consistency guarantees, enabling more widespread adoption and enabling the creation of more reliable distributed systems. The project will implement...
This $406,143 National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) grant award to Northeastern University focuses on developing novel methodologies to improve the reliability and assurance of distributed computing systems. The project aims to create composable semantic models that can capture a variety of weakly consistent distributed system behaviors and enable scalable formal verification of complex, large-scale distributed systems. Key...
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,...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program grant, awarded to Purdue University on April 1, 2024, provides $176,309.00 in funding over a 5-year period through March 31, 2029. The project aims to develop a new database system optimized for disaggregated hardware architectures, which will improve performance, scalability, and elasticity of database applications. Key research thrusts include innovations in managing database logs and...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...
This Project Grant award in the amount of $165,000, provided by the National Science Foundation (NSF) under its Computer and Information Science and Engineering (CISE) program (CFDA 47.070), aims to enhance eventual data consistency in large-scale, multidimensional scientific computing through the development of a lightweight in-memory distributed ledger system. The project, led by Augusta University Research Institute, Inc. (dba Georgia Health Sciences), a non-profit research organization, will...
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 (NSF) awarded a $599,639 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Carnegie Mellon University. The grant supports research to develop foundational techniques that automatically remove inefficiencies in database query processing without requiring costly rewrites of application code. The key focus areas include: (1) improving the performance of user-defined functions (UDFs) without modifying application code,...
The National Science Foundation (NSF) awarded a $387,341 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to The Trustees of the Stevens Institute of Technology. The grant aims to develop theory, algorithms, and prototype tools for extending auto-active verification techniques to cover security hyperproperties. This research has the potential to transform computing practice by supporting accountability and trustworthiness of software...