Research

Empirical Software Engineering Laboratory

Director: Dewayne E. Perry
Description:

Mobile and Pervasive Computing Laboratory

Director: Christine Julien
Description: The focus is on software engineering for mobile environments, specifically algorithms for mobile computing, middleware design and development, and the application of formal methods.

Parallel and Distributed Systems Laboratory

Director: Vijay Garg
Description: Current projects include (1) Software fault-tolerance (2) Monitoring distributed computations (3) Software model checking and (4) Discrete Event Systems.

Software Evolution and Analysis Laboratory (SEAL)

Director: Miryung Kim
Description: The goal of the research is to improve programmers’ productivity by developing analysis tools that help programmers build more reliable and easy-to-maintain software.

Software Verification, Validation, and Testing Lab (SVVAT)

Director: Sarfraz Khurshid
Description: The research focuses on software testing, specification languages, code conformance, model checking, and applications of heuristics in program analysis.

Parallel Programming Group

Director: Jim Browne
Description: CODE is a visual parallel programming system, allowing users to compose sequential programs into a parallel one.

Product-Line Architecture Research Group

Director: Don Batory
Description: The group is investigating ways to realize practical, domain-specific component-based design methodologies and technologies for large scale application synthesis.