Verifying MPI API Usage Requirements with Contracts

Oraji, Yussur Mustafa; Jenke, Joachim; Kreutzer, Sebastian; Bischof, Christian; Schwitanski, Simon; Hück, Alexander

doi:10.1007/978-3-032-07194-1_4

Verifying MPI API Usage Requirements with Contracts

Oraji, Yussur Mustafa (Corresponding author) ; Schwitanski, Simon^RWTH* ; Hück, Alexander ; Jenke, Joachim^RWTH* ; Kreutzer, Sebastian ; Bischof, Christian

In
Recent Advances in the Message Passing Interface : 32nd European MPI Users' Group Meeting, EuroMPI 2025, Charlotte, NC, USA, October 1–3, 2025, Proceedings / edited by Joseph Schuchart, Aurelien Bouteiller, Sascha Hunold, Julien Jaeger, Christoph Niethammer, Brian Smith, Seiten/Artikel-Nr: 54-72

2026

Konferenz/Event:32. European MPI Users' Group Meeting , Charlotte, NC , USA , EuroMPI 2025 , 2025-10-01 - 2025-10-03

ImpressumCham : Springer Nature Switzerland

Umfang54-72

ISBN978-3-032-07193-4, 978-3-032-07194-1

ReiheLecture Notes in Computer Science ; 15977