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!
SIGPLAN Sumit Gulwani received the Robin Milner Young Researcher Award in 2014. This is given by ACM to recognize outstanding contributions by young investigators in the area of programming languages. Individuals are eligible if their computer-related professional career (graduate school or full-time employment, whichever began first) started no earlier than 20 years prior to the nominations deadline. The award includes a prize of $2,500. Read the blog post.
Sumit Gulwani was awarded the John C. Reynolds Doctoral Dissertation Award shortly after starting his career at Microsoft Research and after he completed his PhD at University of California, Berkeley. It is an award presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages.
