From relational verification to SIMD loop synthesis

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron. From relational verification to SIMD loop synthesis. In Alex Nicolau, Xiaowei Shen, Saman P. Amarasinghe, Richard Vuduc, editors, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013. pages 123-134, ACM, 2013. [doi]

@inproceedings{BartheCKGM13,
  title = {From relational verification to SIMD loop synthesis},
  author = {Gilles Barthe and Juan Manuel Crespo and Sumit Gulwani and César Kunz and Mark Marron},
  year = {2013},
  doi = {10.1145/2442516.2442529},
  url = {http://doi.acm.org/10.1145/2442516.2442529},
  researchr = {https://researchr.org/publication/BartheCKGM13},
  cites = {0},
  citedby = {0},
  pages = {123-134},
  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},
  publisher = {ACM},
  isbn = {978-1-4503-1922-5},
}