Travelled to:1 × Ireland
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:M.K.Ganai S.Lerner R.Gupta C.Wang Z.Tatlock A.Gupta
Talks about:program (2) concurr (2) analysi (2) symbol (2) test (2) parameter (1) synthesi (1) contessa (1) systemc (1) scalabl (1)
Person: Sudipta Kundu
DBLP: Kundu:Sudipta
Contributed to:
2010
2009
20092008
2008Wrote 5 papers:
- CAV-2010-KunduGW #analysis #concurrent #named #testing
- Contessa: Concurrency Testing Augmented with Symbolic Analysis (SK, MKG, CW), pp. 127–131.
- FM-2009-WangKGG #analysis #concurrent #predict #source code
- Symbolic Predictive Analysis for Concurrent Programs (CW, SK, MKG, AG), pp. 256–272.
- PLDI-2009-KunduTL #equivalence #optimisation #proving #using
- Proving optimizations correct using parameterized program equivalence (SK, ZT, SL), pp. 327–337.
- CAV-2008-KunduLG #synthesis #validation
- Validating High-Level Synthesis (SK, SL, RG), pp. 459–472.
- DAC-2008-KunduGG #design #partial order #reduction #scalability #testing
- Partial order reduction for scalable testing of systemC TLM designs (SK, MKG, RG), pp. 936–941.