From relational verification to SIMD loop synthesis

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	In Proceedings
Authors:	Barthe, Gilles Crespo, Juan Manuel Gulwani, Sumit Kunz, César Marron, Mark
Editor:	Alex Nicolau and Xiaowei Shen and Saman P. Amarasinghe and Richard Vuduc
Book title:	ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013
Pages:	123-134


ISBN:	978-1-4503-1922-5

@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", }
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
[Bibtex]