| 2026 | ICSoft | Don't Just Translate: Verify - LLM-Guided Solidity Migration with Semantic Guarantees. | Arnab Mukherjee, Soumyadip Bandyopadhyay, Raju Halder, Dominique Blouin |
| 2025 | ATVA | Antarbhukti: Verifying Correctness of PLC Software During System Evolution. | Soumyadip Bandyopadhyay, Santonu Sarkar |
| 2024 | ETFA | Automated Control Logic Test Case Generation using Large Language Models. | Heiko Koziolek, Virendra Ashiwal, Soumyadip Bandyopadhyay, Chandrika K. R |
| 2022 | COMSNETS | A Comparative Study between ECG-based and PPG-based Heart Rate Monitors for Stress Detection. | Anuja Pinge, Soumyadip Bandyopadhyay, Surjya Ghosh, Sougata Sen |
| 2022 | MODELS | Solving the instance model-view update problem in AADL. | Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay |
| 2021 | APSEC | PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets. | Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay |
| 2021 | ICSoft | Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. | Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay |
| 2019 | ICSoft | AES: Automated Evaluation Systems for Computer Programing Course. | Shivam, Nilanjana Goswami, Veeky Baths, Soumyadip Bandyopadhyay |
| 2018 | ICSoft | Analysis of GPGPU Programs for Data-race and Barrier Divergence. | Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese |
| 2017 | ATVA | SamaTulyata: An Efficient Path Based Equivalence Checking Tool. | Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal |
| 2017 | HPDC | PRESGen: A Fully Automatic Equivalence Checker for Validating Optimizing and Parallelizing Transformations. | Soumyadip Bandyopadhyay, Kunal Banerjee |
| 2017 | ICSoft | An End-to-end Formal Verifier for Parallel Programs. | Soumyadip Bandyopadhyay, Santonu Sarkar, Kunal Banerjee |
| 2016 | HPDC | Implementing an Efficient Path Based Equivalence Checker for Parallel Programs. | Soumyadip Bandyopadhyay, Kunal Banerjee |
| 2015 | ICSE | Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs. | Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal |
| 2015 | ICSoft | A Path-based Equivalence Checking Method for Petri Net based Models of Programs. | Soumyadip Bandyopadhyay, Dipankar Sarkar, Kunal Banerjee, Chittaranjan A. Mandal |