Towards Correctness Checking of MPI Partitioned Communication in MUST.

Simon Schwitanski, Niko Sakic, Joachim Jenke, Felix Tomski, Marc-Andr Hermanns

Browse the full SC paper archive.