Software Engineering
Topics
The software engineering area conducts research on applying advanced program analyses towards problems related to fault isolation and various kinds of bug detection, including those related to race conditions in concurrent programs, and specification inference for large-scale software systems.