Project Grant FA86552017048

This National Science Foundation Project Grant of $1,199,992 will support the development of Scenario-Specific Symbolic Execution (S3E), a customizable symbolic execution framework, at Arizona State University from May 1, 2023 through April 30, 2027. The grant is funded through the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in all areas of computing, communications, and information science and...

This $379,800 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 innovative lightweight simulation techniques to enable faster performance modeling and optimization for next-generation, large-scale computing systems. The awardee, the University of Virginia (UVA), is designing a suite of simulation tools under the "Akita" framework that encompass three complementary...

This $600,000 National Science Foundation project grant supports the development of a generalized framework for responsive static analysis to verify software correctness. Funded under the Computer and Information Science and Engineering program (CFDA 47.070), this three-year award to the University of Colorado Boulder aims to advance abstract interpretation techniques. Researchers will develop novel algorithms enabling abstract interpretation to run more quickly for common use cases while...

This $533,000 Project Grant, awarded by the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure under the Computer and Information Science and Engineering (CFDA 47.070) program, supports collaborative research by the Massachusetts Institute of Technology (MIT) to develop end-to-end formal verification techniques for hardware accelerators, specifically tensor processing units (TPUs). The key objectives are to dramatically reduce the costs of developing and iterating on...

This three-year, $349,999 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop new techniques for automated lemma synthesis in interactive theorem provers. Specifically, the University of California, Los Angeles will reduce the lemma synthesis problem to a form of data-driven program synthesis, generating input-output examples from the current proof state to ensure generated lemmas target the user's goal. The project will...

This $900,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop the VERITAS framework for formally verifying performance properties of network control algorithms. Led by the Massachusetts Institute of Technology, researchers will create a means to encode algorithms in first-order logic, specify hypotheses about performance, and test hypotheses through simulation in a customizable network model. Additionally, given...

This Project Grant from the National Science Foundation (NSF) provides $150,000 to Case Western Reserve University to develop a software analysis framework and conduct a study of security and privacy risks in augmented reality (AR) mobile applications. The award falls under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports foundational research and education in computing disciplines. Specifically, the university will create static and dynamic...

This $256,157 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program aims to improve the effectiveness and efficiency of post-mortem execution analysis, a technique for debugging software systems. The project will develop methods to increase the efficiency of post-mortem analyses by embedding high-fidelity execution artifacts into low-fidelity forms, as well as improve the effectiveness of analyses over low-fidelity...

The Department of the Air Force Materiel Command Research Laboratory awarded a $249,469 Project Grant to the University of Texas at Austin under the Air Force Defense Research Sciences Program (CFDA 12.800). The grant funds the "TESTBED FOR AUTONOMY IN CONTESTED ENVIRONMENTS" project, which will develop and operate an experimental platform to advance research on autonomous systems operating in complex and adversarial conditions. The work directly supports the goals of the Defense...

This Project Grant award of $323,961 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program aims to develop innovative techniques for automated testing of augmented reality (AR) applications. The project, led by the Rochester Institute of Technology (RIT), will create an infrastructure to apply existing automatic graphics user interface (GUI) testing methods to AR apps. Key objectives include automating test scene construction, identifying...