Christopher Kumar Anand Wolfram Kahl Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. 217-232 2007 AGTIVE http://dx.doi.org/10.1007/978-3-540-89020-1_16 conf/agtive/2007 db/conf/agtive/agtive2007.html#AnandK07