EDGE - Labs

Automatic Programming

Director: Gordon Novak
Description: Automatic Programming is defined as the synthesis of a program from a specification. Our approach to automatic programming is based on reuse of generic algorithms through views.

Laboratory for Artificial Neural Systems

Director: Joydeep Ghosh
Description: Application of Adaptive and Intelligent Data Analysis Methods for Large Scale Data Mining and Web Analytics.

Empirical Software Engineering Laboratory

Director: Dewayne Perry
Description: Goals are to establish principles about, and to improve practice for, building and evolving large-scale software and process systems.

Laboratory for Intelligent Processes and Systems

Director: Suzanne Barber
Description: Ongoing research projects include (1) Formal software engineering methods and tools, and (2) distributed, autonomous agent-based systems.

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.

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.

Software Testing Group

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