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 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant, titled "SHF: SMALL: A COMMUNICATION-CENTRIC VALIDATION FRAMEWORK FOR SYSTEM-ON-CHIP DESIGNS", aims to develop a holistic framework to overcome limitations in pre-silicon verification and post-silicon validation methods for System-on-Chip (SoC) designs. The $599,493 award, effective from January 15, 2025 to December 31, 2027, will enable the University of South Florida to...
This National Science Foundation (NSF) award under the Computer and Information Science and Engineering program (CFDA 47.070) provides $579,943 to The Ohio State University to develop a comprehensive cyberinfrastructure framework called FZ to streamline the creation of specialized lossy data compression software for scientific applications. The key products and services include: Creating programming interfaces and a compressor generator to enable the development of new lossy compressors from...
This Project Grant from the National Science Foundation's Computer and Information Science and Engineering program provides $250,000 to the College of William and Mary to support research and education activities under the EASER framework from June 2022 through May 2025. The award will fund the development of an integrated paradigm for application execution on heterogeneous high-performance computing clusters. Key products and services include compiler-driven performance prediction models, an...
This $235,000 Formula Grant award was provided by the Federal Highway Administration (FHWA) under the Highway Planning and Construction program (CFDA 20.205) to the South Carolina Department of Transportation (SCDOT). The funding will support the integration of the AASHTOWARE construction project management system and the P2S project management system for SCDOT's FY 2024 construction projects. This integration effort aims to enhance SCDOT's project management capabilities and streamline...
This $500,000 National Science Foundation project grant under the Integrative Activities program will support the acquisition of a high-performance computing cluster at the College of Staten Island to enhance research and education. The computing resource will consist of two computing nodes with hybrid CPU and GPU architecture integrated with large-capacity storage. This cluster aims to enable novel computational techniques across disciplines like biology, computer science, engineering and...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant, with a total funding of $359,140, will support an interdisciplinary collaborative research project between the University of Nevada, Reno (UNR) and other institutions. The project aims to develop a novel data-driven framework called SYSTOX that quantifies the toxicity impact of computer system design choices to address the growing challenge of computing e-waste. The researchers will...
The federal Formula Grant award, ID 693JJ22530000Y550SCP043578, was provided by the Federal Highway Administration (FHWA) under the Highway Planning and Construction program (CFDA 20.205). The $261,000.00 award, dated November 26, 2024, will fund the "FYS 2025-26 RCMS SOFTWARE ENHANCEMENT" project for the South Carolina Department of Transportation (SCDOT). This grant supports SCDOT's efforts to enhance its Road and Bridge Condition Monitoring System (RCMS) software, which plays a...