A large-scale study of MPI usage in open-source HPC applications

• 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
• 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
• 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
• Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications

  2022 IT Professional article Computer Science Software Testing and Debugging Techniques

  2

  citations
• On-the-Fly Calculation of Model Factors for Multi-paradigm Applications

  2022 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

  4

  citations
• MPI detach — Towards automatic asynchronous local completion

  2021 Parallel Computing article Computer Science Parallel Computing and Optimization Techniques Open access

  6

  citations
• Towards compiler-aided correctness checking of adjoint MPI applications

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

  5

  citations

12 results