Collaborated with:M.Z.0001 J.Sun X.Song Y.Wang Y.J.0001 X.Cheng C.Li Z.Gu H.Z.0002 G.Chen Y.Yang J.Gao H.Liu
Talks about:analysi (3) static (2) infer (2) error (2) tool (2) statement (1) reachabl (1) determin (1) softwar (1) pointer (1)
Person: Ming Gu 0001
DBLP: 0001:Ming_Gu
Contributed to:
20172019Wrote 5 papers:
- ASE-2017-ChengZS0S #automation #fault #integer #named #type inference
- IntPTI: automatic integer error repair with proper-type inference (XC, MZ0, XS, MG0, JS), pp. 996–1001.
- ASE-2017-WangZJS0S #optimisation #reachability #static analysis
- A static analysis tool with optimizations for reachability determination (YW, MZ0, YJ0, XS, MG0, JS), pp. 925–930.
- ASE-2017-YangJ0SGL
- A language model for statements of software code (YY, YJ0, MG0, JS, JG, HL), pp. 682–687.
- ASE-2019-Li0G00 #fault #named #specification #static analysis
- Ares: Inferring Error Specifications through Static Analysis (CL, MZ0, ZG, MG0, HZ0), pp. 1174–1177.
- ASE-2019-WangC00S #analysis #fault #memory management #named #pointer
- TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis (YW, GC, MZ0, MG0, JS), pp. 1170–1173.