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.
Feb 2014: Two papers to appear at PLDI'14.
Dec 2013: One paper to appear at ESOP'14.