@inproceedings{ASE-2019-MaYLYZ,
	author        = "Xutong Ma and Jiwei Yan and Yaqi Li and Jun Yan 0009 and Jian Zhang",
	booktitle     = "{Proceedings of the 34th International Conference on Automated Software Engineering}",
	doi           = "10.1109/ASE.2019.00117",
	isbn          = "978-1-7281-2508-4",
	pages         = "1122--1125",
	publisher     = "{IEEE}",
	title         = "{SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs}",
	year          = 2019,
}