Project Grant 2319167
Award Date
10/1/23
Completion Date
9/30/27
Dollars Obligated
$500K
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
Cambridge, MA 02139, USA
Similar Awards
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Program project grant award (CFDA 47.070) provides $249,867 to New York University (NYU) from October 1, 2023 to September 30, 2027. Under this award, NYU will develop a prototype distributed database called VDDB and a new verification framework called PHLOX to formally specify and verify the correctness of VDDB. The goal is to demonstrate the feasibility of using formal verification to improve the...
This Project Grant award, totaling $406,143, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program. The award will support research at Northeastern University to develop composable semantic models and methodologies for formally verifying the correctness of weakly consistent distributed systems and their compositions. The key objectives are to create reusable verification frameworks that can scale to large-scale distributed...
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 $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 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 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...
The Massachusetts Institute of Technology (MIT) received a $500,000 Project Grant award from the National Science Foundation Division of Computer and Network Systems to support research titled "COLLABORATIVE RESEARCH: FMITF: TRACK I: COMPOSABLE VERIFICATION OF CRASH-SAFE DISTRIBUTED SYSTEMS WITH GROVE" from October 1, 2021 to September 30, 2025. The research is part of the Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated...
This National Science Foundation Project Grant of $399,999 supports research at New York University from October 1, 2022 to September 30, 2026 under the Computer and Information Science and Engineering program. The research aims to develop an automated system for discovering and verifying database query transformation strategies to improve query performance. Existing databases rely on manually specified strategies to optimize queries, but often miss opportunities. The project will model...
The Massachusetts Institute of Technology (MIT) was awarded a $500,000 Project Grant from the National Science Foundation (NSF) Division of Computer and Network Systems. The award is part of the NSF's Computer and Information Science and Engineering program (CFDA 47.070) and will support research into practical private information retrieval from October 1, 2021 to September 30, 2024. Specifically, MIT researchers will develop techniques to advance the security and privacy of data access...
This $400,000 Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE, CFDA 47.070) program supports a collaborative research effort led by Carnegie Mellon University (CMU). The project aims to develop a hardware-software co-design approach for high-performance in-memory analytic data processing. Key technical thrusts include mechanisms for in-place data analytics on dynamic random-access memory (DRAM), processing-in-memory (PIM)...