Automatic Generation of Provably Correct Parallelizing Compilers.

Gopal Gupta, Enrico Pontelli, Amado Lara-Rodrguez, Roberto Felix-Cardenas

Browse the full ICPP paper archive.