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

[Jul'14] SQLTutor, a browser-based tool for SQL education, is live.
[Jun'14] keynote talk at SOAP'14.
[Apr'14] distinguished paper award for paper at PLDI'14.
[Feb'14] two papers to appear at PLDI'14.
[Dec'13] new paper to appear at ESOP'14.
[Aug'13] distinguished artifact award for Dynodroid at FSE'13.