Sudipta Kundu
Sudipta Kundu
Sr Staff Engineer at Synopsys Inc.
Verified email at synopsys.com
TitleCited byYear
Proving optimizations correct using parameterized program equivalence
S Kundu, Z Tatlock, S Lerner
ACM Sigplan Notices 44 (6), 327-337, 2009
1022009
Investigations on arsenic (V) removal by modified calcined bauxite
PB Bhakat, AK Gupta, S Ayoob, S Kundu
Colloids and Surfaces A: Physicochemical and Engineering Aspects 281 (1-3 …, 2006
922006
Symbolic predictive analysis for concurrent programs
C Wang, S Kundu, M Ganai, A Gupta
International Symposium on Formal Methods, 256-272, 2009
842009
Integrating intensity–duration-based rainfall threshold and antecedent rainfall-based probability estimate towards generating early warning for rainfall-induced landslides in …
J Mathew, DG Babu, S Kundu, KV Kumar, CC Pant
Landslides 11 (4), 575-588, 2014
542014
Validating high-level synthesis
S Kundu, S Lerner, R Gupta
International Conference on Computer Aided Verification, 459-472, 2008
512008
Partial order reduction for scalable testing of SystemC TLM designs
S Kundu, M Ganai, R Gupta
2008 45th ACM/IEEE Design Automation Conference, 936-941, 2008
472008
Translation validation of high-level synthesis
S Kundu, S Lerner, RK Gupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2010
462010
Remote sensing and GIS based landslide susceptibility assessment using binary logistic regression model: a case study in the Ganeshganga Watershed, Himalayas
S Kundu, AK Saha, DC Sharma, CC Pant
Journal of the Indian Society of Remote Sensing 41 (3), 697-709, 2013
392013
Contessa: Concurrency Testing Augmented with Symbolic Analysis
S Kundu, MK Ganai, C Wang
International Conference on Computer Aided Verification, 127-131, 2010
202010
Partial order reduction for scalable testing in system level design
MK Ganai, S Kundu
US Patent App. 12/265,347, 2009
182009
Automated refinement checking of concurrent systems
S Kundu, S Lerner, R Gupta
2007 IEEE/ACM International Conference on Computer-Aided Design, 318-325, 2007
152007
High-level Verification: Methods and Tools for Verification of System-level Designs
S Kundu, S Lerner, R Gupta
Springer Verlag, 2011
11*2011
Symbolic predictive analysis for concurrent programs
C Wang, S Kundu, R Limaye, M Ganai, A Gupta
Formal aspects of computing 23 (6), 781-805, 2011
102011
Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions
MK Ganai, S Kundu
US Patent 8,448,145, 2013
92013
Reduction of verification conditions for concurrent system using mutually atomic transactions
MK Ganai, S Kundu
International SPIN Workshop on Model Checking of Software, 68-87, 2009
92009
High-Level Verification
S Kundu, S Lerner, R Gupta
IPSJ Transactions on System LSI Design Methodology 2, 131-144, 2009
52009
Dynamics of the active site loops in catalyzing aminoacylation reaction in seryl and histidyl tRNA synthetases
S Dutta, S Kundu, A Saha, N Nandi
Journal of Biomolecular Structure and Dynamics 36 (4), 878-892, 2018
42018
Hydrologically complemented deterministic slope stability analysis in part of Indian Lesser Himalaya
J Mathew, S Kundu, KV Kumar, CC Pant
Geomatics, Natural Hazards and Risk 7 (5), 1557-1576, 2016
32016
Equivalence checking using structural analysis on data flow graphs
S Kundu, CP Pixley
US Patent 8,914,758, 2014
32014
OaSis: an application specific operating system for an embedded environment
GS Brar, S Kundu, P Worah, S Biswas, A Mukhopadhyay, A Basu
17th International Conference on VLSI Design. Proceedings., 776-779, 2004
22004
The system can't perform the operation now. Try again later.
Articles 1–20