related documents Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code Conferences