| 2026 | ACL | Self-Consistency from Only Two Samples: CoT-PoT Ensembling for Efficient LLM Reasoning. | Raman Saparkhan, Majd Hawasly, Md. Rizwan Parvez, Mohammad Raza |
| 2025 | IJCAI | Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers. | Mohammad Raza, Natasa Milic-Frayling |
| 2023 | SIGMOD | 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 |
| 2022 | PLDI | Landmarks and regions: a robust approach to data extraction. | Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza |
| 2020 | SIGMOD | Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. | Mohammad Raza, Sumit Gulwani |
| 2018 | AAAI | Disjunctive Program Synthesis: A Robust Approach to Programming by Example. | Mohammad Raza, Sumit Gulwani |
| 2017 | AAAI | Automated Data Extraction Using Predictive Program Synthesis. | Mohammad Raza, Sumit Gulwani |
| 2016 | FNC | Greenness Link State Advertisement Extension for WDM Networks. | Alireza Nafarieh, Yashar Fazili, Mohammad Raza, William Robertson |
| 2015 | CHI | Mixed-Initiative Approaches to Global Editing in Slideware. | Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani |
| 2015 | IJCAI | Compositional Program Synthesis from Natural Language and Examples. | Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling |
| 2014 | AAAI | Programming by Example Using Least General Generalizations. | Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling |
| 2009 | ESOP | Automatic Parallelization with Separation Logic. | Mohammad Raza, Cristiano Calcagno, Philippa Gardner |
| 2008 | FOSSACS | Footprints in Local Reasoning. | Mohammad Raza, Philippa Gardner |