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 × Russia
2 × USA
Collaborated with:
C.Reichenbach Y.Smaragdakis C.Csallner M.Young Y.Diao
Talks about:
constraint (1) investig (1) dataflow (1) program (1) predict (1) generat (1) symbol (1) second (1) residu (1) precis (1)

Person: Kaituo Li

DBLP DBLP: Li:Kaituo

Contributed to:

ASE 20132013
ESEC/FSE 20132013
ISSTA 20122012

Wrote 3 papers:

ASE-2013-LiRSDC #data flow #generative #named #source code
SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
ISSTA-2012-LiRCS #debugging #detection #precise #predict
Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.

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.