Semih Burak, Ivan R. Ivanov, Jens Domke, Matthias S. Müller. SPMD IR: Unifying SPMD and Multi-value IR Showcased for Static Verification of Collectives. In Claudia Blaas-Schenner, Christoph Niethammer, Tobias Haas, editors, Recent Advances in the Message Passing Interface - 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings. Volume 15267 of Lecture Notes in Computer Science, pages 3-20, Springer, 2024. [doi]
Abstract is missing.