Project Grant 2219863
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$375K
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
Seattle, WA 98195, USA
Similar Awards
This $375,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program will fund the development of new technology to verify network-wide properties of dynamic data planes at Princeton University from October 2022 through September 2025. Specifically, the researchers will create formal specification and verification tools to check network configurations prior to deployment and monitor configurations as they execute. These tools will use a...
This $300,000 Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research at the University of California, Santa Cruz (UCSC) on developing consolidated data plane management tools for network functions (NFs). The project aims to design efficient algorithms and data structures to automatically manage the deployment and resource usage of multiple co-existing NFs, which are crucial for managing...
The National Science Foundation (NSF) awarded a $550,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to the University of California, Los Angeles (UCLA). The grant, titled "NETS: MEDIUM: PROVABLE GUARANTEES FOR NETWORK PROTOCOL IMPLEMENTATIONS," aims to develop techniques for generating provably reliable network protocol implementations to improve the overall reliability of the internet. Key products and services to be...
This $599,943 Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) aims to develop techniques for more efficient and resilient real-time communications in critical cyber-physical systems like aircraft, automobiles, and industrial control networks. The key innovations include creating holistic models, algorithms, and software designs to achieve the scalability, adaptability, and resiliency...
This $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
The University of Washington received a $205,296 Project Grant from the National Science Foundation Division of Computer and Network Systems under the federal Computer and Information Science and Engineering program (CFDA 47.070). The grant supports research to develop a new programming model for energy-efficient packet processing in network interface cards. The project aims to streamline and improve network input/output and energy efficiency for data-intensive applications in today's data...
This Project Grant award for $865,209, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to develop novel tools for implementing and proving the correctness of programmable networking hardware, such as network switches. The project aims to carry out formal proofs of functional correctness for complex optimizations that enable switches to process packets quickly, focusing on justifying the...
The University of Washington was awarded a $500,000 Project Grant from the National Science Foundation Division of Computer and Network Systems under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The three-year award will support the University's efforts to evolve the Defects4J benchmark and infrastructure to enable sustained innovation and reproducibility in software engineering research. Specifically, the University will work to enhance Defects4J, an...
The University of Washington was awarded a three-year, $599,995 Project Grant from the National Science Foundation Division of Computer and Network Systems under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research titled "COLLABORATIVE RESEARCH: CNS CORE: MEDIUM: RECONFIGURABLE KERNEL DATAPATHS WITH ADAPTIVE OPTIMIZATIONS" to be conducted between October 1, 2021 and September 30, 2024. Specifically, the University will investigate...
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...