Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs
Buchbeitrag, Beitrag zu einem Tagungsband (2024) | Schwitanski, Simon (Corresponding author)
Oraji, Yussur Mustafa
Pätzold, Cornelius
Jenke, Joachim
Müller, Matthias S. |
Artifact for 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs'
Dataset (2025) | Schwitanski, Simon |
Modeling synchronization and consistency for data race detection in remote memory access programs
Doktorarbeit (2025) | Schwitanski, Simon |
MPI-BugBench: A Framework for Assessing MPI Correctness Tools
Buchbeitrag, Beitrag zu einem Tagungsband (2024) | Jammer, Tim (Corresponding author)
Saillard, Emmanuelle
Schwitanski, Simon
Jenke, Joachim
Vinayagame, Radjasouria
Hück, Alexander
Bischof, Christian |
Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST
Buchbeitrag, Beitrag zu einem Tagungsband (2024) | Pätzold, Cornelius (Corresponding author)
Schwitanski, Simon (Corresponding author)
Jenke, Joachim (Corresponding author)
Tomski, Felix (Corresponding author)
Müller, Matthias S. (Corresponding author) |
Designing Quality MPI Correctness Benchmarks: Insights and Metrics
Buchbeitrag, Beitrag zu einem Tagungsband (2024) | Jammer, Tim (Corresponding author)
Schwitanski, Simon (Corresponding author)
Saillard, Emmanuelle (Corresponding author)
Hück, Alexander (Corresponding author)
Jenke, Joachim (Corresponding author)
Vinayagame, Radjasouria (Corresponding author)
Bischof, Christian (Corresponding author) |
Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications
Buchbeitrag, Beitrag zu einem Tagungsband (2024) | Hück, Alexander (Corresponding author)
Ziegler, Tim (Corresponding author)
Schwitanski, Simon (Corresponding author)
Jenke, Joachim (Corresponding author)
Bischof, Christian (Corresponding author) |
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications
Buchbeitrag, Beitrag zu einem Tagungsband (2024) | Schwitanski, Simon
Oraji, Yussur Mustafa
Pätzold, Cornelius
Jenke, Joachim
Tomski, Felix
Müller, Matthias S. |
A Shim Layer for Transparently Adding Meta Data to MPI Handles
Buchbeitrag, Beitrag zu einem Tagungsband (2023) | Jenke, Joachim (Corresponding author)
Knobloch, Michael
Hermanns, Marc-André
Schwitanski, Simon |
RMARaceBench : A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs
Buchbeitrag, Beitrag zu einem Tagungsband (2023) | Schwitanski, Simon (Corresponding author)
Jenke, Joachim (Corresponding author)
Klotz, Sven (Corresponding author)
Müller, Matthias S. (Corresponding author) |
On-the-fly data race detection for OpenSHMEM programs
Bachelorarbeit (2023) | Klotz, Sven
Schwitanski, Simon (Consultant) |
Runtime correctness checking of MPI I/O in MUST
Masterarbeit (2023) | Lambrich, Paul Oliver
Schwitanski, Simon (Consultant)
Tomski, Felix (Consultant) |
Evaluating static analysis techniques to accelerate data race detection for MPI RMA
Bachelorarbeit (2023) | Oraji, Yussur Mustafa
Schwitanski, Simon (Consultant) |
Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA'
Dataset (2023) | Oraji, Yussur Mustafa
Schwitanski, Simon |
Towards a Hybrid MPI Correctness Benchmark Suite
Buchbeitrag, Beitrag zu einem Tagungsband (2022) | Jammer, Tim (Corresponding author)
Hück, Alexander (Corresponding author)
Lehr, Jan-Patrick (Corresponding author)
Jenke, Joachim (Corresponding author)
Schwitanski, Simon (Corresponding author)
Bischof, Christian (Corresponding author) |
On-the-Fly Data Race Detection for MPI RMA Programs with MUST
Buchbeitrag, Beitrag zu einem Tagungsband (2022) | Schwitanski, Simon
Jenke, Joachim
Tomski, Felix
Terboven, Christian
Müller, Matthias S. |
Design and evaluation of parallel assertions for MPI programs
Bachelorarbeit (2022) | Vonderstein, Christian Jürgen
Jenke, Joachim (Consultant)
Schwitanski, Simon (Consultant)
Tomski, Felix (Consultant) |
An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs
Buchbeitrag, Beitrag zu einem Tagungsband (2022) | Schwitanski, Simon (Corresponding author)
Tomski, Felix (Corresponding author)
Protze, Joachim (Corresponding author)
Terboven, Christian (Corresponding author)
Müller, Matthias S. (Corresponding author) |
Developing an on-the-fly vector clock exchange for distributed memory systems using the generic tool infrastructure
Masterarbeit (2021) | Tomski, Felix
Schwitanski, Simon (Consultant) |
Evaluation of data-centric workloads on the RWTH supercomputer CLAIX
Bachelorarbeit (2021) | Hoffmann, Simon
Schwitanski, Simon (Consultant) |
DataRaceOnAccelerator - A Micro-benchmark Suite for Evaluating Correctness Tools Targeting Accelerators
Buchbeitrag, Beitrag zu einem Tagungsband (2020) | Schmitz, Adrian (Corresponding author)
Protze, Joachim
Yu, Lechen
Schwitanski, Simon
Müller, Matthias S. |
On-the-Fly Data Race Detection in MPI One-Sided Communication
Masterarbeit (2017) | Schwitanski, Simon |
An OpenMP Epoch Model for Correctness Checking
Buchbeitrag, Beitrag zu einem Tagungsband (2016) | Cramer, Tim (Corresponding author)
Schwitanski, Simon (Corresponding author)
Münchhalfen, Jan Felix (Corresponding author)
Terboven, Christian (Corresponding author)
Müller, Matthias S. (Corresponding author) |