Project Grant 2303639

Award Date 9/15/23
Completion Date 8/31/25
Dollars Obligated $1.5M
Federal Grant Program
47.084
Assistance Type
Project Grant
Place of Performance
Princeton, NJ, USA
Similar Awards
The National Science Foundation (NSF) awarded a $299,697 Project Grant under the NSF Technology, Innovation, and Partnerships (TIP) program (CFDA 47.084) to Worcester Polytechnic Institute (WPI) for the "POSE: PHASE I: AN OPEN-SOURCE APPROACH TO MEASURE AND ANALYZE EMBEDDED SYSTEMS SECURITY" project. This project aims to create an open-source ecosystem (OSE) for the measurement and analysis of embedded systems security, based on the existing open-source ChipWhisperer project. Key...
The National Science Foundation (NSF) awarded a $1,500,000 Project Grant under the NSF Technology, Innovation, and Partnerships (CFDA 47.084) program to The Ohio State University on September 15, 2023. This project, titled "POSE: PHASE II: ADVOCATE LED LONG-TERM GAMEPLAN FOR OPEN ONDEMAND (ALL GOOD)", aims to build an open-source ecosystem around the NSF-funded Open OnDemand web portal, which provides global access to high-performance computing resources. Key activities include...
This $240,389 Project Grant award from the National Science Foundation's (NSF) Division of Computer and Network Systems (CFDA 47.070: Computer and Information Science and Engineering) supports research at the University of Utah on a new operating system architecture called NGOS. The key goals are to improve the security, reliability, and performance of modern operating systems by incorporating novel approaches for isolation, language safety, and formal verification of the kernel. The proposed...
The Trustees of Princeton University received a $158,700 Project Grant award from the National Science Foundation Office of Advanced Cyberinfrastructure on July 15, 2021 to support research activities concluding on June 30, 2022. The grant supports a collaborative research effort titled "COLLABORATIVE RESEARCH: PPOSS: PLANNING: A DISCIPLINED APPROACH TO SCALING IN THE POST-MOORE’S LAW ERA" under the Computer and Information Science and Engineering program (CFDA 47.070). This program...
This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...
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 $300,000 Project Grant from the National Science Foundation's Technology, Innovation, and Partnerships program will fund the Massachusetts Institute of Technology's development of an open-source ecosystem for OpenCilk, a task-parallel programming platform for multicore computers. The goal is to establish an academic user and contributor base for OpenCilk by focusing outbound networking, inbound engagement, and peer collaboration strategies on academic researchers, educators, and students....
The National Science Foundation (NSF) awarded a $1,500,000 Project Grant under the NSF Technology, Innovation, and Partnerships (CFDA 47.084) program to the Massachusetts Institute of Technology (MIT) to establish an open-source ecosystem called FASTCODE for the OpenCilk task-parallel programming platform. The two-year project, with a start date of August 1, 2024, aims to advance research and education in software performance engineering, enabling faster and more energy-efficient computing...
The National Science Foundation awarded a $255,805 Small Business Innovation Research Phase I Project Grant to Ossillate Inc. of Auburn, Alabama for work conducted from August 1, 2021 through July 31, 2022. Under the grant, Ossillate will research securing the open source software supply chain as part of the NSF's Engineering program (CFDA #47.041). The NSF Engineering directorate seeks to improve quality of life and economic strength by fostering innovation and excellence in engineering...
The National Science Foundation (NSF) awarded a $299,635 Project Grant under the Technology, Innovation, and Partnerships (CFDA 47.084) program to the University of Texas at Arlington (UTA) for a project titled "POSE: PHASE I: SCOPING AND PLANNING FOR AN OPEN-SOURCE ECOSYSTEM OF MACHINE LEARNING MODELS THAT SELECT TEXTS FOR RESEARCH PURPOSES". This grant supports scoping and planning activities to transition an academic research artifact - machine learning software that identifies...

The National Science Foundation (NSF) awarded a $1,500,000 Project Grant titled "POSE: PHASE II: A SUSTAINABLE OPEN SOURCE CONSORTIUM FOR THE TOCK SECURE EMBEDDED OPERATING SYSTEM" to The Trustees of Princeton University. The grant, which runs from Sep 15, 2023 to Aug 31, 2025, aims to sustain the Tock open-source operating system for microcontrollers through the development of documentation, developer tools, security audits, and educational resources.

The project involves subawards to Northwestern University, Stanford University, University of California San Diego, and University of Virginia to contribute to the creation of Tock documentation, testing frameworks, educational materials, and processes for accepting community contributions while maintaining high security assurance. These efforts are intended to support the growing ecosystem of companies, researchers, and educators using Tock for applications ranging from secure roots of trust in consumer electronics to automotive and wearable devices.

Generated 6/18/24, 9:10 AM