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: Xu:Zhaogui
Contributed to:
2016
20172018Wrote 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.