Follow
Mohammad Raza
Title
Cited by
Cited by
Year
Compositional program synthesis from natural language and examples
M Raza, S Gulwani, N Milic-Frayling
IJCAI 2015, 2015
932015
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
632021
Automated data extraction using predictive program synthesis
M Raza, S Gulwani
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
542017
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
432014
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
272017
Footprints in local reasoning
M Raza, P Gardner
Logical Methods in Computer Science 5, 2009
272009
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
222020
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
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
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
142022
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
62010
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
52022
Programming-by-example using disjunctive programs
M Raza, S Gulwani
US Patent 10,671,353, 2020
52020
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
42023
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
42022
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
32023
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
32020
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
32011
The system can't perform the operation now. Try again later.
Articles 1–20