The National Science Foundation (NSF) awarded Yale University a $600,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The project aims to leverage the Rust programming language to achieve more cost-effective correctness in systems software, such as operating systems, complementing formal verification. Key scientific contributions include developing an intralingual representation system for system resources, applying design patterns to encode correctness into Rust types, and creating a hybrid approach combining formal and informal reasoning. The project also plans to extend these technologies to the Linux kernel. This work seeks to improve the security and reliability of computer systems, from embedded devices to data center servers, by making correctness more affordable for systems software developers. The project period runs from July 1, 2024 to June 30, 2027.
Generated 3/4/25, 4:02 AM