| 2026 | DATE | Provable Guarantees in Approximate Synthesis. | Kushagra Gupta, Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2026 | SAC | An Empirical Study on Spectrum Based Fault Localization Heuristics. | Vishal Singh, Prantik Chatterjee, Subhajit Roy |
| 2025 | APLAS | Specification Inference Modulo Oracles for Database-Backed Web Applications. | Nitesh Trivedi, Subhajit Roy |
| 2025 | ATVA | Inductive Generalization in Reinforcement Learning from Specifications. | Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal |
| 2025 | COLING | Studying the capabilities of Large Language Models in solving Combinatorics Problems posed in Hindi. | Yash Kumar, Subhajit Roy |
| 2025 | ICSE | LLM Assistance for Memory Safety. | J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy |
| 2024 | CAV | Interactive Theorem Proving Modulo Fuzzing. | Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy |
| 2024 | FMCAD | Leveraging LLMs for Program Verification. | Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma |
| 2024 | SAS | Synthesizing Abstract Transformers for Reduced-Product Domains. | Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy |
| 2024 | TACAS | Accelerated Bounded Model Checking Using Interpolation Based Summaries. | Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy |
| 2023 | CAV | SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. | Gourav Takhar, Subhajit Roy |
| 2023 | DATE | Synthesis with Explicit Dependencies. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2023 | IJCAI | Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). | Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy |
| 2023 | IJCAI | Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. | Prantik Chatterjee, Jos Campos, Rui Abreu, Subhajit Roy |
| 2023 | ICSE | A Theorem Proving Approach to Programming Language Semantics. | Subhajit Roy |
| 2022 | CAV | Data-Driven Invariant Learning for Probabilistic Programs. | Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy |
| 2022 | CAV | Proof-Guided Underapproximation Widening for Bounded Model Checking. | Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy |
| 2022 | FMCAD | Synthesis of Semantic Actions in Attribute Grammars. | Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy |
| 2022 | ISSTA | Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. | Sumit Lahiri, Subhajit Roy |
| 2022 | TACAS | HOLL: Program Synthesis for Higher Order Logic Locking. | Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy |
| 2021 | AAAI | Symmetric Component Caching for Model Counting on Combinatorial Instances. | Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel |
| 2021 | ICCAD | Engineering an Efficient Boolean Functional Synthesis Engine. | Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel |
| 2021 | IJCAI | Program Synthesis as Dependency Quantified Formula Modulo Theory. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2021 | SP | Learning Differentially Private Mechanisms. | Subhajit Roy, Justin Hsu, Aws Albarghouthi |
| 2020 | CAV | Manthan: A Data-Driven Approach for Boolean Function Synthesis. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2020 | CGO | Interactive debugging of concurrent programs under relaxed memory models. | Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy |
| 2020 | CP | Phase Transition Behavior in Knowledge Compilation. | Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2020 | FMCAD | Distributed Bounded Model Checking. | Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal |
| 2020 | IJCAI | Diagnosing Software Faults Using Multiverse Analysis. | Prantik Chatterjee, Abhijit Chatterjee, Jos Campos, Rui Abreu, Subhajit Roy |
| 2019 | IJCAI | GANAK: A Scalable Probabilistic Exact Model Counter. | Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel |
| 2019 | ISSTA | Deferred concretization in symbolic execution via fuzzing. | Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy |
| 2019 | TACAS | WAPS: Weighted and Projected Sampling. | Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel |
| 2018 | LPAR | Knowledge Compilation meets Uniform Sampling. | Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2018 | LPAR | Parse Condition: Symbolic Encoding of LL(1) Parsing. | Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy |
| 2017 | FASE | Bucketing Failing Tests via Symbolic Analysis. | Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury |
| 2017 | SCOPES | Constructing HPSSA over SSA. | Smriti Jaiswal, Praveen Hegde, Subhajit Roy |
| 2016 | HiPC | Phase Directed Compiler Optimizations. | Era Jain, Subhajit Roy |
| 2016 | ICSE | Program synthesis using natural language. | Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy |
| 2016 | MEMOCODE | Accelerating schedule space exploration of multi-threaded programs with GPUs. | Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri |
| 2016 | OOPSLA | To be precise: regression aware debugging. | Rohan Bavishi, Awanish Pandey, Subhajit Roy |
| 2016 | OOPSLA | Regression aware debugging for mobile applications. | Rohan Bavishi, Awanish Pandey, Subhajit Roy |
| 2015 | TrustCom | Identifying Hierarchical Structures in Sequences on GPU. | Prashant Jalan, Arihant Kumar Jain, Subhajit Roy |
| 2015 | SAS | Synthesizing Heap Manipulations via Integer Linear Programming. | Anshul Garg, Subhajit Roy |
| 2013 | APSEC | Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. | Aditya Desai, Era Jain, Subhajit Roy |
| 2013 | CGO | Pertinent path profiling: Tracking interactions among relevant statements. | Ramshankar Chouhan, Subhajit Roy, Surender Baswana |
| 2013 | SAC | Online identification of frequently executed acyclic paths by leveraging data stream algorithms. | Gaurav Kumar, Subhajit Roy |
| 2013 | SAS | From Concrete Examples to Heap Manipulating Programs. | Subhajit Roy |
| 2010 | CC | The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. | Subhajit Roy, Y. N. Srikant |
| 2009 | CGO | Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm. | Subhajit Roy, Y. N. Srikant |
| 2008 | SAC | Improving flow-insensitive solutions for non-separable dataflow problems. | Subhajit Roy, Y. N. Srikant |
| 2007 | HiPC | Partial Flow Sensitivity. | Subhajit Roy, Y. N. Srikant |
| 1997 | ITC | A Parameterized VHDL Library for On-Line Testing. | Charles E. Stroud, M. Ding, S. Seshadri, Ramesh Karri, I. Kim, Subhajit Roy, S. Wu |