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]