Research Interests

Formal Methods, Artificial Intelligence, Software Engineering, Programming Languages




I am looking for motivated students (UG, PG, PhD); 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 with details on what projects from our group motivated you to contact us and what is your (brief) understanding of that project.  

Current Course

CS335: Compiler Design (Jan 2018 - May 2018)


Selected Publications

Priyanka Golia, Subhajit Roy and Kuldeep S. Meel. Manthan: A Data-Driven Approach for Boolean Function Synthesis. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020. 2020.

Prantik Chatterjee, Subhajit Roy, Bui Phi Diep and Akash Lal. Distributed Bounded Model Checking. FMCAD '20. 2020.

Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey and Subhajit Roy. Interactive debugging of concurrent programs under relaxed memory. CGO '20. 2020.

Prantik Chatterjee, Abhijit Chatterjee, Jose Campos, Rui Abreu and Subhajit Roy. Diagnosing Software Faults Using Multiverse Analysis. IJCAI 2020. 2020.



Selected Projects

Statistical Bug Isolation using Program Phases