Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

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:

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