Collaborated with:J.Yan Y.Li J.Y.0009 J.Zhang C.Ge F.Ma T.Liu J.Z.0001
Talks about:probabilist (1) algorithm (1) approxim (1) program (1) printer (1) pointer (1) checker (1) static (1) smart (1) model (1)
Person: Xutong Ma
DBLP: Ma:Xutong
Contributed to:
2019
2018Wrote 2 papers:
- ASE-2019-MaYLYZ #c++ #fault #named #pointer #source code #static analysis
- SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs (XM, JY, YL, JY0, JZ), pp. 1122–1125.
- IJCAR-2018-GeMLZM #algorithm #approximate #probability
- A New Probabilistic Algorithm for Approximate Model Counting (CG, FM, TL, JZ0, XM), pp. 312–328.