Michael Blesel

Compiler-based precalculation of MPI message envelopes

Jammer, Tim; Heldmann, Tim; Blesel, Michael; Kuhn, Michael; Bischof, Christian

In: High Performance Computing. ISC High Performance 2024 International Workshops , 1st ed. 2025. - Cham : Springer Nature Switzerland ; Weiland, Michèle, S. 5-16 [Workshop: ISC High Performance 2024, Hamburg, Germany, May 12–16, 2024]

Publication link

Modelling MPI communication using coloured Petri Nets

Krabbe, Tronje; Blesel, Michael; Kuhn, Michael

In: Mitteilungen / Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware - Bonn : Gesellschaft für Informatik e.V., Bd. 36 (2024), S. 47-56

Publication link

heimdallr - improving compile time correctness checking for message passing with rust

Blesel, Michael; Kuhn, Michael; Squar, Jannek

In: High Performance Computing , 1st ed. 2021. - Cham : Springer International Publishing ; Jagode, Heike, S. 199-211 - (Theoretical Computer Science and General Issues; 12761) [Workshop: Compiler-assisted Correctness Checking and Performance Optimization for HPC, Frankfurt, Germany, June 24 - July 2, 2021]

Publication link