Sudipta Kundu

According to our database, Sudipta Kundu authored at least 20 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification.

Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu

Proceedings of the 38th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems, 2025

SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification.

Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu

Proceedings of the 30th Asia and South Pacific Design Automation Conference, 2025

2024

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification.

Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Formal Verification of Floating-Point Division.

Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2018

PASTA: Python Algorithms for Searching Transition stAtes.

Sudipta Kundu, Satadeep Bhattacharjee, Seung-Cheol Lee, Manish Jain

Comput. Phys. Commun., 2018

2013

Adaptive Constellation Rotation Scheme for Two-User Fading MAC with Quantized Fade State Feedback.

Sudipta Kundu, B. Sundar Rajan

IEEE Trans. Wirel. Commun., 2013

2012

An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback.

Sudipta Kundu, B. Sundar Rajan

Proceedings of the 23rd IEEE International Symposium on Personal, 2012

2011

Symbolic predictive analysis for concurrent programs.

Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta

Formal Aspects Comput., 2011

High-Level Verification - Methods and Tools for Verification of System-Level Designs.

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

Springer, ISBN: 978-1-4419-9358-8, 2011

2010

Translation Validation of High-Level Synthesis.

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Contessa: Concurrency Testing Augmented with Symbolic Analysis.

Sudipta Kundu, Malay K. Ganai, Chao Wang

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

High-level verification of system designs.

Sudipta Kundu

PhD thesis, 2009

High-Level Verification.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

IPSJ Trans. Syst. LSI Des. Methodol., 2009

Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.

Malay K. Ganai, Sudipta Kundu

Proceedings of the Model Checking Software, 2009

Proving optimizations correct using parameterized program equivalence.

Sudipta Kundu, Zachary Tatlock, Sorin Lerner

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Symbolic Predictive Analysis for Concurrent Programs.

Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta

Proceedings of the FM 2009: Formal Methods, 2009

2008

Partial order reduction for scalable testing of systemC TLM designs.

Sudipta Kundu, Malay K. Ganai, Rajesh Gupta

Proceedings of the 45th Design Automation Conference, 2008

Validating High-Level Synthesis.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Automated refinement checking of concurrent systems.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2004

OaSis: An Application Specific Operating System for an Embedded Environment.

Gurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004