Simon Schwitanski, Niko Sakic, Joachim Jenke, Felix Tomski, Marc-André Hermanns. Towards Correctness Checking of MPI Partitioned Communication in MUST. In Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023. pages 224-227, ACM, 2023. [doi]
Abstract is missing.