Research

We do research in the areas of Programming Languages and Software Engineering. Below are the links to various projects.

Programming Languages

Program Analysis and Software Testing

Empirical Software Engineering