Home Publications

From relational verification to SIMD loop synthesis

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • 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
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