Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST
Contribution to a book, Contribution to a conference proceedings (2024) | Pätzold, Cornelius (Corresponding author)
Schwitanski, Simon (Corresponding author)
Jenke, Joachim (Corresponding author)
Tomski, Felix (Corresponding author)
Müller, Matthias S. (Corresponding author) |
Design, implementation and evaluation of deadlock detection for new MPI functions
Bachelor Thesis (2024) | Venten, Julius
Jenke, Joachim (Consultant)
Thärigen, Ben (Consultant)
Tomski, Felix (Consultant) |
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications
Contribution to a book, Contribution to a conference proceedings (2024) | Schwitanski, Simon
Oraji, Yussur Mustafa
Pätzold, Cornelius
Jenke, Joachim
Tomski, Felix
Müller, Matthias S. |
Design and implementation of micro-benchmarks for MPI partitioned point-to-point communication
Bachelor Thesis (2024) | Nicoll, Benedikt
Tomski, Felix (Consultant) |
Runtime correctness checking of MPI I/O in MUST
Master Thesis (2023) | Lambrich, Paul Oliver
Schwitanski, Simon (Consultant)
Tomski, Felix (Consultant) |
On-the-Fly Data Race Detection for MPI RMA Programs with MUST
Contribution to a book, Contribution to a conference proceedings (2022) | Schwitanski, Simon
Jenke, Joachim
Tomski, Felix
Terboven, Christian
Müller, Matthias S. |
Design and evaluation of parallel assertions for MPI programs
Bachelor Thesis (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
Contribution to a book, Contribution to a conference proceedings (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
Master Thesis (2021) | Tomski, Felix
Schwitanski, Simon (Consultant) |