Publications [dblp]

CAV '20: Priyanka Golia, Subhajit Roy and Kuldeep S. Meel. Manthan: A Data-Driven Approach for Boolean Function Synthesis. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020. 2020.
FMCAD '20: Prantik Chatterjee, Subhajit Roy, Bui Phi Diep and Akash Lal. Distributed Bounded Model Checking. In FMCAD '20: Formal Methods in Computer Aided Design. 2020.
CGO '20: Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey and Subhajit Roy. Interactive debugging of concurrent programs under relaxed memory. In CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, San Diego, CA, USA, February, 2020. 2020.
CP '20: Rahul Gupta, Subhajit Roy and Kuldeep S. Meel. Phase Transition Behavior in Knowledge Compilation. In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings. 2020.
IJCAI '20: Prantik Chatterjee, Abhijit Chatterjee, Jose Campos, Rui Abreu and Subhajit Roy. Diagnosing Software Faults Using Multiverse Analysis. In IJCAI 2020: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. 2020.
ISSTA '19: Awanish Pandey, Phani Raj Goutham Kotcharlakota and Subhajit Roy. Deferred concretization in symbolic execution via fuzzing. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019.. 2019.
IJCAI '19: Shubham Sharma, Subhajit Roy, Mate Soos and Kuldeep S. Meel. GANAK: A Scalable Probabilistic Exact Model Counter. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI-19. 2019.
TACAS '19: Rahul Gupta, Shubham Sharma, Subhajit Roy and Kuldeep S. Meel. WAPS: Weighted and Projected Sampling. In Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I. 2019.
SEN '19: Subhajit Roy. Envisioning an Intelligent Collaborative Integrated Development Environment. In SIGSOFT Softw. Eng. Notes. 2019.
ISEC '19: Meenakshi D'Souza and. The {ISEC} 2019 Ph.D. Symposium. In Proceedings of the 12th Innovations on Software Engineering Conference. 2019.
LPAR '18: Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala and Subhajit Roy. Parse Condition: Symbolic Encoding of LL(1) Parsing. In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November. 2018.
LPAR '18: Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel. Knowledge Compilation meets Uniform Sampling. In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. 2018.
FSE '18: Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt and Yu Hu. Bug synthesis: challenging bug-finding tools with deep faults. In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. 2018.
FSE '17: Sahil Verma and Subhajit Roy. Synergistic Debug-Repair of Heap Manipulations. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. 2017.
SCOPES '17: Smriti Jaiswal, Praveen Hegde and Subhajit Roy. Constructing HPSSA over SSA. In Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems. 2017.
FASE '17: Van-Thuan Pham, Sakaar Khurana, Subhajit Roy and Abhik Roychoudhury. Bucketing Failing Tests via Symbolic Analysis. In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. 2017.
HiPC '16: Era Jain and Subhajit Roy. Phase Directed Compiler Optimizations. In 23rd IEEE International Conference on High Performance Computing. 2016.
MEMOCODE '16: Prakhar Banga, Atul Pai, Subhajit Roy and Mainak Chaudhuri. Accelerating schedule space exploration of multi-threaded programs with GPUs. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. 2016.
MOBILE '16: Rohan Bavishi, Awanish Pandey and Subhajit Roy. Regression aware debugging for mobile applications. In Proceedings of the 1st International Workshop on Mobile Development, Mobile! at SPLASH 2016, Amsterdam, Netherlands, October 31, 2016 (Invited Paper). 2016.
OOPSLA '16: Rohan Bavishi, Awanish Pandey and Subhajit Roy. To be precise: regression aware debugging. In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. 2016.
ICSE '16: Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R and Subhajit Roy. Program Synthesis Using Natural Language. In Proceedings of the 38th International Conference on Software Engineering. 2016.
SAS '15: Anshul Garg and Subhajit Roy. Synthesizing Heap Manipulations via Integer Linear Programming. In Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. 2015.
ISPA '15: Prashant Jalan, Arihant Kumar Jain and Subhajit Roy. Identifying Hierarchical Structures in Sequences on GPU. In 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (2015) IEEE ISPA, Helsinki, Finland, August 20-22. 2015.
APLAS '13: Aditya Desai, Era Jain and Subhajit Roy. Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. In 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Bangkok, Thailand, December 2-5, 2013. 2013.
PASTE '13: Varun Modi, Subhajit Roy and Sanjeev K. Aggarwal. Exploring Program Phases for Statistical Bug Localization. In Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013, Seattle. 2013.
SAS '13: Subhajit Roy. From Concrete Examples to Heap Manipulating Programs. In Static Analysis - 20th International Symposium, SAS 2013, Seattle. 2013.
SAC '13: Gaurav Kumar and Subhajit Roy. Online Identification of Frequently Executed Acyclic Paths by Leveraging Data Stream Algorithms. In Proceedings of the 28th Annual ACM Symposium on Applied Computing (poster paper). 2013.
CGO '13: Surender Baswana, Subhajit Roy and Ramshankar Chouhan. Pertinent Path Profiling: Tracking Interactions Among Relevant Statements. In Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2013.
FSE(NIER) '11: Arun Ramamurthi, Subhajit Roy and Y. N. Srikant. Probabilistic dataflow analysis using path profiles on structure graphs. In FSE '11: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (NI Track). 2011.
CC '10: Subhajit Roy and Y. Srikant. The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. In CC '10: International Conference on Compiler Construction. 2010.
CGO '09: Subhajit Roy and Y. N. Srikant. Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm. In CGO '09: Proceedings of the 2009 International Symposium on Code Generation and Optimization. 2009.
SAC '08: Subhajit Roy and Y. N. Srikant. Improving flow-insensitive solutions for non-separable dataflow problems. In SAC '08: Proceedings of the 2008 ACM Symposium on Applied Computing. 2008.
HiPC '07: Subhajit Roy and Y. N. Srikant. Partial Flow Sensitivity. In HiPC: Proceedings of the 2007 International Conference on High-Performance Computing. 2007.
NHC '06: Subhajit Roy and Y. N. Srikant. Slice Switching: A Technique for Software Watermarking. In Workshop on New Horizons in Compilers, held in conjunction with HiPC. 2006.