The National Science Foundation (NSF) awarded a $376,450 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Carnegie Mellon University (CMU). The grant supports the development of a semantic framework for verifying the compliance of heterogeneous distributed systems, such as cloud computing and Internet of Things (IoT) applications, with their intended interaction protocols.
The key objectives of this 5-year project are: (a) developing foundational reasoning techniques to handle the heterogeneity of modern systems, including guarantees for software across multiple languages and interactions with untrusted physical objects; (b) validating the framework through case studies, such as verifying properties like parametricity and noninterference, as well as IoT applications; and (c) training graduate and undergraduate students. The project employs linear session types and semantic logical relations to define protocol compliance and resource management, exploring both trusted and untrusted environment scenarios.
Generated 3/4/25, 5:01 AM