BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
X.Z.0001 B.Xu P.L.0010 L.C.0015 K.Pei S.Kate J.Ore X.Zhang S.G.Elbaum S.Ma Y.Aafer W.Lee J.Zhai Y.Liu
Talks about:
probabilist (2) python (2) detect (2) inconsist (1) algorithm (1) support (1) predict (1) languag (1) analysi (1) proven (1)

Person: Zhaogui Xu

DBLP DBLP: Xu:Zhaogui

Contributed to:

FSE 20162016
ESEC/FSE 20172017
ESEC/FSE 20182018

Wrote 4 papers:

FSE-2016-Xu0ZX #analysis #debugging #detection #predict #python
Python predictive analysis for bug detection (ZX, PL0, XZ0, BX), pp. 121–132.
FSE-2016-XuZCPX #natural language #probability #python #type inference
Python probabilistic type inference with natural language support (ZX, XZ0, LC0, KP, BX), pp. 607–618.
ESEC-FSE-2017-MaAXLZLZ #algorithm #graph #machine learning #named
LAMP: data provenance for graph based machine learning algorithms through derivative computation (SM, YA, ZX, WCL, JZ, YL, XZ0), pp. 786–797.
ESEC-FSE-2018-KateOZEX #consistency #detection #named #nondeterminism #physics #probability
Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.

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.