Gopal Gupta, Enrico Pontelli, Amado Lara-Rodriguez, Roberto Felix-Cardenas. Automatic Generation of Provably Correct Parallelizing Compilers. In 1998 International Conference on Parallel Processing (ICPP 98), 10-14 August 1998, Minneapolis, Minnesota, USA, Proceedings. pages 579-586, IEEE Computer Society, 1998. [doi]
Abstract is missing.