Carnegie Mellon University was awarded a $465,848 project grant from the National Science Foundation on July 15, 2021 to complete work by June 30, 2024. The grant falls under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Specifically, the grant will fund CMU's "Solving the Parallel Functional Programming Challenge"...
Carnegie Mellon University was awarded a $616,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 grant will support research from June 2021 through May 2024 to develop secure hardware virtualization contexts for ephemeral cloud computing. The goal is to advance the development and use of research cyberinfrastructure to enable and accelerate discovery...
Carnegie Mellon University was awarded a $255,457 project grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will fund collaborative research titled "COLLABORATIVE RESEARCH: SHF: SMALL: FEEDBACK-DRIVEN MUTATION TESTING FOR ANY LANGUAGE" from September 1, 2021 through August 31, 2024. The research aims to advance the development and use of...
Carnegie Mellon University was awarded a $546,091 Project Grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will support the development of future-proof test corpus synthesis for evolving software from October 1, 2021 to September 30, 2024. The Computer and Information Science and Engineering program aims to advance computing and informatics...
Carnegie Mellon University was awarded a $482,252 project grant from the National Science Foundation Office of Advanced Cyberinfrastructure under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will support the development of cyberinfrastructure for spin and charge transport calculation of partially disordered alloys over a three year period from September 2021 through August 2024. The Computer and Information Science and Engineering program...
Carnegie Mellon University was awarded a $250,000 Project Grant from the National Science Foundation Division of Computer and Network Systems on October 1, 2021 for research concluding on September 30, 2024. The grant was awarded under the Computer and Information Science and Engineering program (CFDA #47.070) to support the "COLLABORATIVE RESEARCH: CNS CORE: MEDIUM: FROOT: FUTURE-PROOF, TRUSTWORTHY TELEMETRY ON HETEROGENEOUS NETWORKS" project. This three-year research project will...
The National Science Foundation awarded $544,003 to Carnegie Mellon University under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for a three-year Project Grant beginning October 1, 2022. The grant aims to develop formal libraries, methods, and tools to carry out tasks like encoding statements as clausal formulas and reducing search spaces in verified ways using automated reasoning and interactive theorem proving. Specifically, the university will...
Carnegie Mellon University was awarded a $360,000 project grant from the National Science Foundation Division of Information and Intelligent Systems. The grant is part of the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Under this award, Carnegie Mellon University will conduct collaborative research on trustworthy and explainable...
Carnegie Mellon University was awarded a three-year, $636,000 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research titled "COLLABORATIVE RESEARCH: SHF: MEDIUM: HERMES: ON-DEVICE DISTRIBUTED MACHINE LEARNING VIA MODEL-HARDWARE CO-DESIGN." Specifically, Carnegie Mellon University will conduct investigator-initiated research and education in computing and information science...
Carnegie Mellon University was awarded a $500,000 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The university will deliver research and education services focused on developing programming language techniques to make Bayesian inference algorithms more usable, accessible and reliable for challenging data science problems. Specifically, the university aims to apply static analysis, type systems...