Static Local Concurrency Errors Detection in MPI-RMA Programs

• Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead

  2025 conference-paper Computer Science Software Testing and Debugging Techniques

  1

  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
• 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
• Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs

  2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

  2

  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
• 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
• 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

7 results