From relational verification to SIMD loop synthesis | Publicación