@conference{DBLP:conf/ppopp/BartheCKGM13,
author = "Gilles Barthe and Juan Manuel Crespo and Sumit Gulwani and C{\'e}sar Kunz and Mark Marron",
booktitle = "ACM SIGPLAN Symposium on Principles and Practice of Parallel               Programming, PPoPP '13, Shenzhen, China, February 23-27,               2013",
editor = "Alex Nicolau and               Xiaowei Shen and               Saman P. Amarasinghe and               Richard Vuduc",
isbn = "978-1-4503-1922-5",
note = "PROJECT: European Projects FP7-318337
ENTRA, FP7-231620 HATS, FP7-256980 NESSoS, Spanish
project TIN2009-14599 DESAFIOS 10, Madrid Regional project S2009TIC-1465 PROMETIDOS
PARTNER: IMDEA
CITE(03/03/2014):7
TIER: A",
pages = "123-134",
publisher = "ACM",
title = "{F}rom relational verification to {SIMD} loop synthesis",
year = "2013",
}