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
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
- 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.