Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

Collaborators

Swarat Chaudhuri, Rice University

Sachin Chitta, Willow Garage

Jyotirmoy Deshmukh, Toyota

Sumit Gulwani, Microsoft Research

Susmit Jha, Intel

Ufuk Topcu, University of Pennsylvania

Martin Vechev, ETH Zurich

Yin Wang, HP Labs