Program Analysis

Program analysis focuses on automatically understanding and reasoning about the behavior of computer programs, aiming to improve software quality, performance, and security. Current research emphasizes leveraging machine learning, particularly graph neural networks and large language models, to enhance the precision and scalability of traditional static analysis techniques, with applications ranging from bug detection and performance prediction to API recommendation and program repair. These advancements are significantly impacting software engineering by enabling more efficient development processes, improved code reliability, and the automated detection of subtle vulnerabilities previously missed by human auditors.