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.
Mar 2014: William wins CoC Outstanding Undergrad Researcher award.
Feb 2014: Two papers to appear at PLDI'14.
Dec 2013: One paper to appear at ESOP'14.