Extending the SPMD IR for RMA Models and Static Data Race Detection
- 15 October 2025
- book chapter
- Published by Springer Nature
- p. 143-164
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- MPI-BugBench: A Framework for Assessing MPI Correctness Tools2024
- SPMD IR: Unifying SPMD and Multi-value IR Showcased for Static Verification of Collectives2024
- Annotation of Compiler Attributes for MPI Functions2024
- COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry2022
- Leveraging MPI RMA to optimize halo‐swapping communications in MONC on Cray machinesConcurrency and Computation: Practice and Experience, 2018
- An implementation and evaluation of the MPI 3.0 one‐sided communication interfaceConcurrency and Computation: Practice and Experience, 2016
- Exploring OpenSHMEM Model to Program GPU-based Extreme-Scale SystemsLecture Notes in Computer Science, 2015
- Dynamic Race Detection with LLVM Compiler2012
- MUST: A Scalable Approach to Runtime Error Detection in MPI Programs2010
- LLVM: A compilation framework for lifelong program analysis & transformation2004