Project Grant 2413840
Award Date
9/1/24
Completion Date
2/28/27
Dollars Obligated
$100K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Tallahassee, FL 32306, USA
Similar Awards
This $100,000 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program will support student travel to two 2022 USENIX conferences. Specifically, the grant will fund approximately 20 students to attend the 18th Symposium on Usable Privacy and Security (SOUPS '22) and 20 students to attend the 31st USENIX Security Symposium (Security '22). These conferences bring together academic, government, and industry researchers to foster...
This Project Grant from the National Science Foundation Division of Social and Economic Science provides $101,000 to support graduate student travel awards through the Society for Social Studies of Science's (4S) annual professional conference. The funding falls under the Social, Behavioral, and Economic Sciences federal grant program (CFDA 47.075). The travel awards will allow 4S to fund graduate student participation in its annual conference from June 2023 through May 2028. The conference is a...
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 $100,000 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems supports student travel to attend the Fifth Conference on Machine Learning and Systems (MLSYS 2022) from August 29 to September 1, 2022 in Santa Clara, California. The grant will fund selected graduate and undergraduate student attendance at MLSYS 2022, which focuses on research at the intersection of machine learning and systems. The conference aims to foster technical,...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $406,143 to Northeastern University to conduct research on formal verification of stateful distributed systems and their compositions. The key focus is developing composable semantic models that capture a variety of weakly consistent distributed system semantics, along with reusable correctness proofs and methodologies to simplify and scale...
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 from the National Science Foundation's Computer and Information Science and Engineering program, CFDA 47.070, provides $499,526 to Sri International for a Summer School on Formal Techniques from April 1, 2023 to December 31, 2025. The Summer School addresses the lack of trained users and developers in formal modeling and verification techniques, which are increasingly critical to ensuring the safety and security of software-reliant infrastructure. It exposes students to...
This Project Grant award of $306,475.00 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to investigate new semantic metrics of code complexity derived from automated verification tools. The project aims to validate the hypothesis that program verifiability is correlated with and may causally influence code comprehensibility for human developers. The research will also explore using verification tool...
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...