Publication details

heimdallr: Improving Compile Time Correctness Checking for Message Passing with Rust (Michael Blesel, Michael Kuhn, Jannek Squar), In High Performance Computing - ISC High Performance Digital 2021 International Workshops, Lecture Notes in Computer Science (12761), pp. 199–211, (Editors: Heike Jagode, Hartwig Anzt, Hatem Ltaief, Piotr Luszczek), Springer, ISC2021, Frankfurt am Main, Germany, 2021-06
Publication details – DOI – Publication

BibTeX

@inproceedings{HICTCCFMPW21,
	author	 = {Michael Blesel and Michael Kuhn and Jannek Squar},
	title	 = {{heimdallr: Improving Compile Time Correctness Checking for Message Passing with Rust}},
	year	 = {2021},
	month	 = {06},
	booktitle	 = {{High Performance Computing - ISC High Performance Digital 2021 International Workshops}},
	editor	 = {Heike Jagode and Hartwig Anzt and Hatem Ltaief and Piotr Luszczek},
	publisher	 = {Springer},
	series	 = {Lecture Notes in Computer Science},
	number	 = {12761},
	pages	 = {199--211},
	conference	 = {ISC2021},
	location	 = {Frankfurt am Main, Germany},
	doi	 = {https://doi.org/10.1007/978-3-030-90539-2_13},
}