Michael Blesel, Michael Kuhn 0003, Jannek Squar. heimdallr: Improving Compile Time Correctness Checking for Message Passing with Rust. In Heike Jagode, Hartwig Anzt, Hatem Ltaief, Piotr Luszczek, editors, High Performance Computing - ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 - July 2, 2021, Revised Selected Papers. Volume 12761 of Lecture Notes in Computer Science, pages 199-211, Springer, 2021. [doi]
Abstract is missing.