Æȷοì
Mohammad Raza
Mohammad Raza
microsoft.comÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Compositional program synthesis from natural language and examples
M Raza, S Gulwani, N Milic-Frayling
IJCAI 2015, 2015
922015
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
572021
Automatic parallelization with separation logic
M Raza, C Calcagno, P Gardner
Programming Languages and Systems: 18th European Symposium on Programming ¡¦, 2009
512009
Automated data extraction using predictive program synthesis
M Raza, S Gulwani
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
492017
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
402014
Footprints in local reasoning
M Raza, P Gardner
Logical Methods in Computer Science 5, 2009
262009
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
242017
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
212020
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
162015
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
162015
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
112022
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
Programming-by-example using disjunctive programs
M Raza, S Gulwani
US Patent 10,671,353, 2020
52020
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
42022
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
42020
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
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
Resource reasoning and labelled separation logic
M Raza
Imperial College London (University of London), 2010
32010
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
22023
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20