Sudipta Kundu - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2025

SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal VerificationSourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu. aspdac 2025: 1343-1349 [doi]

PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property VerificationSourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu. vlsid 2025: 7-12 [doi]

2024

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property VerificationSourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain. date 2024: 1-6 [doi]

2018

PASTA: Python Algorithms for Searching Transition stAtesSudipta Kundu, Satadeep Bhattacharjee, Seung-Cheol Lee, Manish Jain. cphysics, 233:261-268, 2018. [doi]

2013

Adaptive Constellation Rotation Scheme for Two-User Fading MAC with Quantized Fade State FeedbackSudipta Kundu, B. Sundar Rajan. TWC, 12(3):1073-1083, 2013. [doi]

2012

An adaptive modulation scheme for two-user fading MAC with quantized fade state feedbackSudipta Kundu, B. Sundar Rajan. pimrc 2012: 512-518 [doi]

2011

High-Level Verification - Methods and Tools for Verification of System-Level DesignsSudipta Kundu, Sorin Lerner, Rajesh K. Gupta. Springer, 2011. [doi]

Symbolic predictive analysis for concurrent programsChao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta. fac, 23(6):781-805, 2011. [doi]

2010

Translation Validation of High-Level SynthesisSudipta Kundu, Sorin Lerner, Rajesh K. Gupta. tcad, 29(4):566-579, 2010. [doi]

Contessa: Concurrency Testing Augmented with Symbolic AnalysisSudipta Kundu, Malay K. Ganai, Chao Wang. cav 2010: 127-131 [doi]

2009

Reduction of Verification Conditions for Concurrent System Using Mutually Atomic TransactionsMalay K. Ganai, Sudipta Kundu. spin 2009: 68-87 [doi]

High-level verification of system designsSudipta Kundu. PhD thesis, University of California, San Diego, USA, 2009. [doi]

Proving optimizations correct using parameterized program equivalenceSudipta Kundu, Zachary Tatlock, Sorin Lerner. PLDI 2009: 327-337 [doi]

High-Level VerificationSudipta Kundu, Sorin Lerner, Rajesh Gupta 0001. imt, 4(4):937-950, 2009. [doi]

High-Level VerificationSudipta Kundu, Sorin Lerner, Rajesh Gupta. ipsj, 2:131-144, 2009. [doi]

Symbolic Predictive Analysis for Concurrent ProgramsChao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta. FM 2009: 256-272 [doi]

2008

Partial order reduction for scalable testing of systemC TLM designsSudipta Kundu, Malay K. Ganai, Rajesh Gupta. dac 2008: 936-941 [doi]

Validating High-Level SynthesisSudipta Kundu, Sorin Lerner, Rajesh Gupta. cav 2008: 459-472 [doi]

2007

Automated refinement checking of concurrent systemsSudipta Kundu, Sorin Lerner, Rajesh Gupta. iccad 2007: 318-325 [doi]

2004

OaSis: An Application Specific Operating System for an Embedded EnvironmentGurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu. vlsid 2004: 776-779 [doi]

Sign in or sign up to see more results.

runs on WebDSL