@inproceedings{ASE-2018-Yin0LW,
	author        = "Liangze Yin and Wei Dong 0006 and Wanwei Liu and Ji Wang 0001",
	booktitle     = "{Proceedings of the 33rd International Conference on Automated Software Engineering}",
	doi           = "10.1145/3238147.3238223",
	pages         = "645--655",
	publisher     = "{ACM}",
	title         = "{Scheduling constraint based abstraction refinement for weak memory models}",
	year          = 2018,
}