MPI-checker

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

  2025 conference-paper Computer Science Software Testing and Debugging Techniques

  1

  citations
• 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
• Verifying MPI API Usage Requirements with Contracts

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

  2

  citations
• Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST

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

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

  3

  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
• Towards compiler-aided correctness checking of adjoint MPI applications

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

  5

  citations

10 results