@inproceedings{PPoPP-2010-LiGKQ,
	author        = "Guodong Li and Ganesh Gopalakrishnan and Robert M. Kirby and Dan Quinlan",
	booktitle     = "{Proceedings of the 15th Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/1693453.1693512",
	isbn          = "978-1-60558-877-3",
	pages         = "357--358",
	publisher     = "{ACM}",
	title         = "{A symbolic verifier for CUDA programs}",
	year          = 2010,
}