@inproceedings{PPoPP-2013-BartheCKGM,
	author        = "Gilles Barthe and Juan Manuel Crespo and Sumit Gulwani and César Kunz and Mark Marron",
	booktitle     = "{Proceedings of the 18th Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/2442516.2442529",
	isbn          = "978-1-4503-1922-5",
	pages         = "123--134",
	publisher     = "{ACM}",
	title         = "{From relational verification to SIMD loop synthesis}",
	year          = 2013,
}