"Oracle-Guided Component-Based Program Synthesis" wins 2020 ICSE Most Influential Paper Award

The paper "Oracle-Guided Component-Based Program Synthesis," co-authored by alumnus Susmit Jha (M.S./Ph.D. '11), Sumit Gulwani (Ph.D. '05, advisor: George Necula), EECS Prof. Sanjit A. Seshia, and Ashish Tiwari--and part of Susmit Jha's Ph.D. dissertation advised by Sanjit Seshia--will receive the 2020 Most Influential Paper Award by the ACM/IEEE International Conference on Software Engineering (ICSE). ICSE is the premier conference on software engineering and this award recognizes the paper judged to have had the most influence on the theory or practice of software engineering during the 10 years since its original publication. The citation says, in part, that the paper: "...has made a significant impact in Software Engineering and beyond, inspiring subsequent work not only on program synthesis and learning, but also on automated program repair, controller synthesis, and interpretable artificial intelligence."