Compiler-aided Type Tracking for Correctness Checking of MPI 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
• 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 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
• Towards compiler-aided correctness checking of adjoint MPI applications

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

  5

  citations
• MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms

  2020 Lecture notes in computational science and engineering book-chapter Computer Science Parallel Computing and Optimization Techniques Open access

  1

  citations

8 results