Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA'

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.