Subhajit Roy

According to our database, Subhajit Roy authored at least 60 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Accelerated Bounded Model Checking Using Interpolation Based Summaries.

Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

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, Rahul Sharma

CoRR, 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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Augmenting Automated Spectrum Based Fault Localization for Multiple Faults.

Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Theorem Proving Approach to Programming Language Semantics.

Subhajit Roy

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2023

Synthesis with Explicit Dependencies.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

SR-SFLL: Structurally Robust Stripped Functionality Logic Locking.

Gourav Takhar, Subhajit Roy

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Symbolic encoding of LL(1) parsing and its applications.

Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy

Formal Methods Syst. Des., December, 2022

Symbolic execution for randomized programs.

Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy

Proc. ACM Program. Lang., 2022

Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing.

Sujit Kumar Muduli, Subhajit Roy

Proc. ACM Program. Lang., 2022

Synthesizing abstract transformers.

Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy

Proc. ACM Program. Lang., 2022

HOLL: Program Synthesis for Higher OrderLogic Locking.

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

CoRR, 2022

HOLL: Program Synthesis for Higher Order Logic Locking.

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Almost correct invariants: synthesizing inductive invariants by fuzzing proofs.

Sumit Lahiri, Subhajit Roy

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Structural Analysis Attack on Sequential Circuit Logic Locking.

Gourav Takhar, Subhajit Roy

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2022

Synthesis of Semantic Actions in Attribute Grammars.

Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Proof-Guided Underapproximation Widening for Bounded Model Checking.

Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Debug-localize-repair: a symbiotic construction for heap manipulations.

Sahil Verma, Subhajit Roy

Formal Methods Syst. Des., 2021

Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy

CoRR, 2021

Input Validation with Symbolic Execution.

Anay Mehrotra, Ayush Bansal, Awanish Pandey, Subhajit Roy

CoRR, 2021

Learning Differentially Private Mechanisms.

Subhajit Roy, Justin Hsu, Aws Albarghouthi

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Program Synthesis as Dependency Quantified Formula Modulo Theory.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Engineering an Efficient Boolean Functional Synthesis Engine.

Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Symmetric Component Caching for Model Counting on Combinatorial Instances.

Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Diagnosing Software Faults Using Multiverse Analysis.

Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Distributed Bounded Model Checking.

Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Phase Transition Behavior in Knowledge Compilation.

Rahul Gupta, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Principles and Practice of Constraint Programming, 2020

Interactive debugging of concurrent programs under relaxed memory models.

Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

Manthan: A Data-Driven Approach for Boolean Function Synthesis.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Envisioning an Intelligent Collaborative Integrated Development Environment.

Subhajit Roy

ACM SIGSOFT Softw. Eng. Notes, 2019

WAPS: Weighted and Projected Sampling.

Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Deferred concretization in symbolic execution via fuzzing.

Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

The ISEC 2019 Ph.D. Symposium.

Meenakshi D'Souza, Subhajit Roy

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

GANAK: A Scalable Probabilistic Exact Model Counter.

Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Bug synthesis: challenging bug-finding tools with deep faults.

Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Parse Condition: Symbolic Encoding of LL(1) Parsing.

Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Knowledge Compilation meets Uniform Sampling.

Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Synergistic debug-repair of heap manipulations.

Sahil Verma, Subhajit Roy

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Constructing HPSSA over SSA.

Smriti Jaiswal, Praveen Hegde, Subhajit Roy

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

Bucketing Failing Tests via Symbolic Analysis.

Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Regression aware debugging for mobile applications.

Rohan Bavishi, Awanish Pandey, Subhajit Roy

Proceedings of the 1st International Workshop on Mobile Development, 2016

To be precise: regression aware debugging.

Rohan Bavishi, Awanish Pandey, Subhajit Roy

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Accelerating schedule space exploration of multi-threaded programs with GPUs.

Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Program synthesis using natural language.

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy

Proceedings of the 38th International Conference on Software Engineering, 2016

Phase Directed Compiler Optimizations.

Era Jain, Subhajit Roy

Proceedings of the 23rd IEEE International Conference on High Performance Computing, 2016

2015

Identifying Hierarchical Structures in Sequences on GPU.

Prashant Jalan, Arihant Kumar Jain, Subhajit Roy

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Synthesizing Heap Manipulations via Integer Linear Programming.

Anshul Garg, Subhajit Roy

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2013

From Concrete Examples to Heap Manipulating Programs.

Subhajit Roy

Proceedings of the Static Analysis - 20th International Symposium, 2013

Online identification of frequently executed acyclic paths by leveraging data stream algorithms.

Gaurav Kumar, Subhajit Roy

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Exploring program phases for statistical bug localization.

Varun Modi, Subhajit Roy, Sanjeev K. Aggarwal

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Pertinent path profiling: Tracking interactions among relevant statements.

Ramshankar Chouhan, Subhajit Roy, Surender Baswana

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Facilitating Verification in Program Loops by Identification of Static Iteration Patterns.

Aditya Desai, Era Jain, Subhajit Roy

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2011

Probabilistic dataflow analysis using path profiles on structure graphs.

Arun Ramamurthi, Subhajit Roy, Y. N. Srikant

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations.

Subhajit Roy, Y. N. Srikant

Proceedings of the Compiler Construction, 19th International Conference, 2010

2009

Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm.

Subhajit Roy, Y. N. Srikant

Proceedings of the CGO 2009, 2009

2008

Improving flow-insensitive solutions for non-separable dataflow problems.

Subhajit Roy, Y. N. Srikant

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Partial Flow Sensitivity.

Subhajit Roy, Y. N. Srikant

Proceedings of the High Performance Computing, 2007

1997

A Parameterized VHDL Library for On-Line Testing.

Charles E. Stroud, M. Ding, S. Seshadri, Ramesh Karri, I. Kim, Subhajit Roy, S. Wu

Proceedings of the Proceedings IEEE International Test Conference 1997, 1997