A Aralex Aachen research explorer

May 01, 2026 conference-paper Open access

Dynamic Contract Analysis for Parallel Programming Models

IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

DOI: 10.1109/ipdpsw71298.2026.00041 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 6

RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs
2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

12

citations
MPI-BugBench: A Framework for Assessing MPI Correctness Tools
2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

8

citations
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications
2024 Proceedings of the International Conference on Parallel Processing conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

4

citations
SPMD IR: Unifying SPMD and Multi-value IR Showcased for Static Verification of Collectives
2024 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

4

citations
Extending the SPMD IR for RMA Models and Static Data Race Detection
2025 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

3

citations
Verifying MPI API Usage Requirements with Contracts
2025 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

2

citations

6 results