% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@MISC{Schwitanski:998168,
author = {Schwitanski, Simon},
title = {{A}rtifact for '{M}odeling {S}ynchronization and
{C}onsistency for {D}ata {R}ace {D}etection in {R}emote
{M}emory {A}ccess {P}rograms'},
reportid = {RWTH-2024-11181},
year = {2025},
note = {The data is licensed under multiple licenses. The licenses
can either be found in the file itself or in the file
REUSE.toml. The licensing in this artifact is
REUSE-compliant (https://reuse.software).},
abstract = {This is the artifact of the dissertation 'Modeling
Synchronization and Consistency for Data Race Detection in
Remote Memory Access Programs'. In the dissertation, a
generalized data race detector for Remote Memory Access
Programs, named RMASanitizer, is developed. RMASanitizer is
evaluated in terms of classification quality and overhead by
applying it to small test cases and proxy applications using
different programming models (MPI RMA, OpenSHMEM, GASPI).
The artifact contains the source code of RMASanitizer and
all results (SPEC MPI vector clock overhead study,
RMARaceBench evaluation, overhead study on RMA proxy
applications) presented in the disstertation. Moreover, it
includes the complete infrastructure to reproduce those
results. Further information and instructions on
reproducibility are provided in the artifact itself.},
cin = {123010 / 120000 / 100000 / 022000},
cid = {$I:(DE-82)123010_20140620$ / $I:(DE-82)120000_20140620$ /
$I:(DE-82)100000_20140620$ / $I:(DE-82)022000_20140101$},
typ = {PUB:(DE-HGF)32},
doi = {10.18154/RWTH-2024-11181},
url = {https://publications.rwth-aachen.de/record/998168},
}
guest ::