Research Interests

Formal Methods, Artificial Intelligence, Software Engineering, Programming Languages

We are running multiple projects that combine Large Language Models (LLMs) with formal tools to build reliable systems.

[more]

 
 

Announcements

Our group is actively seeking motivated doctoral students.

If you are an IIT Kanpur student, you can simply drop by my office for a chat on possible projects. If you are not an IIT Kanpur student, do feel free to drop a mail.  
 
 
 
 

Current Course

CS335: Compiler Design (Jan 2018 - May 2018)

[All]  
 
 
 
 

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.

[All]

 
 
 
   
 
 
 

Selected Projects

Statistical Bug Isolation using Program Phases