Our laboratory works on assuring and testing programs that are highly-configurable, self-adaptive and self-healing. Configurability (or variability) describes how a program can be customized and instantiated as a family of programs. Modeling the variability of a program allows us to reason about the space of possible program instances, and to sample and reuse results. To sample and explore large configuration spaces we use many bio-inspired algorithms. We also are working to infer and predict behavior of biological organisms which we view as programs. Together we call these both classes of programs, organic.
Directed by Dr. Myra Cohen.