Subhajit Roy

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 51

Top Topics

Symbolic Execution

Attribute Grammars

Differentially Private

Top Venues

ESEC/SIGSOFT FSE

Publications

Sumit Lahiri, Subhajit Roy
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. ISSTA (2022)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs. CAV (1) (2022)
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
Proof-Guided Underapproximation Widening for Bounded Model Checking. CAV (1) (2022)
Gourav Takhar, Subhajit Roy
Structural Analysis Attack on Sequential Circuit Logic Locking. HOST (2022)
Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy
HOLL: Program Synthesis for Higher Order Logic Locking. TACAS (1) (2022)
Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy
HOLL: Program Synthesis for Higher OrderLogic Locking. CoRR (2022)
Subhajit Roy, Jaydeep Howlader, Goutam Sanyal
A novel approach of data hiding in video using region selection and PCA. Multim. Tools Appl. 81 (10) (2022)
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
Symbolic Execution for Randomized Programs. CoRR (2022)
Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy
Synthesis of Semantic Actions in Attribute Grammars. CoRR (2022)
Subhajit Roy, Justin Hsu, Aws Albarghouthi
Learning Differentially Private Mechanisms. CoRR (2021)
Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs. CoRR (2021)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing Abstract Transformers. CoRR (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. CoRR (2021)
Sahil Verma, Subhajit Roy
Debug-localize-repair: a symbiotic construction for heap manipulations. Formal Methods Syst. Des. 58 (3) (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. CoRR (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. IJCAI (2021)
Subhajit Roy, Justin Hsu, Aws Albarghouthi
Learning Differentially Private Mechanisms. IEEE Symposium on Security and Privacy (2021)
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. ICCAD (2021)
Anay Mehrotra, Ayush Bansal, Awanish Pandey, Subhajit Roy
Input Validation with Symbolic Execution. CoRR (2021)
Sahil Verma, Subhajit Roy
Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations. CoRR (2020)
Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy
Diagnosing Software Faults Using Multiverse Analysis. IJCAI (2020)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Manthan: A Data Driven Approach for Boolean Function Synthesis. CoRR (2020)
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
Distributed Bounded Model Checking. FMCAD (2020)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Manthan: A Data-Driven Approach for Boolean Function Synthesis. CAV (2) (2020)
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
Distributed Bounded Model Checking. CoRR (2020)
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy
Interactive debugging of concurrent programs under relaxed memory models. CGO (2020)
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
Phase Transition Behavior in Knowledge Compilation. CP (2020)
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
Phase Transition Behavior in Knowledge Compilation. CoRR (2020)
Subhajit Roy
Envisioning an Intelligent Collaborative Integrated Development Environment. ACM SIGSOFT Softw. Eng. Notes 44 (1) (2019)
Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy
Deferred concretization in symbolic execution via fuzzing. ISSTA (2019)
Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel
GANAK: A Scalable Probabilistic Exact Model Counter. IJCAI (2019)
Meenakshi D'Souza, Subhajit Roy
The ISEC 2019 Ph.D. Symposium. ISEC (2019)
Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
WAPS: Weighted and Projected Sampling. TACAS (1) (2019)
Subhajit Roy, Srilekha Mukherjee, Goutam Sanyal
Video Steganography Using Karhunen-Loève Transform. ICDSP (2018)
Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu
Bug synthesis: challenging bug-finding tools with deep faults. ESEC/SIGSOFT FSE (2018)
Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
Knowledge Compilation meets Uniform Sampling. LPAR (2018)
Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
Parse Condition: Symbolic Encoding of LL(1) Parsing. LPAR (2018)
Smriti Jaiswal, Praveen Hegde, Subhajit Roy
Constructing HPSSA over SSA. SCOPES (2017)
Subhajit Roy, Kuntal Bhattacharjee, Aniruddha Bhattacharya
A Modern Approach to Solve of Economic Load Dispatch using Group Leader Optimization Technique. Int. J. Energy Optim. Eng. 6 (1) (2017)
Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
Bucketing Failing Tests via Symbolic Analysis. FASE (2017)
Sahil Verma, Subhajit Roy
Synergistic debug-repair of heap manipulations. ESEC/SIGSOFT FSE (2017)
Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri
Accelerating schedule space exploration of multi-threaded programs with GPUs. MEMOCODE (2016)
Subhajit Roy
Implementation of Model to Analyse the Performance of Microturbine as in Microgrid Comparison with Fuel Cell. Int. J. Energy Optim. Eng. 5 (3) (2016)
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
Program synthesis using natural language. ICSE (2016)
Rohan Bavishi, Awanish Pandey, Subhajit Roy
Regression aware debugging for mobile applications. Mobile!@SPLASH (2016)
Rohan Bavishi, Awanish Pandey, Subhajit Roy
To be precise: regression aware debugging. OOPSLA (2016)
Era Jain, Subhajit Roy
Phase Directed Compiler Optimizations. HiPC (2016)
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
Program Synthesis using Natural Language. CoRR (2015)
Anshul Garg, Subhajit Roy
Synthesizing Heap Manipulations via Integer Linear Programming. SAS (2015)
Prashant Jalan, Arihant Kumar Jain, Subhajit Roy
Identifying Hierarchical Structures in Sequences on GPU. TrustCom/BigDataSE/ISPA (3) (2015)
Gaurav Kumar, Subhajit Roy
Online identification of frequently executed acyclic paths by leveraging data stream algorithms. SAC (2013)
Varun Modi, Subhajit Roy, Sanjeev K. Aggarwal
Exploring program phases for statistical bug localization. PASTE (2013)
Subhajit Roy
From Concrete Examples to Heap Manipulating Programs. SAS (2013)
Aditya Desai, Era Jain, Subhajit Roy
Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. APSEC (1) (2013)
Ramshankar Chouhan, Subhajit Roy, Surender Baswana
Pertinent path profiling: Tracking interactions among relevant statements. CGO (2013)
Arun Ramamurthi, Subhajit Roy, Y. N. Srikant
Probabilistic dataflow analysis using path profiles on structure graphs. SIGSOFT FSE (2011)
Subhajit Roy, Y. N. Srikant
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. CC (2010)
Subhajit Roy, Y. N. Srikant
Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm. CGO (2009)
Subhajit Roy, Y. N. Srikant
Improving flow-insensitive solutions for non-separable dataflow problems. SAC (2008)
Subhajit Roy, Y. N. Srikant
Partial Flow Sensitivity. HiPC (2007)
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)