`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:

### Wrote 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.