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 - Cham: Springer International Publishing; Jagode, Heike . - 2021, S. 199-211 - (Theoretical Computer Science and General Issues; 12761)