Sudipta Kundu

22 papers A* 4A 2B 2C 1Misc 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 Misc conf
PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification.
VLSID
Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu
2025 — conf
SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification.
ASP-DAC
Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu
2024 A conf
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification.
DATE
Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain
2023 C conf
Formal Verification of Floating-Point Division.
ARITH
Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu
2018 J jnl
PASTA: Python Algorithms for Searching Transition stAtes.
Comput. Phys. Commun.
Sudipta Kundu, Satadeep Bhattacharjee, Seung-Cheol Lee, Manish Jain
2013 J jnl
Adaptive Constellation Rotation Scheme for Two-User Fading MAC with Quantized Fade State Feedback.
IEEE Trans. Wirel. Commun.
Sudipta Kundu, B. Sundar Rajan
2012 J jnl
An Adaptive Modulation Scheme for Two-user Fading MAC with Quantized Fade State Feedback
CoRR
Sudipta Kundu, B. Sundar Rajan
2012 B conf
An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback.
PIMRC
Sudipta Kundu, B. Sundar Rajan
2011 — book
High-Level Verification - Methods and Tools for Verification of System-Level Designs.
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
2011 J jnl
Symbolic predictive analysis for concurrent programs.
Formal Aspects Comput.
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
2010 A* conf
Contessa: Concurrency Testing Augmented with Symbolic Analysis.
CAV
Sudipta Kundu, Malay K. Ganai, Chao Wang
2010 J jnl
Translation Validation of High-Level Synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
2009 J jnl
High-Level Verification.
Inf. Media Technol.
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
2009 J jnl
High-Level Verification.
IPSJ Trans. Syst. LSI Des. Methodol.
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
2009 — —
High-level verification of system designs.
Sudipta Kundu
2009 A* conf
Proving optimizations correct using parameterized program equivalence.
PLDI
Sudipta Kundu, Zachary Tatlock, Sorin Lerner
2009 — conf
Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.
SPIN
Malay K. Ganai, Sudipta Kundu
2009 B conf
Symbolic Predictive Analysis for Concurrent Programs.
FM
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta
2008 A* conf
Partial order reduction for scalable testing of systemC TLM designs.
DAC
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
2008 A* conf
Validating High-Level Synthesis.
CAV
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
2007 A conf
Automated refinement checking of concurrent systems.
ICCAD
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
2004 Misc conf
OaSis: An Application Specific Operating System for an Embedded Environment.
VLSI Design
Gurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu