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]
Abstract is missing.