Mohammad Raza

According to our database, Mohammad Raza authored at least 22 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language.

Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen

Proc. VLDB Endow., November, 2023

CORNET: Learning Table Formatting Rules By Example.

Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen

Proc. VLDB Endow., 2023

From Words to Code: Harnessing Data for Program Synthesis from Natural Language.

Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, K. Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari

CoRR, 2023

CoWrangler: Recommender System for Data-Wrangling Scripts.

Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari

Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023

2022

Overwatch: learning patterns in code edit sequences.

Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2022

CORNET: A neurosymbolic approach to learning conditional table formatting rules by example.

Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen

CoRR, 2022

Landmarks and regions: a robust approach to data extraction.

Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2021

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

CoRR, 2021

2020

Structure interpretation of text formats.

Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza

Proc. ACM Program. Lang., 2020

Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference.

Mohammad Raza, Sumit Gulwani

Proceedings of the 2020 International Conference on Management of Data, 2020

2018

Disjunctive Program Synthesis: A Robust Approach to Programming by Example.

Mohammad Raza, Sumit Gulwani

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Interactive Program Synthesis.

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani

CoRR, 2017

Automated Data Extraction Using Predictive Program Synthesis.

Mohammad Raza, Sumit Gulwani

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Greenness Link State Advertisement Extension for WDM Networks.

Alireza Nafarieh, Yashar Fazili, Mohammad Raza, William Robertson

Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016

2015

Compositional Program Synthesis from Natural Language and Examples.

Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Mixed-Initiative Approaches to Global Editing in Slideware.

Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014

Programming by Example Using Least General Generalizations.

Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2010

Resource Reasoning and Labelled Separation Logic.

Mohammad Raza

PhD thesis, 2010

Protein-protein interaction prediction using desolvation energies and interface properties.

Luis Rueda, Sridip Banerjee, Md. Mominul Aziz, Mohammad Raza

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine, 2010

2009

Footprints in Local Reasoning

Mohammad Raza, Philippa Gardner

Log. Methods Comput. Sci., 2009

Automatic Parallelization with Separation Logic.

Mohammad Raza, Cristiano Calcagno, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2009