default search action
Subhajit Roy 0001
Person information
- affiliation: Indian Institute of Technology Kanpur, India
Other persons with the same name
- Subhajit Roy 0002 — Dream Institute of Technology, Kolkata, India (and 1 more)
- Subhajit Roy 0003 — National Institute of Technology Durgapur, Department of Computer Science and Engineering, India
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Vikas, Subhajit Roy, Dibakar Ghosal:
ShaVi-1.0: An interface enabled open source 2D acoustic full waveform inversion package. Comput. Geosci. 187: 105592 (2024) - [c51]Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy:
Interactive Theorem Proving Modulo Fuzzing. CAV (1) 2024: 480-493 - [c50]Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy:
Accelerated Bounded Model Checking Using Interpolation Based Summaries. TACAS (2) 2024: 155-174 - [i19]Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
Enabling Memory Safety of C Programs using LLMs. CoRR abs/2404.01096 (2024) - [i18]Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal:
Inductive Generalization in Reinforcement Learning from Specifications. CoRR abs/2406.03651 (2024) - [i17]Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers for Reduced-Product Domains. CoRR abs/2408.04040 (2024) - 2023
- [c49]Gourav Takhar, Subhajit Roy:
SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. CAV (3) 2023: 190-212 - [c48]Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Synthesis with Explicit Dependencies. DATE 2023: 1-6 - [c47]Subhajit Roy:
A Theorem Proving Approach to Programming Language Semantics. SEET@ICSE 2023: 153-165 - [c46]Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy:
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. IJCAI 2023: 3140-3148 - [c45]Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy:
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). IJCAI 2023: 6415-6419 - [c44]Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy:
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. ASE 2023: 598-610 - [i16]Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Synthesis with Explicit Dependencies. CoRR abs/2301.10556 (2023) - [i15]Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
Finding Inductive Loop Invariants using Large Language Models. CoRR abs/2311.07948 (2023) - 2022
- [j6]Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy:
Symbolic encoding of LL(1) parsing and its applications. Formal Methods Syst. Des. 61(2): 338-379 (2022) - [j5]Sujit Kumar Muduli, Subhajit Roy:
Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing. Proc. ACM Program. Lang. 6(OOPSLA2): 1236-1263 (2022) - [j4]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing abstract transformers. Proc. ACM Program. Lang. 6(OOPSLA2): 1291-1319 (2022) - [j3]Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy:
Symbolic execution for randomized programs. Proc. ACM Program. Lang. 6(OOPSLA2): 1583-1612 (2022) - [c43]Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy:
Data-Driven Invariant Learning for Probabilistic Programs. CAV (1) 2022: 33-54 - [c42]Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy:
Proof-Guided Underapproximation Widening for Bounded Model Checking. CAV (1) 2022: 304-324 - [c41]Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy:
Synthesis of Semantic Actions in Attribute Grammars. FMCAD 2022: 304-314 - [c40]Gourav Takhar, Subhajit Roy:
Structural Analysis Attack on Sequential Circuit Logic Locking. HOST 2022: 21-24 - [c39]Sumit Lahiri, Subhajit Roy:
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. ISSTA 2022: 352-364 - [c38]Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy:
HOLL: Program Synthesis for Higher Order Logic Locking. TACAS (1) 2022: 3-24 - [d2]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers. Version 1.0. Zenodo, 2022 [all versions] - [d1]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers. Version 1.0. Zenodo, 2022 [all versions] - [i14]Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy:
HOLL: Program Synthesis for Higher OrderLogic Locking. CoRR abs/2201.10531 (2022) - [i13]Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy:
Synthesis of Semantic Actions in Attribute Grammars. CoRR abs/2208.06916 (2022) - [i12]Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy:
Symbolic Execution for Randomized Programs. CoRR abs/2209.08046 (2022) - 2021
- [j2]Sahil Verma, Subhajit Roy:
Debug-localize-repair: a symbiotic construction for heap manipulations. Formal Methods Syst. Des. 58(3): 399-439 (2021) - [c37]Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel:
Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI 2021: 3922-3930 - [c36]Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel:
Engineering an Efficient Boolean Functional Synthesis Engine. ICCAD 2021: 1-9 - [c35]Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Program Synthesis as Dependency Quantified Formula Modulo Theory. IJCAI 2021: 1894-1900 - [c34]Subhajit Roy, Justin Hsu, Aws Albarghouthi:
Learning Differentially Private Mechanisms. SP 2021: 852-865 - [i11]Subhajit Roy, Justin Hsu, Aws Albarghouthi:
Learning Differentially Private Mechanisms. CoRR abs/2101.00961 (2021) - [i10]Anay Mehrotra, Ayush Bansal, Awanish Pandey, Subhajit Roy:
Input Validation with Symbolic Execution. CoRR abs/2104.01438 (2021) - [i9]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers. CoRR abs/2105.00493 (2021) - [i8]Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Program Synthesis as Dependency Quantified Formula Modulo Theory. CoRR abs/2105.09221 (2021) - [i7]Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy:
Data-Driven Invariant Learning for Probabilistic Programs. CoRR abs/2106.05421 (2021) - [i6]Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel:
Engineering an Efficient Boolean Functional Synthesis Engine. CoRR abs/2108.05717 (2021) - 2020
- [c33]Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Manthan: A Data-Driven Approach for Boolean Function Synthesis. CAV (2) 2020: 611-633 - [c32]Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy:
Interactive debugging of concurrent programs under relaxed memory models. CGO 2020: 68-80 - [c31]Rahul Gupta, Subhajit Roy, Kuldeep S. Meel:
Phase Transition Behavior in Knowledge Compilation. CP 2020: 358-374 - [c30]Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal:
Distributed Bounded Model Checking. FMCAD 2020: 47-56 - [c29]Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy:
Diagnosing Software Faults Using Multiverse Analysis. IJCAI 2020: 1629-1635 - [i5]Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Manthan: A Data Driven Approach for Boolean Function Synthesis. CoRR abs/2005.06922 (2020) - [i4]Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal:
Distributed Bounded Model Checking. CoRR abs/2005.08063 (2020) - [i3]Rahul Gupta, Subhajit Roy, Kuldeep S. Meel:
Phase Transition Behavior in Knowledge Compilation. CoRR abs/2007.10400 (2020) - [i2]Sahil Verma, Subhajit Roy:
Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations. CoRR abs/2011.13396 (2020)
2010 – 2019
- 2019
- [j1]Subhajit Roy:
Envisioning an Intelligent Collaborative Integrated Development Environment. ACM SIGSOFT Softw. Eng. Notes 44(1): 35 (2019) - [c28]Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel:
GANAK: A Scalable Probabilistic Exact Model Counter. IJCAI 2019: 1169-1176 - [c27]Meenakshi D'Souza, Subhajit Roy:
The ISEC 2019 Ph.D. Symposium. ISEC 2019: 30:1-30:3 - [c26]Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy:
Deferred concretization in symbolic execution via fuzzing. ISSTA 2019: 228-238 - [c25]Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel:
WAPS: Weighted and Projected Sampling. TACAS (1) 2019: 59-76 - 2018
- [c24]Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel:
Knowledge Compilation meets Uniform Sampling. LPAR 2018: 620-636 - [c23]Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy:
Parse Condition: Symbolic Encoding of LL(1) Parsing. LPAR 2018: 637-655 - [c22]Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu:
Bug synthesis: challenging bug-finding tools with deep faults. ESEC/SIGSOFT FSE 2018: 224-234 - 2017
- [c21]Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury:
Bucketing Failing Tests via Symbolic Analysis. FASE 2017: 43-59 - [c20]Smriti Jaiswal, Praveen Hegde, Subhajit Roy:
Constructing HPSSA over SSA. SCOPES 2017: 31-40 - [c19]Sahil Verma, Subhajit Roy:
Synergistic debug-repair of heap manipulations. ESEC/SIGSOFT FSE 2017: 163-173 - 2016
- [c18]Era Jain, Subhajit Roy:
Phase Directed Compiler Optimizations. HiPC 2016: 270-279 - [c17]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program synthesis using natural language. ICSE 2016: 345-356 - [c16]Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri:
Accelerating schedule space exploration of multi-threaded programs with GPUs. MEMOCODE 2016: 115-124 - [c15]Rohan Bavishi, Awanish Pandey, Subhajit Roy:
Regression aware debugging for mobile applications. Mobile!@SPLASH 2016: 21-22 - [c14]Rohan Bavishi, Awanish Pandey, Subhajit Roy:
To be precise: regression aware debugging. OOPSLA 2016: 897-915 - 2015
- [c13]Anshul Garg, Subhajit Roy:
Synthesizing Heap Manipulations via Integer Linear Programming. SAS 2015: 109-127 - [c12]Prashant Jalan, Arihant Kumar Jain, Subhajit Roy:
Identifying Hierarchical Structures in Sequences on GPU. TrustCom/BigDataSE/ISPA (3) 2015: 27-36 - [i1]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language. CoRR abs/1509.00413 (2015) - 2013
- [c11]Aditya Desai, Era Jain, Subhajit Roy:
Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. APSEC (1) 2013: 83-90 - [c10]Ramshankar Chouhan, Subhajit Roy, Surender Baswana:
Pertinent path profiling: Tracking interactions among relevant statements. CGO 2013: 16:1-16:12 - [c9]Varun Modi, Subhajit Roy, Sanjeev K. Aggarwal:
Exploring program phases for statistical bug localization. PASTE 2013: 33-40 - [c8]Gaurav Kumar, Subhajit Roy:
Online identification of frequently executed acyclic paths by leveraging data stream algorithms. SAC 2013: 1694-1695 - [c7]Subhajit Roy:
From Concrete Examples to Heap Manipulating Programs. SAS 2013: 126-149 - 2011
- [c6]Arun Ramamurthi, Subhajit Roy, Y. N. Srikant:
Probabilistic dataflow analysis using path profiles on structure graphs. SIGSOFT FSE 2011: 512-515 - 2010
- [c5]Subhajit Roy, Y. N. Srikant:
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. CC 2010: 304-323
2000 – 2009
- 2009
- [c4]Subhajit Roy, Y. N. Srikant:
Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm. CGO 2009: 70-80 - 2008
- [c3]Subhajit Roy, Y. N. Srikant:
Improving flow-insensitive solutions for non-separable dataflow problems. SAC 2008: 211-216 - 2007
- [c2]Subhajit Roy, Y. N. Srikant:
Partial Flow Sensitivity. HiPC 2007: 245-256
1990 – 1999
- 1997
- [c1]Charles E. Stroud, M. Ding, S. Seshadri, Ramesh Karri, I. Kim, Subhajit Roy, S. Wu:
A Parameterized VHDL Library for On-Line Testing. ITC 1997: 479-488
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 22:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint