A Parameterized VHDL Library for On-Line Testing. - Charles E. Stroud; M. Ding; S. Seshadri; Ramesh Karri; I. Kim; Subhajit Roy 001; S. Wu (ITC, 1997)

Partial Flow Sensitivity. - Subhajit Roy 001; Y. N. Srikant (HiPC, 2007)

Improving flow-insensitive solutions for non-separable dataflow problems. - Subhajit Roy 001; Y. N. Srikant (SAC, 2008)

Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm. - Subhajit Roy 001; Y. N. Srikant (CGO, 2009)

The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. - Subhajit Roy 001; Y. N. Srikant (CC, 2010)

Probabilistic dataflow analysis using path profiles on structure graphs. - Arun Ramamurthi; Subhajit Roy 001; Y. N. Srikant (SIGSOFT FSE, 2011)

Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. - Aditya Desai; Era Jain; Subhajit Roy 001 (APSEC (1), 2013)

Pertinent path profiling: Tracking interactions among relevant statements. - Ramshankar Chouhan; Subhajit Roy 001; Surender Baswana (CGO, 2013)

Exploring program phases for statistical bug localization. - Varun Modi; Subhajit Roy 001; Sanjeev K. Aggarwal (PASTE, 2013)

Online identification of frequently executed acyclic paths by leveraging data stream algorithms. - Gaurav Kumar; Subhajit Roy 001 (SAC, 2013)

From Concrete Examples to Heap Manipulating Programs. - Subhajit Roy 001 (SAS, 2013)

Synthesizing Heap Manipulations via Integer Linear Programming. - Anshul Garg; Subhajit Roy 001 (SAS, 2015)

Identifying Hierarchical Structures in Sequences on GPU. - Prashant Jalan; Arihant Kumar Jain; Subhajit Roy 001 (TrustCom/BigDataSE/ISPA (3), 2015)

Phase Directed Compiler Optimizations. - Era Jain; Subhajit Roy 001 (HiPC, 2016)

Program synthesis using natural language. - Aditya Desai; Sumit Gulwani; Vineet Hingorani; Nidhi Jain; Amey Karkare; Mark Marron; Sailesh R; Subhajit Roy 001 (ICSE, 2016)

Accelerating schedule space exploration of multi-threaded programs with GPUs. - Prakhar Banga; Atul Pai; Subhajit Roy 001; Mainak Chaudhuri (MEMOCODE, 2016)

To be precise: regression aware debugging. - Rohan Bavishi; Awanish Pandey; Subhajit Roy 001 (OOPSLA, 2016)

Regression aware debugging for mobile applications. - Rohan Bavishi; Awanish Pandey; Subhajit Roy 001 (Mobile!@SPLASH, 2016)

Bucketing Failing Tests via Symbolic Analysis. - Van-Thuan Pham; Sakaar Khurana; Subhajit Roy 001; Abhik Roychoudhury (FASE, 2017)

Constructing HPSSA over SSA. - Smriti Jaiswal; Praveen Hegde; Subhajit Roy 001 (SCOPES, 2017)

Synergistic debug-repair of heap manipulations. - Sahil Verma; Subhajit Roy 001 (ESEC/SIGSOFT FSE, 2017)

Knowledge Compilation meets Uniform Sampling. - Shubham Sharma 003; Rahul Gupta; Subhajit Roy 001; Kuldeep S. Meel (LPAR, 2018)

Parse Condition: Symbolic Encoding of LL(1) Parsing. - Dhruv Singal; Palak Agarwal; Saket Jhunjhunwala; Subhajit Roy 001 (LPAR, 2018)

Bug synthesis: challenging bug-finding tools with deep faults. - Subhajit Roy 001; Awanish Pandey; Brendan Dolan-Gavitt; Yu Hu (ESEC/SIGSOFT FSE, 2018)

GANAK: A Scalable Probabilistic Exact Model Counter. - Shubham Sharma 003; Subhajit Roy 001; Mate Soos; Kuldeep S. Meel (IJCAI, 2019)

The ISEC 2019 Ph.D. Symposium. - Meenakshi D'Souza; Subhajit Roy 001 (ISEC, 2019)

Deferred concretization in symbolic execution via fuzzing. - Awanish Pandey; Phani Raj Goutham Kotcharlakota; Subhajit Roy 001 (ISSTA, 2019)

WAPS: Weighted and Projected Sampling. - Rahul Gupta; Shubham Sharma 003; Subhajit Roy 001; Kuldeep S. Meel (TACAS (1), 2019)

Envisioning an Intelligent Collaborative Integrated Development Environment. - Subhajit Roy 001 (ACM SIGSOFT Softw. Eng. Notes, 2019)

Manthan: A Data-Driven Approach for Boolean Function Synthesis. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (CAV (2), 2020)

Interactive debugging of concurrent programs under relaxed memory models. - Aakanksha Verma; Pankaj Kumar Kalita; Awanish Pandey; Subhajit Roy 001 (CGO, 2020)

Phase Transition Behavior in Knowledge Compilation. - Rahul Gupta; Subhajit Roy 001; Kuldeep S. Meel (CP, 2020)

Diagnosing Software Faults Using Multiverse Analysis. - Prantik Chatterjee; Abhijit Chatterjee; José Campos 001; Rui Abreu 001; Subhajit Roy 001 (IJCAI, 2020)

Symmetric Component Caching for Model Counting on Combinatorial Instances. - Timothy van Bremen; Vincent Derkinderen; Shubham Sharma 003; Subhajit Roy 001; Kuldeep S. Meel (AAAI, 2021)

Engineering an Efficient Boolean Functional Synthesis Engine. - Priyanka Golia; Friedrich Slivovsky; Subhajit Roy 001; Kuldeep S. Meel (ICCAD, 2021)

