Synchronization Error Detection of MPI Programs by Symbolic Execution.

Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang

Browse the full APSEC paper archive.