This form contains a series of checkboxes that, when selected, will update the search results and the form fields. Currently selected items are under the "current selections" heading.
News & features
Awards | International Conference on Software Engineering
Sumit Gulwani and Ashish Tiwari are this year’s recipients of the ICSE 2020 Most Influential Paper Award from ICSE 2010 for their paper, Oracle-Guided Component-Based Program Synthesis (May 2010). The paper won this award because it 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.
Sumit Gulwani received POPL’s Most Influential Paper Award 2020 for his paper From Program Verification to Program Synthesis (January 2010). This award is presented annually to the author(s) of a paper presented at the POPL held 10 years prior to the award year. The papers are judged by their influence over the past decade. Julia Liuson, CVP, Developer Division, said that “Sumit’s program synthesis work has inspired multiple generations of computer science researchers across various disciplines, while also delivering customer…
In the news | Refactoring made easy with IntelliCode!
