Fixing, preventing, and recovering from concurrency bugsDongDong DengGuoliang Jinet al.2015Science China Information Sciences
Providing source code level portability between CPU and GPU with MapCGChun-Tao HongDe-Hao Chenet al.2012Journal of Computer Science and Technology