Subhajit Roy

91 papers A* 12A 10B 12C 2Misc 4Journal 31Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automated Abstract Transformer Synthesis for Reduced Product Domains.
ACM Trans. Softw. Eng. Methodol.
Pankaj Kumar Kalita, Thomas Reps, Subhajit Roy
2025 — ed.
45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025
FSTTCS
C. Aiswarya, Ruta Mehta, Subhajit Roy
2025 J jnl
A Measure Based Generalizable Approach to Understandability.
CoRR
Vikas Kushwaha, Sruti Srinivasa Ragavan, Subhajit Roy
2025 A* conf
AndroFL: Evolutionary-Driven Fault Localization for Android Apps.
ASE
Vishal Singh, Ravi Shankar Das, Prajwal H. G, Subhajit Roy
2025 J jnl
Data-driven invariant learning for probabilistic programs.
Formal Methods Syst. Des.
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2025 B conf
Inductive Generalization in Reinforcement Learning from Specifications.
ATVA
Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal
2025 A* conf
LLM Assistance for Memory Safety.
ICSE
J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
2025 J jnl
Memory-Safety Verification of Open Programs with Angelic Assumptions.
Proc. ACM Program. Lang.
Gourav Takhar, Baldip Bijlani, Prantik Chatterjee, Akash Lal, Subhajit Roy
2025 B conf
Specification Inference Modulo Oracles for Database-Backed Web Applications.
APLAS
Nitesh Trivedi, Subhajit Roy
2025 — conf
Studying the capabilities of Large Language Models in solving Combinatorics Problems posed in Hindi.
COLING Workshops
Yash Kumar, Subhajit Roy
2024 — conf
Accelerated Bounded Model Checking Using Interpolation Based Summaries.
TACAS (2)
Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy
2024 J jnl
Distributed bounded model checking.
Formal Methods Syst. Des.
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2024 J jnl
Enabling Memory Safety of C Programs using LLMs.
CoRR
J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 J jnl
Inductive Generalization in Reinforcement Learning from Specifications.
CoRR
Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal
2024 — conf
Interactive Theorem Proving Modulo Fuzzing.
CAV (1)
Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy
2024 B conf
Leveraging LLMs for Program Verification.
FMCAD
Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 A* conf
Program Synthesis Meets Visual What-Comes-Next Puzzles.
ASE
Sumit Lahiri, Pankaj Kumar Kalita, Akshay Kumar Chittora, Varun Vankudre, Subhajit Roy
2024 J jnl
ShaVi-1.0: An interface enabled open source 2D acoustic full waveform inversion package.
Comput. Geosci.
Vikas, Subhajit Roy, Dibakar Ghosal
2024 B conf
Synthesizing Abstract Transformers for Reduced-Product Domains.
SAS
Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy
2024 J jnl
Synthesizing Abstract Transformers for Reduced-Product Domains.
CoRR
Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy
2023 — conf
A Theorem Proving Approach to Programming Language Semantics.
SEET@ICSE
Subhajit Roy
2023 A* conf
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.
ASE
Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
2023 A* conf
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults.
IJCAI
Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy
2023 A* conf
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).
IJCAI
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2023 J jnl
Finding Inductive Loop Invariants using Large Language Models.
CoRR
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2023 — conf
SR-SFLL: Structurally Robust Stripped Functionality Logic Locking.
CAV (3)
Gourav Takhar, Subhajit Roy
2023 A conf
Synthesis with Explicit Dependencies.
DATE
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2023 J jnl
Synthesis with Explicit Dependencies.
CoRR
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2022 A conf
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs.
ISSTA
Sumit Lahiri, Subhajit Roy
2022 — conf
Data-Driven Invariant Learning for Probabilistic Programs.
CAV (1)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
2022 — conf
HOLL: Program Synthesis for Higher Order Logic Locking.
TACAS (1)
Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy
2022 J jnl
HOLL: Program Synthesis for Higher OrderLogic Locking.
CoRR
Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy
2022 — conf
Proof-Guided Underapproximation Widening for Bounded Model Checking.
CAV (1)
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
2022 J jnl
Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing.
Proc. ACM Program. Lang.
Sujit Kumar Muduli, Subhajit Roy
2022 — conf
Structural Analysis Attack on Sequential Circuit Logic Locking.
HOST
Gourav Takhar, Subhajit Roy
2022 J jnl
Symbolic Execution for Randomized Programs.
CoRR
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
2022 J jnl
Symbolic encoding of LL(1) parsing and its applications.
Formal Methods Syst. Des.
Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
2022 J jnl
Symbolic execution for randomized programs.
Proc. ACM Program. Lang.
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
2022 B conf
Synthesis of Semantic Actions in Attribute Grammars.
FMCAD
Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy
2022 J jnl
Synthesis of Semantic Actions in Attribute Grammars.
CoRR
Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy
2022 J jnl
Synthesizing abstract transformers.
Proc. ACM Program. Lang.
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2021 J jnl
Data-Driven Invariant Learning for Probabilistic Programs.
CoRR
Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy
2021 J jnl
Debug-localize-repair: a symbiotic construction for heap manipulations.
Formal Methods Syst. Des.
Sahil Verma, Subhajit Roy
2021 A conf
Engineering an Efficient Boolean Functional Synthesis Engine.
ICCAD
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
2021 J jnl
Engineering an Efficient Boolean Functional Synthesis Engine.
CoRR
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
2021 J jnl
Input Validation with Symbolic Execution.
CoRR
Anay Mehrotra, Ayush Bansal, Awanish Pandey, Subhajit Roy
2021 A* conf
Learning Differentially Private Mechanisms.
SP
Subhajit Roy, Justin Hsu, Aws Albarghouthi
2021 J jnl
Learning Differentially Private Mechanisms.
CoRR
Subhajit Roy, Justin Hsu, Aws Albarghouthi
2021 A* conf
Program Synthesis as Dependency Quantified Formula Modulo Theory.
IJCAI
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2021 J jnl
Program Synthesis as Dependency Quantified Formula Modulo Theory.
CoRR
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2021 A* conf
Symmetric Component Caching for Model Counting on Combinatorial Instances.
AAAI
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
2021 J jnl
Synthesizing Abstract Transformers.
CoRR
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2020 J jnl
Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations.
CoRR
Sahil Verma, Subhajit Roy
2020 A* conf
Diagnosing Software Faults Using Multiverse Analysis.
IJCAI
Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy
2020 B conf
Distributed Bounded Model Checking.
FMCAD
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2020 J jnl
Distributed Bounded Model Checking.
CoRR
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2020 A conf
Interactive debugging of concurrent programs under relaxed memory models.
CGO
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy
2020 J jnl
Manthan: A Data Driven Approach for Boolean Function Synthesis.
CoRR
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2020 — conf
Manthan: A Data-Driven Approach for Boolean Function Synthesis.
CAV (2)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2020 A conf
Phase Transition Behavior in Knowledge Compilation.
CP
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
2020 J jnl
Phase Transition Behavior in Knowledge Compilation.
CoRR
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
2019 A conf
Deferred concretization in symbolic execution via fuzzing.
ISSTA
Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy
2019 J jnl
Envisioning an Intelligent Collaborative Integrated Development Environment.
ACM SIGSOFT Softw. Eng. Notes
Subhajit Roy
2019 A* conf
GANAK: A Scalable Probabilistic Exact Model Counter.
IJCAI
Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel
2019 — conf
The ISEC 2019 Ph.D. Symposium.
ISEC
Meenakshi D'Souza, Subhajit Roy
2019 — conf
WAPS: Weighted and Projected Sampling.
TACAS (1)
Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
2018 — conf
Bug synthesis: challenging bug-finding tools with deep faults.
ESEC/SIGSOFT FSE
Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu
2018 B conf
Knowledge Compilation meets Uniform Sampling.
LPAR
Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
2018 B conf
Parse Condition: Symbolic Encoding of LL(1) Parsing.
LPAR
Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
2017 B conf
Bucketing Failing Tests via Symbolic Analysis.
FASE
Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
2017 C conf
Constructing HPSSA over SSA.
SCOPES
Smriti Jaiswal, Praveen Hegde, Subhajit Roy
2017 — conf
Synergistic debug-repair of heap manipulations.
ESEC/SIGSOFT FSE
Sahil Verma, Subhajit Roy
2016 C conf
Accelerating schedule space exploration of multi-threaded programs with GPUs.
MEMOCODE
Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri
2016 Misc conf
Phase Directed Compiler Optimizations.
HiPC
Era Jain, Subhajit Roy
2016 A* conf
Program synthesis using natural language.
ICSE
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
2016 — conf
Regression aware debugging for mobile applications.
Mobile!@SPLASH
Rohan Bavishi, Awanish Pandey, Subhajit Roy
2016 A conf
To be precise: regression aware debugging.
OOPSLA
Rohan Bavishi, Awanish Pandey, Subhajit Roy
2015 — conf
Identifying Hierarchical Structures in Sequences on GPU.
TrustCom/BigDataSE/ISPA (3)
Prashant Jalan, Arihant Kumar Jain, Subhajit Roy
2015 J jnl
Program Synthesis using Natural Language.
CoRR
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
2015 B conf
Synthesizing Heap Manipulations via Integer Linear Programming.
SAS
Anshul Garg, Subhajit Roy
2013 — conf
Exploring program phases for statistical bug localization.
PASTE
Varun Modi, Subhajit Roy, Sanjeev K. Aggarwal
2013 — conf
Facilitating Verification in Program Loops by Identification of Static Iteration Patterns.
APSEC (1)
Aditya Desai, Era Jain, Subhajit Roy
2013 B conf
From Concrete Examples to Heap Manipulating Programs.
SAS
Subhajit Roy
2013 Misc conf
Online identification of frequently executed acyclic paths by leveraging data stream algorithms.
SAC
Gaurav Kumar, Subhajit Roy
2013 A conf
Pertinent path profiling: Tracking interactions among relevant statements.
CGO
Ramshankar Chouhan, Subhajit Roy, Surender Baswana
2011 — conf
Probabilistic dataflow analysis using path profiles on structure graphs.
SIGSOFT FSE
Arun Ramamurthi, Subhajit Roy, Y. N. Srikant
2010 B conf
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations.
CC
Subhajit Roy, Y. N. Srikant
2009 A conf
Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm.
CGO
Subhajit Roy, Y. N. Srikant
2008 Misc conf
Improving flow-insensitive solutions for non-separable dataflow problems.
SAC
Subhajit Roy, Y. N. Srikant
2007 Misc conf
Partial Flow Sensitivity.
HiPC
Subhajit Roy, Y. N. Srikant
1997 A conf
A Parameterized VHDL Library for On-Line Testing.
ITC
Charles E. Stroud, M. Ding, S. Seshadri, Ramesh Karri, I. Kim, Subhajit Roy, S. Wu