guest ::
TY - CHART AU - Oraji, Yussur Mustafa AU - Schwitanski, Simon TI - Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA' M1 - RWTH-2023-02710 PY - 2023 N1 - This dataset is licensed under the GNU General Public License v3 or later. Explicitly excluded from this is the data in the folders LLVMPass\llvm-newpass and LLVMPass\MUST. The data in the folder LLVMPass\llvm-newpass is licensed under the Apache License v2.0 with LLVM Exceptions. The data in the folder LLVMPass\MUST is licensed under the MUST license. Details about these licenses are included in the respective folders. AB - This is the Dataset corresponding to Ëvaluating 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. LB - PUB:(DE-HGF)32 DO - DOI:10.18154/RWTH-2023-02710 UR - https://publications.rwth-aachen.de/record/953805 ER -