Compositional program synthesis from natural language and examples M Raza, S Gulwani, N Milic-Frayling IJCAI 2015, 2015 | 92 | 2015 |
Multi-modal program inference: A marriage of pre-trained language models and component-based synthesis K Rahmani, M Raza, S Gulwani, V Le, D Morris, A Radhakrishna, ... Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 57 | 2021 |
Automatic parallelization with separation logic M Raza, C Calcagno, P Gardner Programming Languages and Systems: 18th European Symposium on Programming …, 2009 | 51 | 2009 |
Automated data extraction using predictive program synthesis M Raza, S Gulwani Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 49 | 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 | 40 | 2014 |
Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017 | 26 | 2017 |
Footprints in local reasoning M Raza, P Gardner Logical Methods in Computer Science 5, 2009 | 26 | 2009 |
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 | 21 | 2020 |
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 | 17 | 2018 |
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 | 16 | 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 | 16 | 2015 |
Overwatch: Learning patterns in code edit sequences Y Zhang, Y Bajpai, P Gupta, A Ketkar, M Allamanis, T Barik, S Gulwani, ... Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 395-423, 2022 | 11 | 2022 |
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 |
Cornet: A neurosymbolic approach to learning conditional table formatting rules by example M Singh, J Cambronero, S Gulwani, V Le, C Negreanu, M Raza, ... arXiv preprint arXiv:2208.06032, 2022 | 5 | 2022 |
Programming-by-example using disjunctive programs M Raza, S Gulwani US Patent 10,671,353, 2020 | 5 | 2020 |
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 |
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 | 3 | 2023 |
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 |
FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language M Singh, J Cambronero, S Gulwani, V Le, C Negreanu, E Nouri, M Raza, ... arXiv preprint arXiv:2310.17306, 2023 | 2 | 2023 |