You are here

Software Engineering & Programming Languages

The group's research makes it easier to develop, debug, verify, and deploy complex software systems that are correct, efficient, and scalable. Research areas include verification, specification, static program analysis, dynamic program analysis, distributed systems, object-oriented and other programming languages, software engineering, software testing and understanding, compilers, runtime systems, software systems, and security. The research groups within Software Engineering & Programming Languages are investigating specification and verification issues in object-oriented and distributed systems; robust tools and techniques for developing high-confidence distributed software; static and dynamic analyses for improved software understanding, testing, optimization, evolution, and verification; and dynamic analyses and runtime support for reliable, scalable parallel software systems.