 | 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 |
