Programming Languages and Software Engineering

The Programming Languages and Software Engineering research group investigates programming models, languages, concepts, methodologies, and tools to enable the development of correct, efficient, reliable, and maintainable software.

In particular, we investigate:

Programming technology for concurrent computing over modern multi-core architectures and for distributed computing over large-scale heterogeneous networks. Visit the Worldwide Computing Laboratory web page for more information.
Various program flow analyses, and their use in tools for software understanding, testing, optimization, and verification. Visit Prof. Milanova's web page for more information.
New ways to design and implement computational methods so that they can adapt easily to different problems, providing solutions that are as efficient as programs written especially for each problem. Visit the Concepts in Software Engineering web page for more information.