Publications

Sahil Verma and Subhajit Roy. Synergistic Debug-Repair of Heap Manipulations. In ESEC/FSE 2017. 2017.

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.

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.

Era Jain and. Phase Directed Compiler Optimizations. In 23rd IEEE International Conference on High Performance Computing. 2016.

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.

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.

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.

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.

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.

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.

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.

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.

Subhajit Roy. From Concrete Examples to Heap Manipulating Programs. In Static Analysis - 20th International Symposium, SAS 2013, Seattle. 2013.

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.

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.

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.

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.

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.

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.

Subhajit Roy and Y. N. Srikant. Partial Flow Sensitivity. In HiPC: Proceedings of the 2007 International Conference on High-Performance Computing. 2007.

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.