Zhezhe Chen, Xinyu Li, Jau-Yuan Chen, Hua Zhong, Feng Qin. SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries. In 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21-25, 2012. pages 342-353, IEEE Computer Society, 2012. [doi]
Abstract is missing.