Automatic Parallelization with Separation Logic. - Mohammad Raza; Cristiano Calcagno; Philippa Gardner (ESOP, 2009)

Footprints in Local Reasoning - Mohammad Raza; Philippa Gardner (Log. Methods Comput. Sci., 2009)

Protein-protein interaction prediction using desolvation energies and interface properties. - Luis Rueda 001; Sridip Banerjee; Md. Mominul Aziz; Mohammad Raza (BIBM, 2010)

Resource Reasoning and Labelled Separation Logic. - Mohammad Raza (2010)

Programming by Example Using Least General Generalizations. - Mohammad Raza; Sumit Gulwani; Natasa Milic-Frayling (AAAI, 2014)

Mixed-Initiative Approaches to Global Editing in Slideware. - Darren Edge; Sumit Gulwani; Natasa Milic-Frayling; Mohammad Raza; Reza Adhitya Saputra; Chao Wang; Koji Yatani (CHI, 2015)

Compositional Program Synthesis from Natural Language and Examples. - Mohammad Raza; Sumit Gulwani; Natasa Milic-Frayling (IJCAI, 2015)

Greenness Link State Advertisement Extension for WDM Networks. - Alireza Nafarieh; Yashar Fazili; Mohammad Raza; William Robertson 001 (FNC/MobiSPC, 2016)

Automated Data Extraction Using Predictive Program Synthesis. - Mohammad Raza; Sumit Gulwani (AAAI, 2017)

Interactive Program Synthesis. - Vu Le 002; Daniel Perelman; Oleksandr Polozov; Mohammad Raza; Abhishek Udupa; Sumit Gulwani (CoRR, 2017)

Disjunctive Program Synthesis: A Robust Approach to Programming by Example. - Mohammad Raza; Sumit Gulwani (AAAI, 2018)

Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. - Mohammad Raza; Sumit Gulwani (SIGMOD Conference, 2020)

Structure interpretation of text formats. - Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ivan Radicek; Mohammad Raza (Proc. ACM Program. Lang., 2020)

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (CoRR, 2021)

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2021)

Landmarks and regions: a robust approach to data extraction. - Suresh Parthasarathy; Lincy Pattanaik; Anirudh Khatry; Arun Iyer; Arjun Radhakrishna; Sriram K. Rajamani; Mohammad Raza (PLDI, 2022)

CORNET: A neurosymbolic approach to learning conditional table formatting rules by example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Mohammad Raza; Gust Verbruggen (CoRR, 2022)

Overwatch: learning patterns in code edit sequences. - Yuhao Zhang 005; Yasharth Bajpai; Priyanshu Gupta; Ameya Ketkar; Miltiadis Allamanis; Titus Barik; Sumit Gulwani; Arjun Radhakrishna; Mohammad Raza; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2022)

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 001 (SIGMOD Conference Companion, 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 002; Mohammad Raza; Sherry Shi; Mukul Singh; Ashish Tiwari 001 (CoRR, 2023)

CORNET: Learning Table Formatting Rules By Example. - Mukul Singh; José Pablo Cambronero Sánchez; Sumit Gulwani; Vu Le 002; Carina Negreanu; Mohammad Raza; Gust Verbruggen (Proc. VLDB Endow., 2023)

FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Elnaz Nouri; Mohammad Raza; Gust Verbruggen (Proc. VLDB Endow., 2023)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers. - Mohammad Raza; Natasa Milic-Frayling (CoRR, 2025)