The Software Analysis Research Group looks at the intersection of Software Engineering and Programming Languages.