Follow
Mohammad Raza
Mohammad Raza
Qatar Computing Research Institute
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
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
1882021
Compositional program synthesis from natural language and examples
M Raza, S Gulwani, N Milic-Frayling
IJCAI 2015, 2015
992015
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
752021
Automated data extraction using predictive program synthesis
M Raza, S Gulwani
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
552017
Automatic parallelization with separation logic
M Raza, C Calcagno, P Gardner
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
512009
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
442014
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
282017
Footprints in local reasoning
M Raza, P Gardner
Logical Methods in Computer Science 5, 2009
272009
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
242020
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
232020
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
182022
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
172022
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
172018
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
172015
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, ...
102021
Dietary therapy for von gierke’s disease: A case report
M Raza, F Arif, PR Giyanwani, S Azizullah, S Kumari
Cureus 9 (8), 2017
102017
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
92020
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
72021
CoWrangler: Recommender System for Data-Wrangling Scripts
B Chopra, A Fariha, S Gulwani, AZ Henley, D Perelman, M Raza, S Shi, ...
Companion of the 2023 International Conference on Management of Data, 147-150, 2023
62023
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
62022
The system can't perform the operation now. Try again later.
Articles 1–20