About Us

Welcome to the homepage of the Program Analysis Group at Georgia Tech!

We do research in the areas of programming languages and software engineering.  We investigate algorithms and systems for improving programmer productivity and software quality in a broad sense, encompassing reliability, security, performance, scalability, and energy efficiency. Our current projects address these issues in the context of modern computing platforms, including parallel, mobile, and cloud computing.

Recent News

Apr 2014: Distinguished paper award for paper at PLDI'14.
Feb 2014: Two papers to appear at PLDI'14.
Dec 2013: One paper to appear at ESOP'14.
Aug 2013: Distinguished artifact award for Dynodroid at FSE'13.