Project Grant 2211996
Award Date
7/1/22
Completion Date
6/30/25
Dollars Obligated
$625K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
This three-year, $571,846 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program will support the development of new techniques to formally verify Internet of Things and real-time communication systems. The researchers at the State University of New York at Buffalo will advance session type theory to address challenges in verifying the correctness of communication protocols for distributed systems involving periodic behaviors, asynchronous...
This Project Grant award of $376,450.00, provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, supports the development of a semantic framework for verifying the compliance of heterogeneous distributed systems, such as those found in cloud computing and the Internet of Things (IoT), with intended interaction protocols. The key goals of the project are to: (a) develop foundational reasoning techniques that can...
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) Federal Grant Program award of $319,197 to William Marsh Rice University, doing business as Rice University, supports the development of new programming techniques to enable more efficient and reliable Internet of Things (IoT) applications. The project aims to create: (i) high-level programming abstractions and languages to help IoT developers express complex multi-device application logic, (ii) formal...
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 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, provides $600,000 to the University of California, Santa Barbara (UCSB) to develop a new unifying computer science and engineering approach for building and deploying Internet of Things (IoT) systems. The project aims to create a software environment and ecosystem that is operational-ready using current digital technologies. The key products and...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) Project Grant award of $600,000 to Yale University will leverage the Rust programming language to enhance the correctness and reliability of systems software, such as operating systems. The project aims to develop innovative techniques for intralingual resource representation, design patterns for verifiable operating system implementation, and a hybrid approach combining formal and informal...
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 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 Division of Computer and Network Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $612,648 to Worcester Polytechnic Institute to develop new methods for securing embedded software. The awardee will shift security enforcement from developers to compilers using static analysis, runtime instrumentation, and hardware support. Enhancements will enable customization and promote longevity....