Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA'
收藏DataCite Commons2023-05-23 更新2024-07-13 收录
下载链接：
https://publications.rwth-aachen.de/record/953805
下载链接
链接失效反馈官方服务：
资源简介：
This is the Dataset corresponding to "Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA" (RWTH-2023-05106). Most notably, this includes the source code for the optimization methods presented in the thesis, as well as the Docker container script required to reproduce the correctness results.
提供机构：
RWTH Aachen University
创建时间：
2023-05-23
