h1

h2

h3

h4

h5
h6
%0 Chart or Table
%A Oraji, Yussur Mustafa
%A Schwitanski, Simon
%T Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA'
%M RWTH-2023-02710
%D 2023
%Z 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.
%X 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.
%F PUB:(DE-HGF)32
%9 Dataset
%R 10.18154/RWTH-2023-02710
%U https://publications.rwth-aachen.de/record/953805