RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications. - Simon Schwitanski; Yussur Mustafa Oraji; Cornelius Pätzold; Joachim Jenke; Felix Tomski; Matthias S. Müller (ICPP, 2024)

Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs. - Simon Schwitanski; Yussur Mustafa Oraji; Cornelius Pätzold; Joachim Jenke; Matthias S. Müller (ISC Workshops, 2024)

Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs - Artifact. - Simon Schwitanski; Yussur Mustafa Oraji; Cornelius Pätzold; Joachim Jenke; Matthias S. Müller (Zenodo, 2024)

RMASanitizer: Runtime Detection of Data Races in RMA Applications - Computational Artifact. - Simon Schwitanski; Yussur Mustafa Oraji; Cornelius Pätzold; Joachim Jenke; Felix Tomski; Matthias S. Müller (Zenodo, 2024)

RMASanitizer: Runtime Detection of Data Races in RMA Applications - Computational Artifact. - Simon Schwitanski; Yussur Mustafa Oraji; Cornelius Pätzold; Joachim Jenke; Felix Tomski; Matthias S. Müller (Zenodo, 2024)

RMASanitizer: Runtime Detection of Data Races in Remote Memory Access Applications - Computational Artifact. - Simon Schwitanski; Yussur Mustafa Oraji; Cornelius Pätzold; Joachim Jenke; Felix Tomski; Matthias S. Müller (Zenodo, 2024)

Verifying MPI API Usage Requirements with Contracts. - Yussur Mustafa Oraji; Simon Schwitanski; Alexander Hück; Joachim Jenke; Sebastian Kreutzer; Christian H. Bischof (EuroMPI, 2025)