OaSis: An Application Specific Operating System for an Embedded Environment. - Gurashish Singh Brar; Susmit Biswas; Sudipta Kundu; Arijit Mukhopadhyay; Pratik Worah; Anupam Basu (VLSI Design, 2004)

Automated refinement checking of concurrent systems. - Sudipta Kundu; Sorin Lerner; Rajesh Gupta 001 (ICCAD, 2007)

Validating High-Level Synthesis. - Sudipta Kundu; Sorin Lerner; Rajesh Gupta 001 (CAV, 2008)

Partial order reduction for scalable testing of systemC TLM designs. - Sudipta Kundu; Malay K. Ganai; Rajesh Gupta 001 (DAC, 2008)

Symbolic Predictive Analysis for Concurrent Programs. - Chao Wang 001; Sudipta Kundu; Malay K. Ganai; Aarti Gupta (FM, 2009)

Proving optimizations correct using parameterized program equivalence. - Sudipta Kundu; Zachary Tatlock; Sorin Lerner (PLDI, 2009)

Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. - Malay K. Ganai; Sudipta Kundu (SPIN, 2009)

High-Level Verification. - Sudipta Kundu; Sorin Lerner; Rajesh Gupta 001 (IPSJ Trans. Syst. LSI Des. Methodol., 2009)

High-level verification of system designs. - Sudipta Kundu (2009)

Contessa: Concurrency Testing Augmented with Symbolic Analysis. - Sudipta Kundu; Malay K. Ganai; Chao Wang 001 (CAV, 2010)

Translation Validation of High-Level Synthesis. - Sudipta Kundu; Sorin Lerner; Rajesh K. Gupta 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

High-Level Verification - Methods and Tools for Verification of System-Level Designs. - Sudipta Kundu; Sorin Lerner; Rajesh K. Gupta 001 (Springer, 2011)

Symbolic predictive analysis for concurrent programs. - Chao Wang 001; Sudipta Kundu; Rhishikesh Limaye; Malay K. Ganai; Aarti Gupta (Formal Aspects Comput., 2011)

An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback. - Sudipta Kundu; B. Sundar Rajan (PIMRC, 2012)

Adaptive Constellation Rotation Scheme for Two-User Fading MAC with Quantized Fade State Feedback. - Sudipta Kundu; B. Sundar Rajan (IEEE Trans. Wirel. Commun., 2013)

PASTA: Python Algorithms for Searching Transition stAtes. - Sudipta Kundu; Satadeep Bhattacharjee; Seung-Cheol Lee; Manish Jain (Comput. Phys. Commun., 2018)

Formal Verification of Floating-Point Division. - Ashish Kapoor; Warren E. Ferguson; Himanshu Jain; Sudipta Kundu (ARITH, 2023)

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Sudipta Kundu; Himanshu Jain (DATE, 2024)

SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (ASP-DAC, 2025)

PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (VLSID, 2025)