BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kundu:Sudipta

Contributed to:

CAV 20102010
FM 20092009
PLDI 20092009
CAV 20082008
DAC 20082008

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.