| The COVID-19 sequelae: a cross-sectional evaluation of post-recovery symptoms and the need for rehabilitation of COVID-19 survivors A Iqbal, K Iqbal, SA Ali, D Azim, E Farid, MD Baig, TB Arif, M Raza Cureus 13 (2), 2021 | 177 | 2021 |
| Compositional program synthesis from natural language and examples M Raza, S Gulwani, N Milic-Frayling IJCAI 2015, 2015 | 95 | 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 | 66 | 2021 |
| Automated data extraction using predictive program synthesis M Raza, S Gulwani Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 54 | 2017 |
| Automatic parallelization with separation logic M Raza, C Calcagno, P Gardner Programming Languages and Systems: 18th European Symposium on Programming …, 2009 | 51 | 2009 |
| 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 | 43 | 2014 |
| Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017 | 27 | 2017 |
| Footprints in local reasoning M Raza, P Gardner Logical Methods in Computer Science 5, 2009 | 27 | 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 | 22 | 2020 |
| Electrolyte imbalance in children with severe acute malnutrition at a tertiary care hospital in Pakistan: a cross-sectional study M Raza, S Kumar, M Ejaz, D Azim, S Azizullah, A Hussain Cureus 12 (9), 2020 | 19 | 2020 |
| Interactive splitting of a column into multiple columns M Raza, S Gulwani, R Kumar, EP Garden, CCY Cheung, DG Simmons US Patent 11,372,830, 2022 | 18 | 2022 |
| 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 | 17 | 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 | 15 | 2022 |
| The COVID-19 Sequelae: A Cross-Sectional Evaluation of Post-recovery Symptoms and the Need for Rehabilitation of COVID-19 Survivors. Cureus, 13 (2), e13080 A Iqbal, K Iqbal, S Arshad Ali, D Azim, E Farid, MD Baig, T Bin Arif, ... | 10 | 2021 |
| Dietary therapy for von gierke’s disease: A case report M Raza, F Arif, PR Giyanwani, S Azizullah, S Kumari Cureus 9 (8), 2017 | 9 | 2017 |
| The COVID-19 Sequelae: A Cross-Sectional Evaluation of Post-recovery symptoms and the need for rehabilitation of COVID-19 survivors. Cureus A Iqbal, K Iqbal, SA Ali, D Azim, E Farid, M Baig, TB Arif, M Raza | 7 | 2021 |
| Multiple sulfur sources for the volcanic hosted massive sulfides in Betul Belt, Central India: Evidence from the sulfide ore chemistry and sulfur isotope geochemistry MA Raza, M Shareef, VSSAN Badireddi, H Suryavanshi, SR Baswani, ... Geochemistry 80 (4), 125632, 2020 | 7 | 2020 |
| 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: Learning 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 |
