The goal of ExCAPE is to transform the way programmers develop software by advancing the theory and practice of software synthesis.  In the proposed paradigm, a programmer can express insights through a variety of forms such as incomplete programs, example behaviors, and high-level requirements, and the synthesis tool generates the implementation relying on powerful analysis algorithms and programmer collaboration.

The ExCAPE plan is to produce a range of design tools; that let end users program robots by demonstrating example behaviors, and  that provide smart assistance for expert programmers to meet challenges in multicore programming.

ExCAPE Approach to Software Design

________________________________________________________________________

In collaboration with:

Supported by an Expeditions in Computing award from the National Science Foundation