Program Synthesis as Dependency Quantified Formula Modulo Theory. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (IJCAI, 2021)

Learning Differentially Private Mechanisms. - Subhajit Roy 001; Justin Hsu; Aws Albarghouthi (SP, 2021)

Input Validation with Symbolic Execution. - Anay Mehrotra; Ayush Bansal; Awanish Pandey; Subhajit Roy 001 (CoRR, 2021)

Data-Driven Invariant Learning for Probabilistic Programs. - Jialu Bao; Drashti Pathak; Justin Hsu; Subhajit Roy 001 (CoRR, 2021)

Debug-localize-repair: a symbiotic construction for heap manipulations. - Sahil Verma; Subhajit Roy 001 (Formal Methods Syst. Des., 2021)

Proof-Guided Underapproximation Widening for Bounded Model Checking. - Prantik Chatterjee; Jaydeepsinh Meda; Akash Lal; Subhajit Roy 001 (CAV (1), 2022)

Synthesis of Semantic Actions in Attribute Grammars. - Pankaj Kumar Kalita; Miriyala Jeevan Kumar; Subhajit Roy 001 (FMCAD, 2022)

Structural Analysis Attack on Sequential Circuit Logic Locking. - Gourav Takhar; Subhajit Roy 001 (HOST, 2022)

Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. - Sumit Lahiri; Subhajit Roy 001 (ISSTA, 2022)

HOLL: Program Synthesis for Higher Order Logic Locking. - Gourav Takhar; Ramesh Karri; Christian Pilato; Subhajit Roy 001 (TACAS (1), 2022)

HOLL: Program Synthesis for Higher OrderLogic Locking. - Gourav Takhar; Ramesh Karri; Christian Pilato; Subhajit Roy 001 (CoRR, 2022)

Synthesizing abstract transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing. - Sujit Kumar Muduli; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

Symbolic execution for randomized programs. - Zachary Susag; Sumit Lahiri; Justin Hsu; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

Synthesizing Abstract Transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2022)

Synthesizing Abstract Transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2022)

Symbolic encoding of LL(1) parsing and its applications. - Pankaj Kumar Kalita; Dhruv Singal; Palak Agarwal; Saket Jhunjhunwala; Subhajit Roy 001 (Formal Methods Syst. Des., 2022)

SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. - Gourav Takhar; Subhajit Roy 001 (CAV (3), 2023)

Synthesis with Explicit Dependencies. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (DATE, 2023)

A Theorem Proving Approach to Programming Language Semantics. - Subhajit Roy 001 (SEET@ICSE, 2023)

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). - Jialu Bao; Nitesh Trivedi; Drashti Pathak; Justin Hsu; Subhajit Roy 001 (IJCAI, 2023)

Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. - Prantik Chatterjee; José Campos 001; Rui Abreu 001; Subhajit Roy 001 (IJCAI, 2023)

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. - Prantik Chatterjee; Pankaj Kumar Kalita; Sumit Lahiri; Sujit Kumar Muduli; Vishal Singh; Gourav Takhar; Subhajit Roy 001 (ASE, 2023)

Finding Inductive Loop Invariants using Large Language Models. - Adharsh Kamath; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (CoRR, 2023)

Interactive Theorem Proving Modulo Fuzzing. - Sujit Kumar Muduli; Rohan Ravikumar Padulkar; Subhajit Roy 001 (CAV (1), 2024)

Leveraging LLMs for Program Verification. - Adharsh Kamath; Nausheen Mohammed; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (FMCAD, 2024)

Program Synthesis Meets Visual What-Comes-Next Puzzles. - Sumit Lahiri; Pankaj Kumar Kalita; Akshay Kumar Chittora; Varun Vankudre; Subhajit Roy 001 (ASE, 2024)

Synthesizing Abstract Transformers for Reduced-Product Domains. - Pankaj Kumar Kalita; Thomas W. Reps; Subhajit Roy 001 (SAS, 2024)

Accelerated Bounded Model Checking Using Interpolation Based Summaries. - Mayank Solanki; Prantik Chatterjee; Akash Lal; Subhajit Roy 001 (TACAS (2), 2024)

Enabling Memory Safety of C Programs using LLMs. - Nausheen Mohammed; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (CoRR, 2024)

Inductive Generalization in Reinforcement Learning from Specifications. - Vignesh Subramanian; Rohit Kushwah; Subhajit Roy 001; Suguman Bansal (CoRR, 2024)

ShaVi-1.0: An interface enabled open source 2D acoustic full waveform inversion package. - Vikas; Subhajit Roy 001; Dibakar Ghosal (Comput. Geosci., 2024)

Synthesizing Abstract Transformers for Reduced-Product Domains. - Pankaj Kumar Kalita; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2024)

Distributed bounded model checking. - Prantik Chatterjee; Subhajit Roy 001; Bui Phi Diep; Akash Lal (Formal Methods Syst. Des., 2024)

Studying the capabilities of Large Language Models in solving Combinatorics Problems posed in Hindi. - Yash Kumar; Subhajit Roy 001 (COLING Workshops, 2025)

LLM Assistance for Memory Safety. - Nausheen Mohammed; Akash Lal; Aseem Rastogi; Rahul Sharma 001; Subhajit Roy 001 (ICSE, 2025)

A Measure Based Generalizable Approach to Understandability. - Vikas Kushwaha; Sruti Srinivasa Ragavan; Subhajit Roy 001 (CoRR, 2025)

Data-driven invariant learning for probabilistic programs. - Jialu Bao; Nitesh Trivedi; Drashti Pathak; Justin Hsu; Subhajit Roy 001 (Formal Methods Syst. Des., 2025)