CSC News

September 29, 2008

Xie Receives Research Funding from Army Research Office

Dr. Tao Xie, assistant professor of computer science, has been awarded $300,000 by the Army Research Office to support his research proposal titled “Mining Program Source Code for Improving Software Quality.”

The award will run from September 8, 2008 through August 30, 2011.

Abstract - Improving software quality is becoming an important yet challenging task in software development, especially for those mission-critical or safety-critical software systems. Many software defects related to correctness, security, and robustness are caused by the incorrect usage of system or application programming interfaces (APIs). We propose to develop new approaches for mining API properties for static verification from the API client call sites in existing code repositories, and then detect violations of these mined API properties to find defects in code repositories.

For more information about Dr. Xie, click here.

Return To News Homepage