Detecting MPI usage anomalies via partial program symbolic execution

Fangke Ye, Jisheng Zhao, Vivek Sarkar. Detecting MPI usage anomalies via partial program symbolic execution. In Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, SC 2018, Dallas, TX, USA, November 11-16, 2018. IEEE / ACM, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.