Sudipta Kundu

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 3

Top Venues

Comput. Phys. Commun.

DATE

ARITH

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE (2024)
Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu
Formal Verification of Floating-Point Division. ARITH (2023)
Sudipta Kundu, Satadeep Bhattacharjee, Seung-Cheol Lee, Manish Jain
PASTA: Python Algorithms for Searching Transition stAtes. Comput. Phys. Commun. 233 (2018)
Sudipta Kundu, B. Sundar Rajan
Adaptive Constellation Rotation Scheme for Two-User Fading MAC with Quantized Fade State Feedback. IEEE Trans. Wirel. Commun. 12 (3) (2013)
Sudipta Kundu, B. Sundar Rajan
An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback. PIMRC (2012)
Sudipta Kundu, B. Sundar Rajan
An Adaptive Modulation Scheme for Two-user Fading MAC with Quantized Fade State Feedback CoRR (2012)
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. 23 (6) (2011)
Sudipta Kundu, Malay K. Ganai, Chao Wang
Contessa: Concurrency Testing Augmented with Symbolic Analysis. CAV (2010)
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
Translation Validation of High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (4) (2010)
Malay K. Ganai, Sudipta Kundu
Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. SPIN (2009)
Sudipta Kundu, Zachary Tatlock, Sorin Lerner
Proving optimizations correct using parameterized program equivalence. PLDI (2009)
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
High-Level Verification. IPSJ Trans. Syst. LSI Des. Methodol. 2 (2009)
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta
Symbolic Predictive Analysis for Concurrent Programs. FM (2009)
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
Validating High-Level Synthesis. CAV (2008)
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
Partial order reduction for scalable testing of systemC TLM designs. DAC (2008)
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
Automated refinement checking of concurrent systems. ICCAD (2007)
Gurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu
OaSis: An Application Specific Operating System for an Embedded Environment. VLSI Design (2004)

Sudipta Kundu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sudipta Kundu