Research Interests

Formal techniques for automated debugging; Program verification and synthesis; Program profiling; Compiler optimizations; GPU algorithms




I am looking for motivated students (UG, PG, PhD) who are interested in the general area of programming languages (see our group's agenda here).

If you are an IIT Kanpur student, you can simply drop by my office; if you are not an IIT Kanpur student, do feel free to drop a mail.  

Current Course

CS636: Analysis of Concurrent Programs (Jan 2017 - Apr 2017)


Selected Publications

Rohan Bavishi, Awanish Pandey and Subhajit Roy. To Be Precise: Regression Aware Debugging. OOPSLA '16 (to appear). 2016.

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R and Subhajit Roy. Program Synthesis Using Natural Language. Proceedings of the 38th International Conference on Software Engineering. 2016.

Anshul Garg and Subhajit Roy. Synthesizing Heap Manipulations via Integer Linear Programming. Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. 2015.



Selected Projects

Statistical Bug Isolation using Program Phases