From relational verification to SIMD loop synthesis.

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, Csar Kunz, Mark Marron

Browse the full PPoPP paper archive.