| Compositional program synthesis from natural language and examples M Raza, S Gulwani, N Milic-Frayling IJCAI 2015, 2015 | 83 | 2015 |
| Automatic parallelization with separation logic M Raza, C Calcagno, P Gardner Programming Languages and Systems: 18th European Symposium on Programming …, 2009 | 53 | 2009 |
| Automated data extraction using predictive program synthesis M Raza, S Gulwani Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 42 | 2017 |
| Programming by example using least general generalizations M Raza, S Gulwani, N Milic-Frayling Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 36 | 2014 |
| Footprints in local reasoning M Raza, P Gardner Foundations of Software Science and Computational Structures: 11th …, 2008 | 27 | 2008 |
| Web data extraction using hybrid program synthesis: A combination of top-down and bottom-up inference M Raza, S Gulwani Proceedings of the 2020 ACM SIGMOD International Conference on Management of …, 2020 | 19 | 2020 |
| Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017 | 17 | 2017 |
| Mixed-initiative approaches to global editing in slideware D Edge, S Gulwani, N Milic-Frayling, M Raza, R Adhitya Saputra, C Wang, ... Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing …, 2015 | 17 | 2015 |
| Mixed-initiative approaches to global editing in slideware D Edge, S Gulwani, N Milic-Frayling, M Raza, R Adhitya Saputra, C Wang, ... Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing …, 2015 | 17 | 2015 |
| Disjunctive program synthesis: A robust approach to programming by example M Raza, S Gulwani Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 16 | 2018 |
| Making fast hardware with separation logic B Cook, S Magill, M Raza, J Simsa, S Singh Unpublished, http://cs. cmu. edu/~ smagill/papers/fast-hardware. pdf, 2010 | 6 | 2010 |
| Automatic splitting of a column into multiple columns M Raza, S Gulwani US Patent App. 15/299,071, 2018 | 5 | 2018 |
| Overwatch: learning patterns in code edit sequences Y Zhang, Y Bajpai, P Gupta, A Ketkar, M Allamanis, T Barik, S Gulwani, ... arXiv preprint arXiv:2207.12456, 2022 | 4 | 2022 |
| Structure interpretation of text formats S Gulwani, V Le, A Radhakrishna, I Radiček, M Raza Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 4 | 2020 |
| A new level of social search: discovering the user’s opinion before he can make one M Raza Cambridge, UK: Mi-crosoft Research Cambridge, 2011: 1-6, 2011 | 3 | 2011 |
| Resource reasoning and labelled separation logic M Raza Imperial College London (University of London), 2010 | 3 | 2010 |
| Programming-by-example using disjunctive programs M Raza, S Gulwani US Patent 10,671,353, 2020 | 2 | 2020 |
| Inverted sediments in the coastal Antarctic lake: Evidence of paleostorm? MA Raza, R Saraswat, SR Bhadra, DK Naik, N Khare, P Govil, ... Polar Science 18, 213-219, 2018 | 2 | 2018 |
| Responses of Indian Summer Monsoon Dynamics and Late Quaternary Fluvial Development: Records from Yamuna River Valley, NW-Himalaya S Dutta, SAI Mujtaba, R Bhavani, MA Raza, R Chunchekar, M Sadiq Climate Change and the White World, 187-218, 2020 | 1 | 2020 |
| From Words to Code: Harnessing Data for Program Synthesis from Natural Language A Khatry, J Cahoon, J Henkel, S Deep, V Emani, A Floratou, S Gulwani, ... arXiv preprint arXiv:2305.01598, 2023 | | 2023 |
