Michael Blesel

Doctoral Researcher

M.Sc. Michael Blesel

Universitätsplatz 2, 39106 Magdeburg, Building 29, Room 309
Publications

2021

Book chapter

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]

Courses

Last Modification: 10.05.2023 - Contact Person: Webmaster