| 2025 | ASPDAC | SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2025 | VLSID | PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2024 | DATE | PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain |
| 2023 | ARITH | Formal Verification of Floating-Point Division. | Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu |
| 2012 | PIMRC | An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback. | Sudipta Kundu, B. Sundar Rajan |
| 2010 | CAV | Contessa: Concurrency Testing Augmented with Symbolic Analysis. | Sudipta Kundu, Malay K. Ganai, Chao Wang |
| 2009 | FM | Symbolic Predictive Analysis for Concurrent Programs. | Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta |
| 2009 | PLDI | Proving optimizations correct using parameterized program equivalence. | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
| 2008 | CAV | Validating High-Level Synthesis. | Sudipta Kundu, Sorin Lerner, Rajesh Gupta |
| 2008 | DAC | Partial order reduction for scalable testing of systemC TLM designs. | Sudipta Kundu, Malay K. Ganai, Rajesh Gupta |
| 2007 | ICCAD | Automated refinement checking of concurrent systems. | Sudipta Kundu, Sorin Lerner, Rajesh Gupta |
| 2004 | VLSID | OaSis: An Application Specific Operating System for an Embedded Environment. | Gurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu |