On the Complexity of Robust Source-to-Source Translation from CUDA to OpenCL. Paul D. Sathre. Virginia Tech, April 2013.