@inproceedings{CGO-2019-LiuSWDL,
	acmid         = "3314881",
	author        = "Hongyu Liu and Sam Silvestro and Xiaoyin Wang and Lide Duan and Tongping Liu",
	booktitle     = "{Proceedings of the 17th International Symposium on Code Generation and Optimization}",
	doi           = "10.1109/CGO.2019.8661198",
	isbn          = "978-1-7281-1436-1",
	pages         = "50--60",
	publisher     = "{IEEE}",
	title         = "{CSOD: Context-Sensitive Overflow Detection}",
	year          = 2019,
}