The National Science Foundation (NSF) awarded a $600,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program to the University of Georgia Research Foundation, Inc. (UGA Research Foundation) to develop methods for detecting and fixing bugs and performance problems in dynamic binary translation (DBT) systems. DBT technology is critical for applications such as hardware emulators and software testing tools, but creating efficient and accurate DBT systems is very challenging.
This 3-year project aims to improve the reliability, usability, and efficiency of DBT systems by introducing new verification techniques and practical testing methods. The project also includes teaching and mentoring activities to provide research opportunities for undergraduate students. No sub-awards are planned under this grant.
Generated 1/28/25, 10:33 AM