W4200631433

• Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests

  2025 conference-paper Computer Science Software Testing and Debugging Techniques

  1

  citations
• Designing Quality MPI Correctness Benchmarks: Insights and Metrics

  2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

  1

  citations
• Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications

  2024 conference-paper Computer Science Parallel Computing and Optimization Techniques

  1

  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
• 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
• Investigating the Real-World Applicability of MPI Correctness Benchmarks

  2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  3

  citations
• Towards Correctness Checking of MPI Partitioned Communication in MUST

  2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

  0

  citations
• Investigating the Usage of MPI at Argument-Granularity in HPC Codes

  2023 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  10

  citations
• On-the-Fly Data Race Detection for MPI RMA Programs with MUST

  2022 conference-paper Computer Science Software Testing and Debugging Techniques Open access

  12

  citations
• Towards a Hybrid MPI Correctness Benchmark Suite

  2022 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  13

  citations

10 results