
October 23, 2019
“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…