Gopal Gupta Enrico Pontelli Amado Lara-Rodríguez Roberto Felix-Cardenas Automatic Generation of Provably Correct Parallelizing Compilers. 579-586 1998 conf/icpp/1998 ICPP http://computer.org/proceedings/icpp/8650/86500579abs.htm db/conf/icpp/icpp1998.html#GuptaPLF98