Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs
- 14 December 2024
- book chapter
- Published by Springer Nature
- p. 45-58
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Rethinking Data Race Detection in MPI-RMA Programs2023
- On-the-Fly Data Race Detection for MPI RMA Programs with MUST2022
- Static Local Concurrency Errors Detection in MPI-RMA Programs2022
- MiniVite: A Graph Analytics Benchmarking Tool for Massively Parallel Systems2018
- MC-CChecker2018
- Remote Memory Access Programming in MPI-3ACM Transactions on Parallel Computing, 2015
- MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications2014
- The Parallel Research Kernels2014
- Scalable Graph500 design with MPI-3 RMA2014
- Dynamic Race Detection with LLVM Compiler2012