@inproceedings{CGO-2018-ZhouLWX0,
	author        = "Qing Zhou and Lian Li 0002 and Lei Wang and Jingling Xue and Xiaobing Feng 0002",
	booktitle     = "{Proceedings of the 16th International Symposium on Code Generation and Optimization}",
	doi           = "10.1145/3168813",
	pages         = "228--240",
	publisher     = "{ACM}",
	title         = "{May-happen-in-parallel analysis with static vector clocks}",
	year          = 2018,
}