 | 2012 |
|---|
| 11 |       | Sudipta Kundu,
B. Sundar Rajan:
An Adaptive Modulation Scheme for Two-user Fading MAC with Quantized Fade State Feedback
CoRR abs/1201.3088: (2012) |
| 2011 |
|---|
| 10 | | Chao Wang,
Sudipta Kundu,
Rhishikesh Limaye,
Malay K. Ganai,
Aarti Gupta:
Symbolic predictive analysis for concurrent programs.
Formal Asp. Comput. 23(6): 781-805 (2011) |
| 2010 |
|---|
| 9 | | Sudipta Kundu,
Malay K. Ganai,
Chao Wang:
Contessa: Concurrency Testing Augmented with Symbolic Analysis.
CAV 2010: 127-131 |
| 8 | | Sudipta Kundu,
Sorin Lerner,
Rajesh K. Gupta:
Translation Validation of High-Level Synthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems 29(4): 566-579 (2010) |
| 2009 |
|---|
| 7 | | Chao Wang,
Sudipta Kundu,
Malay K. Ganai,
Aarti Gupta:
Symbolic Predictive Analysis for Concurrent Programs.
FM 2009: 256-272 |
| 6 | | Sudipta Kundu,
Zachary Tatlock,
Sorin Lerner:
Proving optimizations correct using parameterized program equivalence.
PLDI 2009: 327-337 |
| 5 | | Malay K. Ganai,
Sudipta Kundu:
Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.
SPIN 2009: 68-87 |
| 2008 |
|---|
| 4 | | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Validating High-Level Synthesis.
CAV 2008: 459-472 |
| 3 | | Sudipta Kundu,
Malay K. Ganai,
Rajesh Gupta:
Partial order reduction for scalable testing of systemC TLM designs.
DAC 2008: 936-941 |
| 2007 |
|---|
| 2 | | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Automated refinement checking of concurrent systems.
ICCAD 2007: 318-325 |
| 2004 |
|---|
| 1 | | 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: 776-779 |
Data released under the ODC-BY 1.0 license — See also our legal information page